metaSMT: focus on your application and not on solver integration
Crossref DOI link: https://doi.org/10.1007/s10009-016-0426-1
Published Online: 2016-06-17
Published Print: 2017-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Riener, Heinz
Haedicke, Finn
Frehse, Stefan
Soeken, Mathias
Große, Daniel
Drechsler, Rolf
Fey, Goerschwin
License valid from 2016-06-17