On the extension of learning for Max-SAT, vol.241, pp.1-10, 2014. ,
AHMAXSAT : Description and evaluation of a branch and bound Max-SAT solver, JSAT, vol.9, pp.89-128, 2015. ,
On the resiliency of unit propagation to max-resolution, pp.268-274, 2015. ,
Resolution for max-sat, JAIR, vol.171, pp.606-618, 2007. ,
Resolution-based lower bounds in maxsat, Constraints, vol.15, pp.456-484, 2010. ,
Detecting disjoint inconsistent subformulas for computing lower bounds for max-sat, AAAI-06, pp.86-91, 2006. ,
New inference rules for max-sat, JAIR, vol.30, pp.321-359, 2007. ,
Grasp : A search algorithm for propositional satisfiability, IEEE Transactions on Computers, vol.48, pp.506-521, 1999. ,