Solving SMT Problems with a Costly Decision Procedure by Finding Minimum Satisfying Assignments of Boolean Formulas.

Martin Babka, Toms Balyo, Jaroslav Keznikl

Browse the full SERA paper archive.