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 of Software Tools for Technology Transfer (STTT) Springer 2016.

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