2008

1. A MAX-SAT algorithm portfolio

   Frontiers in Artificial Intelligence and Applications

2. Algorithms for maximum satisfiability using unsatisfiable cores

   2008 DESIGN, AUTOMATION AND TEST IN EUROPE, VOLS 1-3

3. Algorithms for maximum satisfiability using unsatisfiable cores

   Proceedings -Design, Automation and Test in Europe, DATE

4. Combinaison des règles d'inférence et de la sous-estimation des bornes inférieures pour Max-SAT

   JFPC 2008 - Actes des quatriemes Journees Francophones de Programmation par Contraintes