Bibliographie

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

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

Lecoutre Christophe, Roussel Olivier, Van Dongen M.,
Promoting robust black-box solvers through competitions,
dans Constraints , vol. 15, n° 3, Springer, pp. 317-326, juillet 2010. [Télécharger] [BibTeX...]

Bailleux Olivier, Boufkhad Yacine, Roussel Olivier,
A Translation of Pseudo Boolean Constraints to SAT,
dans Journal on Satisfiability, Boolean Modeling and Computation (JSAT), vol. 2, pp. 191-200, 2006. [BibTeX...]

Manquinho V., Roussel Olivier,
The First Evaluation of Pseudo-Boolean Solvers (PB'05),
dans Journal on Satisfiability, Boolean Modeling and Computation (JSAT), vol. 2, pp. 103-143, 2006. [BibTeX...]

Roussel Olivier, Mathieu Ph.,
The Achievement of Knowledge Bases by Cycle Search,
dans Information and Computation (IC), vol. 162, Academic Press, pp. 43-58, 2000. [BibTeX...]

Communication(s) dans des conférences d'audience internationale avec publication des actes

Lecoutre Christophe, Roussel Olivier,
Failed Value Consistencies for Constraint Satisfaction,
dans 15th International Conference on Principles and Practice of Constraint Programming (CP'09), LNCS 5732, Springer, pp. 554-568, septembre 2009. (Runner-up as best paper) [Télécharger] [BibTeX...]

Bailleux Olivier, Boufkhad Yacine, Roussel Olivier,
New Encodings of Pseudo-Boolean Constraints into CNF,
dans Theory and Applications of Satisfiability Testing - SAT 2009 (SAT'09), Springer, pp. 181-194, juillet 2009. [BibTeX...]

Bennaceur Hachemi, Lecoutre Christophe, Roussel Olivier,
A Decomposition Technique for Solving Max-CSP,
dans 18th European Conference on Artificial Intelligence (ECAI'08), IOS Press, pp. 500-504, juillet 2008. [Télécharger] [BibTeX...]

Roussel Olivier,
Another SAT to CSP Conversion,
dans 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'04), IEEE Computer Society, pp. 558-565, novembre 2004. [BibTeX...]

Boufkhad Yacine, Roussel Olivier,
Redundancy in random formulas,
dans 17th National Conference on Artificial Intelligence (AAAI'00), AAAI Press, pp. 273-278, 2000. [BibTeX...]

Roussel Olivier, Mathieu Ph.,
Exact Knowledge Compilation in Predicate Calculus: the Partial Achievement Case,
dans 14th Conference on Automated Deduction (CADE-14), LNCS 1249, Springer Verlag, pp. 161-175, 1997. [BibTeX...]

Roussel Olivier, Mathieu Ph.,
A new method for knowledge compilation : the achievement by cycle search,
dans 13th Conference on Automated Deduction (CADE'13), LNCS 1104, Springer, pp. 493-507, 1996. [BibTeX...]

Communication(s) dans des conférences d'audience internationale sans publication des actes

Bennaceur Hachemi, Lecoutre Christophe, Roussel Olivier,
A decomposition strategy to reduce the search space of solutions of WCSP,
dans 9th Workshop on Preferences and Soft Constraints (Soft'08), pp. 73-87, septembre 2008. [BibTeX...]

Roussel Olivier,
Some notes on the implementation of csp2sat+zchaff, a simple translator from CSP to SAT,
dans Second International Workshop on Constraint Propagation and Implementation (CPAI05), pp. 83-88, octobre 2005. [Télécharger] [BibTeX...]

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

Audemard Gilles, Le Berre Daniel, Roussel Olivier, Lynce Ines, Marques-Silva Joao,
OpenSAT: an open source SAT software project,
dans Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT'03), mai 2003. (poster) [Télécharger] [BibTeX...]

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

Communication(s) dans des conférences d'audience nationale

Lecoutre Christophe, Roussel Olivier,
Cohérences basées sur les valeurs en échec,
dans 5èmes Journées Francophones de Programmation par Contraintes (JFPC'09), pp. 355-363, juin 2009. [Télécharger] [BibTeX...]

Bennaceur Hachemi, Lecoutre Christophe, Roussel Olivier,
Une technique de décomposition pour Max-CSP,
dans 4èmes Journées Francophones de Programmation par Contraintes (JFPC'08), pp. 219-226, juin 2008. [Télécharger] [BibTeX...]

Roussel Olivier,
Une autre conversion de SAT vers CSP,
dans Premières Journées Francophones de la Programmation par Contraintes (JFPC'05), pp. 49-57, juin 2005. [BibTeX...]

Audemard Gilles, Le Berre Daniel, Roussel Olivier,
OpenSAT: une plateforme SAT Open Source,
dans Neuvièmes Journées Nationales sur la résolution Pratique de Problèmes NP-Complets (JNPC'03), juin 2003. [Télécharger] [BibTeX...]

Bailleux Olivier, Boufkhad Yacine, Roussel Olivier,
Arbre de preuves minimaux de formules irredondantes,
dans Sixièmes Journées Nationales sur la Résolution Pratique des Problèmes {NP}-complets (JNPC'00), pp. 66-67, juin 2000. [BibTeX...]

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

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

Roussel Olivier, Mathieu Ph.,
Une nouvelle méthode de compilation logique : l'achèvement par cycles,
dans Cinquièmes Journées Francophones de Programmation Logique et programmation par Contraintes (JFPLC'96), Hermès, pp. 271-285, 1996. [BibTeX...]

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

Roussel Olivier,
Evaluation des méthodes d'achèvement par parties,
dans Quatrièmes Journées Francophones de Programmation en Logique (JFPL'95), Teknéa Editions, pp. 175-189, 1995. [BibTeX...]

Actes de conférence(s)

Van Dongen M., Lecoutre Christophe, Roussel Olivier,
Proceedings of the 3rd International Constraint Solver Competition,
dans 3rd International Constraint Solver Competition (CSC'08), septembre 2008. [Télécharger] [BibTeX...]

Van Dongen M., Lecoutre Christophe, Roussel Olivier,
Proceedings of the 2nd International Constraint Solver Competition,
dans 2nd International Constraint Solver Competition (CSC'06), janvier 2008. [Télécharger] [BibTeX...]

Chapitre(s) d'ouvrage(s)

Roussel Olivier, Manquinho V.,
Pseudo-Boolean and Cardinality Constraints,
dans 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 ) [Télécharger] [BibTeX...]

Thèse de doctorat

Roussel Olivier,
L'achèvement des bases de connaissance en calcul propositionnel et en calcul des prédicats,
thèse de doctorat, France, janvier 1997. [BibTeX...]

Rapport(s) technique(s)

Roussel Olivier, Lecoutre Christophe,
XML Representation of Constraint Networks: Format XCSP 2.1,
rapport technique, CoRR abs/0902.2362, février 2009. [Télécharger] [BibTeX...]

Lecoutre Christophe, Roussel Olivier, Van Dongen M.,
XML Representation of Constraint Networks: Format XCSP 2.0,
rapport technique, Lens, France, août 2006. [Télécharger] [BibTeX...]