Publikation

metaSMT: Focus On Your Application And Not On Solver Integration

Heinz Riener; Finn Haedicke; Stefan Frehse; Mathias Soeken; Daniel Große; Rolf Drechsler; Görschwin Fey

In: International Journal on Software Tools for Technology Transfer (STTT), Springer, 2016.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence