A Clause Tableau Calculus for MaxSAT.

Chu Min Li, Felip Many, Joan Ramon Soler

Browse the full IJCAI paper archive.