Publications

Article(s) de revue(s) internationale(s)

2012 Matti Järvisalo, Daniel Le Berre, Olivier Roussel, Laurent Simon, The International SAT Solver Competitions in Artificial Intelligence Magazine (AI Magazine),vol. 1, n° 33, pp. 89-94, 2012.

2011 Olivier Roussel, Controlling a Solver Execution: the runsolver Tool in Journal on Satisfiability, Boolean Modeling and Computation (JSAT),vol. 7, pp. 139-144, novembre 2011. [Download]

2010 Christophe Lecoutre, Olivier Roussel, M. Van Dongen, Promoting robust black-box solvers through competitions in Constraints,vol. 15, n° 3, Springer, pp. 317-326, juillet 2010. [Download]

2006 V. Manquinho, Olivier Roussel, The First Evaluation of Pseudo-Boolean Solvers (PB’05) in Journal on Satisfiability, Boolean Modeling and Computation,vol. 2, pp. 103-143, 2006.

2006 Olivier Bailleux, Yacine Boufkhad, Olivier Roussel, A Translation of Pseudo Boolean Constraints to SAT in Journal on Satisfiability, Boolean Modeling and Computation,vol. 2, pp. 191-200, 2006.

2000 Olivier Roussel, Ph. Mathieu, The Achievement of Knowledge Bases by Cycle Search in Information and Computation,vol. 162, Academic Press, pp. 43-58, 2000.

Article(s) de conférence(s) internationale(s)

2014 Nebras Gharbi, Fred Hemery, Christophe Lecoutre, Olivier Roussel, Constraint Solving using Parallel Singleton Arc Consistency in 1st Workshop on Cloud Computing and Optimization,septembre 2014. [Download]

2014 Nebras Gharbi, Fred Hemery, Christophe Lecoutre, Olivier Roussel, Sliced Table Constraints: Combining Compression and Tabular Reduction in 11th International Conference on Integration of Artificial Intelligence and Operations Research (CPAIOR’14),Lecture Notes in Computer Science (LNCS), Volume 8451, Springer, pp. 120-135, mai 2014. [Download]

2013 Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary, Solving WCSP by Extraction of Minimal Unsatisfiable Cores in 25th International Conference on Tools with Artificial Intelligence (ICTAI’13),pp. 915-92, 2013. [Download]

2012 Christophe Lecoutre, Olivier Roussel, Djamel-Eddine Dehani, WCSP Integration of Soft Neighborhood Substitutability in 18th International Conference on Principles and Practice of Constraint Programming (CP’12),Springer, Lecture Notes in Computer Science (LNCS), vol. 7514, pp. 406-421, octobre 2012. [Download]

2012 Olivier Roussel, Behind the Scene of Solvers Competitions: the evaluation Experience in Comparative Empirical Evaluation of Reasoning Systems (COMPARE’12),pp. 66-77, juin 2012. [Download]

2012 Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary, Propagating Soft Table Constraints in 18th International Conference on Principles and Practice of Constraint Programming (CP’12),Springer, Lecture Notes in Computer Science (LNCS), vol. 7514, pp. 390-405, octobre 2012. [Download]

2009 Olivier Bailleux, Yacine Boufkhad, Olivier Roussel, New Encodings of Pseudo-Boolean Constraints into CNF in Theory and Applications of Satisfiability Testing (SAT’09),Springer, Lecture Notes in Computer Science (LNCS), vol. 5366, pp. 181-194, juillet 2009.

2009 Christophe Lecoutre, Olivier Roussel, Failed Value Consistencies for Constraint Satisfaction in 15th International Conference on Principles and Practice of Constraint Programming (CP’09),Springer, Lecture Notes in Computer Science (LNCS), vol. 5732, pp. 554-568, septembre 2009. (parmi les 3 Runner-up papiers pour le prix du meilleur papier sur 128 soumissions) [Download]

2008 Hachemi Bennaceur, Christophe Lecoutre, Olivier Roussel, A decomposition strategy to reduce the search space of solutions of WCSP in 9th Workshop on Preferences and Soft Constraints (Soft’08),pp. 73-87, septembre 2008. (dans le cadre de CP’08)

2008 Hachemi Bennaceur, Christophe Lecoutre, Olivier Roussel, A Decomposition Technique for Solving Max-CSP in 18th European Conference on Artificial Intelligence (ECAI’08),IOS Press, pp. 500-504, juillet 2008. [Download]

2005 Olivier Roussel, Some notes on the implementation of csp2sat+zchaff, a simple translator from CSP to SAT in Proceedings of the Second International Workshop on Constraint Propagation and Implementation,vol. 2, pp. 83-88, octobre 2005. [Download]

2004 Olivier Roussel, Another SAT to CSP Conversion in Proc. of the 16th Int. Conf. on Tools with Artifical Intelligence (ICTAI’04),IEEE Computer Society, pp. 558-565, novembre 2004.

2004 Daniel Le Berre, Anne Parrain, Olivier Roussel, The long way from conflict driven clause learning to conflict driven constraint learning in Guangzhou Symposium on Satisfiability and its applications (Guangzhou04),septembre 2004. (papier invité)

2003 Gilles Audemard, Daniel Le Berre, Olivier Roussel, Ines Lynce, Joao Marques-Silva, OpenSAT: an open source SAT software project in Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT2003),mai 2003. (poster) [Download]

2000 Yacine Boufkhad, Olivier Roussel, Redundancy in random formulas in Proc. of the Seventeenth Nat. Conf. on Artificial Intelligence (AAAI-00),AAAI Press, pp. 273-278, 2000.

1997 Olivier Roussel, Ph. Mathieu, Exact Knowledge Compilation in Predicate Calculus: the Partial Achievement Case in Proc. of CADE-14,LNCS 1249, Springer Verlag, pp. 161-175, 1997.

1996 Olivier Roussel, Ph. Mathieu, A new method for knowledge compilation : the achievement by cycle search in Proc. 13th Conf. on Automated Deduction (CADE-13),LNCS 1104, Springer, pp. 493-507, 1996.

1996 Olivier Roussel, Ph. Mathieu, How to use cycles for logical compilation in Proc. ECAI-96 Workshop on Advances in Propositional Deduction,pp. 53-60, août 1996.

Article(s) de conférence(s) nationale(s)

2014 Nebras Gharbi, Fred Hemery, Christophe Lecoutre, Olivier Roussel, Les contraintes table fragmentées : combiner la compression et la réduction tabulaire in 10èmes Journées Francophones de Programmation par Contraintes (JFPC’14),pp. 133-142, juin 2014. [Download]

2013 Djamel-Eddine Dehani, Christophe Lecoutre, Olivier Roussel, Coherences de tuples pour WCSP in 9ièmes Journées Francophones de Programmation par Contraintes (JFPC’13),pp. 105-113, juin 2013. [Download]

2013 Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary, Résolution du problème WCSP par extraction de noyaux insatisfiables minimaux in 9ièmes Journées Francophones de Programmation par Contraintes (JFPC’13),pp. 195-204, juin 2013. [Download]

2013 Fred Hemery, Christophe Lecoutre, Olivier Roussel, STR et compression de contraintes tables in 9ièmes Journées Francophones de Programmation par Contraintes (JFPC’13),pp. 143-146, juin 2013. [Download]

2012 Christophe Lecoutre, Olivier Roussel, Djamel-Eddine Dehani, Substituabilité au voisinage pour le cadre WCSP in 8ièmes Journées Francophones de Programmation par Contraintes (JFPC’12),pp. 91-100, mai 2012. [Download]

2012 Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary, Propagation des contraintes tables souples - étude préliminaire in 8ièmes Journées Francophones de Programmation par Contraintes (JFPC’12),pp. 196-201, mai 2012. [Download]

2009 Christophe Lecoutre, Olivier Roussel, Cohérences basées sur les valeurs en échec in 5ièmes Journées Francophones de Programmation par Contraintes (JFPC’09),pp. 355-363, juin 2009. [Download]

2008 Hachemi Bennaceur, Christophe Lecoutre, Olivier Roussel, Une technique de décomposition pour Max-CSP in 4ièmes Journées Francophones de Programmation par Contraintes (JFPC’08),pp. 219-226, juin 2008. [Download]

2005 Olivier Roussel, Une autre conversion de SAT vers CSP in Actes des Premières Journées Francophones de Programmation par Contraintes (JFPC’05),pp. 49-57, juin 2005.

2003 Gilles Audemard, Daniel Le Berre, Olivier Roussel, OpenSAT: une plateforme SAT Open Source in JNPC’03,juin 2003. [Download]

2000 Olivier Bailleux, Yacine Boufkhad, Olivier Roussel, Arbre de preuves minimaux de formules irredondantes in Actes des Sixièmes Journ. Nat. sur la Résolution Pratique des Problèmes NP-complets (JNPC-2000),pp. 66-67, juin 2000.

1997 Olivier Roussel, Ph. Mathieu, Une compilation logique exacte en calcul des prédicats : le cas de l’achèvement partiel in Actes des Sixièmes Journ. Francophones de Programmation Logique et programmation par Contraintes (JFPLC-97),Hermès, pp. 261-275, 1997.

1997 Olivier Roussel, Ph. Mathieu, Une compilation logique exacte en calcul des prédicats : le cas de l’achèvement total in Actes de la Troisième Conf. Nat. sur la résolution pratique de problèmes NP-complets (JNPC-97),pp. 61-66, 1997.

1996 Olivier Roussel, Une méthode de compilation logique par recherche de cycles in Actes des Troisièmes Rencontres Nationales des Jeunes Chercheurs en Intelligence Artificielle (RJCIA-96),pp. 189-196, 1996.

1996 Olivier Roussel, Ph. Mathieu, Une nouvelle méthode de compilation logique : l’achèvement par cycles in Actes des 5èmes Journées Francophones de Programmation Logique et Programmation par Contraintes (JFPLC-96),Hermès, pp. 271-285, 1996.

1995 Olivier Roussel, Evaluation des méthodes d’achèvement par parties in Actes des IVèmes Journées Francophones de Programmation en Logique (JFPL-95),Teknéa Editions, pp. 175-189, 1995.

Actes de conférence(s)

2008 M. Van Dongen, Christophe Lecoutre, Olivier Roussel, Proceedings of the 3rd International Constraint Solver Competition septembre 2008. (90 pages) [Download]

2006 M. Van Dongen, Christophe Lecoutre, Olivier Roussel, Proceedings of the 2nd International Constraint Solver Competition decembre 2006. (96 pages) [Download]

Chapitre(s) d'ouvrage(s)

2009 Olivier Roussel, V. Manquinho, Pseudo-Boolean and Cardinality Constraints in Handbook of Satisfiability,vol. 2, chapitre 22, pp. 695-733, Armin Biere, Marijn Heule, Hans van Maaren and Toby Walsh (Eds.), IOS Press, février 2009. (isbn:978-1-58603-929-5 ) [Download]

Thèse(s) de doctorat

1997 Olivier Roussel, L’achèvement des bases de connaissance en calcul propositionnel et en calcul des prédicats France, janvier 1997.

Rapport(s) technique(s)

2012 Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Olivier Roussel, Sébastien Tabary, Optimization du montage de prets immobiliers : modelisation du probleme Projet SPI. MITI-CNRS, mars 2012.

2009 Olivier Roussel, Christophe Lecoutre, XML Representation of Constraint Networks: Format XCSP 2.1 CoRR abs/0902.2362, février 2009. [Download]

2006 Christophe Lecoutre, Olivier Roussel, M. Van Dongen, XML Representation of Constraint Networks: Format XCSP 2.0 Lens, France, août 2006. [Download]