swMATH41584MaRDI QIDQ1353549FDOQ1353549
Author name not available (Why is that?)
Official website: https://www.informatik.uni-bremen.de/agra/doc/work/DIFTS2011-metaSMT.pdf
Source code repository: https://github.com/agra-uni-bremen/metaSMT
Cited In (7)
This page was built for software: metaSMT
