Malek Mouhoub Solving Incremental MAX-SAT. 46-51 2004 conf/iasse/2004 IASSE db/conf/iasse/iasse2004.html#Mouhoub04