New Inference Rules for Max-SAT

Open in new window