Ramón Béjar, Alba Cabiscol, Felip Manyà , Jordi Planes. Generating Hard Instances for MaxSAT. In ISMVL 2009, 39th International Symposium on Multiple-Valued Logic, 21-23 May 2009, Naha, Okinawaw, Japan. pages 191-195, IEEE Computer Society, 2009. [doi]
No references recorded for this publication.
No citations of this publication recorded.