metaSMT: Focus on Your Application not on Solver Integration.

Finn Haedicke, Stefan Frehse, Grschwin Fey, Daniel Groe, Rolf Drechsler

Browse the full FMCAD paper archive.