Maximum Satisfiability in Software Analysis: Applications and Techniques.

Xujie Si, Xin Zhang, Radu Grigore, Mayur Naik

Browse the full CAV paper archive.