Query-guided maximum satisfiability.

Xin Zhang, Ravi Mangal, Aditya V. Nori, Mayur Naik

Browse the full POPL paper archive.