%0 Journal Article %1 journals/sttt/RienerHFSGDF17 %A Riener, Heinz %A Haedicke, Finn %A Frehse, Stefan %A Soeken, Mathias %A Große, Daniel %A Drechsler, Rolf %A Fey, Görschwin %D 2017 %J Int. J. Softw. Tools Technol. Transf. %K %N 5 %P 605-621 %T metaSMT: focus on your application and not on solver integration. %U http://dblp.uni-trier.de/db/journals/sttt/sttt19.html#RienerHFSGDF17 %V 19

@article{journals/sttt/RienerHFSGDF17, added-at = {2023-12-13T05:24:01.000+0100}, author = {Riener, Heinz and Haedicke, Finn and Frehse, Stefan and Soeken, Mathias and Große, Daniel and Drechsler, Rolf and Fey, Görschwin}, biburl = {https://www.bibsonomy.org/bibtex/253af60df00be016e3534568523276524/admin}, ee = {https://www.wikidata.org/entity/Q59242109}, interhash = {a21ab2c5f1fcd51e9a2155e8aef791bc}, intrahash = {53af60df00be016e3534568523276524}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {}, number = 5, pages = {605-621}, timestamp = {2023-12-13T05:24:01.000+0100}, title = {metaSMT: focus on your application and not on solver integration.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt19.html#RienerHFSGDF17}, volume = 19, year = 2017 }