New Inference Rules for Max-SAT

C. M. Li, F. Manya, J. Planes

Exact Max-SAT solvers, compared with SAT solvers, apply little inference at each node of the proof tree. Commonly used SAT inference rules like unit propagation produce a simplifie…