Federico Heras Javier Larrosa Simon de Givry Thomas Schiex 2006 and 2007 Max-SAT Evaluations: Contributed Instances. 239-250 2008 4 JSAT 2-4 http://jsat.ewi.tudelft.nl/content/volume4/JSAT4_12_Heras.pdf db/journals/jsat/jsat4.html#HerasLGS08