- Solving SMT Problems with a Costly Decision Procedure by Finding Minimum Satisfying Assignments of Boolean Formulas2013 | Matematicko-fyzikální fakulta
- Finding Minimum Satisfying Assignments of Boolean FormulasPublikace bez příslušnosti k fakultě
- Finding Minimum Satisfying Assignments of Boolean Formulas2013 | Matematicko-fyzikální fakulta