Publikation
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.
@article{pub8379, author = { Riener, Heinz and Haedicke, Finn and Frehse, Stefan and Soeken, Mathias and Große, Daniel and Drechsler, Rolf and Fey, Görschwin }, title = {metaSMT: Focus On Your Application And Not On Solver Integration}, year = {2016}, journal = {International Journal on Software Tools for Technology Transfer (STTT)}, publisher = {Springer} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023