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.