Resolution-based lower bounds in MaxSAT

Chu Min Li, Felip ManyĆ , Nouredine Ould Mohamedou, Jordi Planes. Resolution-based lower bounds in MaxSAT. Constraints, 15(4):456-484, 2010. [doi]

Abstract

Abstract is missing.