A Tableau Calculus for Non-clausal Maximum Satisfiability.

Chu Min Li, Felip Many, Joan Ramon Soler

Browse the full TABLEAUX paper archive.