DMCA

Minimum Satisfying Assignments for SMT ⋆

by Isil Dillig , Thomas Dillig , Kenneth L. Mcmillan , Alex Aiken
Citations:8 - 2 self