Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances.

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

Browse the full SAT paper archive.