Josep Argelich Chu Min Li Felip Manyà Jordi Planes The First and Second Max-SAT Evaluations. 251-278 2008 4 JSAT 2-4 http://jsat.ewi.tudelft.nl/content/volume4/JSAT4_13_Argelich.pdf db/journals/jsat/jsat4.html#ArgelichLMP08