"MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability."

Zhao Xing, Weixiong Zhang (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics