Olivier ROUSSEL

Bibliographie

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

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

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

Gharbi Nebras, Hemery Fred, Lecoutre Christophe, Roussel Olivier,
Sliced Table Constraints: Combining Compression and Tabular Reduction,
dans 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. [Télécharger] [BibTeX...]

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

Lecoutre Christophe, Roussel Olivier, Dehani Djamel-Eddine,
WCSP Integration of Soft Neighborhood Substitutability,
dans 18th International Conference on Principles and Practice of Constraint Programming (CP'12), Springer, Lecture Notes in Computer Science (LNCS) n° 7514, pp. 406-421, octobre 2012. [Télécharger] [BibTeX...]

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

Roussel Olivier,
Behind the Scene of Solvers Competitions: the evaluation Experience,
dans Comparative Empirical Evaluation of Reasoning Systems (COMPARE'12), pp. 66-77, juin 2012. [Télécharger] [BibTeX...]

Lecoutre Christophe, Roussel Olivier,
Failed Value Consistencies for Constraint Satisfaction,
dans 15th International Conference on Principles and Practice of Constraint Programming (CP'09), Springer, Lecture Notes in Computer Science (LNCS) n° 5732, pp. 554-568, septembre 2009. (parmi les 3 Runner-up papiers pour le prix du meilleur papier sur 128 soumissions) [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'09), Springer, Lecture Notes in Computer Science (LNCS) n° 5366, 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

Gharbi Nebras, Hemery Fred, Lecoutre Christophe, Roussel Olivier,
Constraint Solving using Parallel Singleton Arc Consistency,
dans 1st Workshop on Cloud Computing and Optimization , septembre 2014. [Télécharger] [BibTeX...]

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. (dans le cadre de CP'08) [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

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

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

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

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

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

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

Lecoutre Christophe, Roussel Olivier,
Cohérences basées sur les valeurs en échec,
dans 5iè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 4iè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 1ères Journées Francophones de 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 9èmes Journées Nationales sur la résolution pratique des 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 6è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 6èmes Journées Francophones de Programmation en Logique et programmation par Containtes (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 3èmes Journées Nationales sur la résolution pratique des 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 5èmes Journées Francophones de Programmation en Logique et programmation par Containtes (JFPLC'96), Hermès, pp. 271-285, 1996. [BibTeX...]

Roussel Olivier,
Une méthode de compilation logique par recherche de cycles,
dans 3èmes Rencontres 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 4è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 CSC08 (CSC08), septembre 2008. (90 pages) [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), décembre 2006. (96 pages) [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)

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

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...]


olivier.roussel@cril.univ-artois.fr