Read-Once Resolution for Unsatisfiability-Based Max-SAT Algorithms.

Federico Heras, Joo Marques-Silva

Browse the full IJCAI paper archive.