Sylvain Darras Gilles Dequen Laure Devendeville Chu Min Li On Inconsistent Clause-Subsets for Max-SAT Solving. 225-240 2007 conf/cp/2007 CP http://dx.doi.org/10.1007/978-3-540-74970-7_18 db/conf/cp/cp2007.html#DarrasDDL07