Return to Article Details New Inference Rules for Max-SAT Download Download PDF