Minimum Satisfying Assignments for SMT.

Isil Dillig, Thomas Dillig, Kenneth L. McMillan, Alex Aiken

Browse the full CAV paper archive.