Olivier ROUSSEL

Publications

Article dans une revue (7)

XCSP3 and its ecosystem Gilles Audemard,Frédéric Boussemart,Christophe Lecoutre,Cédric Piette,Olivier Roussel Constraints Journal (Constraints), 2020, pp.1-23 Article dans une revue hal-03299472v1
The International SAT Solver Competitions Matti Jarvisalo,Daniel Le Berre,Olivier Roussel AI magazine, 2012, 1 (33), pp.89-94. ⟨10.1609/aimag.v33i1.2395⟩ Article dans une revue hal-00868244v1
Controlling a Solver Execution: the runsolver Tool Olivier Roussel Journal on Satisfiability, Boolean Modeling and Computation, 2011, 7 (4), pp.139-144. ⟨10.3233/SAT190083⟩ Article dans une revue hal-00868234v1
Promoting Robust Black-Box Solvers Through Competitions Christophe Lecoutre,Olivier Roussel,Marc~r.C. van Dongen Constraints, 2010, 15 (3), pp.317-326 Article dans une revue hal-00868156v1
A Translation of Pseudo-Boolean Constraints to SAT Olivier Bailleux,Yacine Boufkhad,Olivier Roussel Journal on Satisfiability, Boolean Modeling and Computation, 2006, 2, pp.191-200 Article dans une revue hal-00159880v1
The First Evaluation of Pseudo-Boolean Solvers (PB'05) V. Manquinho,Olivier Roussel Journal on Satisfiability, Boolean Modeling and Computation, 2006, 2, pp.103-143 Article dans une revue hal-00110082v1
The Achievement of Knowledge Bases by Cycle Search Philippe Mathieu,Olivier Roussel Information and Computation, 2000, 162, pp.43--58 Article dans une revue hal-00731919v1

Communication dans un congrès (32)

Compressing UNSAT CDCL Trees with Caching Anthony Blomme,Daniel Berre,Anne Parrain,Olivier Roussel ICAART 2024: 16th International Conference on Agents and Artificial Intelligence, Feb 2024, Rome, Italy. pp.792-799, ⟨10.5220/0012393000003636⟩ Communication dans un congrès hal-04486327v1
Compressing UNSAT Search Trees with Caching Anthony Blomme,Daniel Le Berre,Anne Parrain,Olivier Roussel ICAART 2023 : 15th International Conference on Agents and Artificial Intelligence, Feb 2023, Lisbonne, Portugal. pp.358-365, ⟨10.5220/0011671800003393⟩ Communication dans un congrès hal-04015616v1
Compresser des arbres de recherche UNSAT à l’aide d’un système de cache Anthony Blomme,Daniel Le Berre,Anne Parrain,Olivier Roussel Journées Francophones de Programmation par Contraintes (JFPC'23), Jul 2023, Strasbourg, France. pp.38-45 Communication dans un congrès hal-04425245v1
Identifying Soft Cores in Propositional Formulae Gilles Audemard,Jean-Marie Lagniez,Marie Miceli,Olivier Roussel 14th International Conference on Agents and Artificial Intelligence, ICAART, Feb 2022, Online, France. ⟨10.5220/0010892700003116⟩ Communication dans un congrès hal-03699521v1
Sliced Table Constraints: Combining Compression and Tabular Reduction Nebras Gharbi,Fred Hemery,Christophe Lecoutre,Olivier Roussel Integration of AI and OR Techniques in Constraint Programming (CPAIOR 2014), May 2014, Cork, Ireland. pp.120-135, ⟨10.1007/978-3-319-07046-9_9⟩ Communication dans un congrès hal-01141409v1
Les contraintes table fragmentées : combiner la compression et la réduction tabulaire Nebras Gharbi,Fred Hemery,Christophe Lecoutre,Olivier Roussel 10èmes Journées Francophones de Programmation par Contraintes (JFPC'14), 2014, Angers, France. pp.133-142 Communication dans un congrès hal-03300635v1
STR et compression de contraintes tables Nebras Gharbi,Fred Hemery,Christophe Lecoutre,Olivier Roussel 9ièmes Journées Francophones de Programmation par Contraintes (JFPC'13), 2013, Aix-en-Provence, France. pp.143-146 Communication dans un congrès hal-00869930v1
Extension des cohérences WCSP aux tuples Djamel-Eddine Dehani,Christophe Lecoutre,Olivier Roussel 9ièmes Journées Francophones de Programmation par Contraintes (JFPC'13), 2013, Aix-en-Provence, France. pp.105-113 Communication dans un congrès hal-00869928v1
Coherences de tuples pour WCSP Djamel-Eddine Dehani,Christophe Lecoutre,Olivier Roussel 9èmes Journées Francophones de Programmation par Contraintes (JFPC'13), 2013, Aix en provence, France. pp.105-113 Communication dans un congrès hal-03300932v1
Résolution du problème WCSP par extraction de noyaux insatisfiables minimaux Christophe Lecoutre,Nicolas Paris,Olivier Roussel,Sébastien Tabary 9ièmes Journées Francophones de Programmation par Contraintes (JFPC'13), 2013, Aix-en-Provence, France. pp.195-204 Communication dans un congrès hal-00869934v1
Propagation des contraintes tables souples Etude pr eliminaire Christophe Lecoutre,Nicolas Paris,Sébastien Tabary,Olivier Roussel JFPC 2012, May 2012, Toulouse, France Communication dans un congrès hal-00810477v1
Substituabilité au voisinage pour le cadre WCSP Christophe Lecoutre,Djamel-Eddine Dehani,Olivier Roussel JFPC - Huitièmes Journées Francophones de Programmation par Contraintes - 2012, Apr 2013, Toulouse, France Communication dans un congrès hal-00818527v1
WCSP Integration of Soft Neighborhood Substitutability Christophe Lecoutre,Olivier Roussel,Djamel-Eddine Dehani 18th International Conference on Principles and Practice of Constraint Programming (CP'12), 2012, Québec, Canada. pp.406-421 Communication dans un congrès hal-00866333v1
Propagating Soft Table Constraints Christophe Lecoutre,Nicolas Paris,Olivier Roussel,Sébastien Tabary 18th International Conference on Principles and Practice of Constraint Programming (CP'12), 2012, Québec, Canada. pp.390-405 Communication dans un congrès hal-00865618v1
Behind the Scene of Solvers Competitions: the evaluation Experience Olivier Roussel Comparative Empirical Evaluation of Reasoning Systems (COMPARE'12), 2012, Manchester, United Kingdom. pp.66-77 Communication dans un congrès hal-00865610v1
Failed Value Consistencies for Constraint Satisfaction Christophe Lecoutre,Olivier Roussel 15th International Conference on Principles and Practice of Constraint Programming (CP'09), 2009, Lisbon, Portugal. pp.554-568 Communication dans un congrès hal-00865327v1
New Encodings of Pseudo-Boolean Constraints into CNF Olivier Bailleux,Yacine Boufkhad,Olivier Roussel Theory and Applications of Satisfiability Testing - SAT 2009, Jun 2009, Swansea, United Kingdom. pp.181-194 Communication dans un congrès hal-00415126v1
Cohérences basées sur les valeurs en échec Christophe Lecoutre,Olivier Roussel Cinquièmes Journées Francophones de Programmation par Contraintes, Jun 2009, Orléans, France. pp.355-365 Communication dans un congrès hal-00387854v1
Une technique de décomposition pour Max-CSP Hachémi Bennaceur,Christophe Lecoutre,Olivier Roussel JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, LINA - Université de Nantes - Ecole des Mines de Nantes, Jun 2008, Nantes, France. pp.219-226 Communication dans un congrès inria-00291628v1
A Decomposition Technique for Solving {Max-CSP} Hachemi Bennaceur,Christophe Lecoutre,Olivier Roussel 18th European Conference on Artificial Intelligence (ECAI'08), 2008, Patras, Greece. pp.500-504 Communication dans un congrès hal-00865285v1
A decomposition strategy to reduce the search space of solutions of WCSP Hachemi Bennaceur,Christophe Lecoutre,Olivier Roussel 9th Workshop on Preferences and Soft Constraints (Soft'08), 2008, Sydney, Australia. pp.73-87 Communication dans un congrès hal-00870842v1
Some notes on the implementation of csp2sat+zchaff, a simple translator from CSP to SAT Olivier Roussel Second International Workshop on Constraint Propagation and Implementation(CPAI05), Oct 2005, Sitges, Spain. pp.83-88 Communication dans un congrès hal-00460851v1
Une autre conversion de SAT vers CSP Olivier Roussel Premières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, France. pp.49-58 Communication dans un congrès inria-00000045v1
The long way from conflict driven clause learning to conflict driven constraint learning Daniel Le Berre,Anne Parrain,Olivier Roussel Guangzhou Symposium on Satisfiability and its applications (Guangzhou04), 2004, Guangzhou, China Communication dans un congrès hal-03300804v1
OpenSAT: une plateforme SAT Open Source Gilles Audemard,Daniel Le Berre,Olivier Roussel JNPC'03, 2003, Amiens, France Communication dans un congrès hal-03299519v1
OpenSAT: an open source SAT software project Gilles Audemard,Daniel Le Berre,Olivier Roussel,Ines Lynce,Joao Marques-Silva Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT2003), 2003, Portofino, Italy Communication dans un congrès hal-03299485v1
Une compilation logique exacte en calcul des prédicats : le cas de l'achèvement total Olivier Roussel,Philippe Mathieu Actes de la 3ème conférence nationale sur la résolution pratique de problèmes NP-complets (JNPC'97), 1997, undef, France. pp.61--66 Communication dans un congrès hal-00732026v1
Exact Knowledge Compilation in Predicate Calculus: the Partial Achievement Case Philippe Mathieu,Olivier Roussel Proceedings of 14th International Conference on Automated Deduction (CADE'14), 1997, undef, France. pp.161--175 Communication dans un congrès hal-00731972v1
A New Method for Knowledge Compilation: The Achievement by Cycle Search Olivier Roussel,Philippe Mathieu Proceedings of the 13th International Conference on Automated Deduction (CADE'13), 1996, undef, France. pp.493--507 Communication dans un congrès hal-00731971v1
How to Use Cycles for Logicial Compilation Philippe Mathieu,Olivier Roussel Proceedings of the European Conference on Artificial Intelligence's Workshop on Advances in Propositional Deduction (APD@ECAI'96), 1996, undef, France. pp.53--60 Communication dans un congrès hal-00731984v1
Une nouvelle Methode de Compilation Logique : L'Achèvement par Cycles Philippe Mathieu,Olivier Roussel Actes des Journées Francophones de Programmation Logique et Contraintes (JFPLC'96), 1996, undef, France Communication dans un congrès hal-00732014v1
Evaluation des méthodes d'achèvement par parties Olivier Roussel,Philippe Mathieu Actes des Journées Francophones de Programmation Logique (JFPL'95), 1995, undef, France. pp.175--189 Communication dans un congrès hal-00732012v1

Ouvrages (2)

Proceedings of the 2nd International Constraint Solver Competition (2006) Marc-R.C. van Dongen,Christophe Lecoutre,Olivier Roussel pas d'éditeur commercial, pp.96, 2008 Ouvrages hal-00872715v1
Proceedings of the 3rd International Constraint Solver Competition (2008) Marc-R.C. van Dongen,Christophe Lecoutre,Olivier Roussel pas d'éditeur commercial, pp.90, 2008 Ouvrages hal-00872713v1

Chapitre d'ouvrage (2)

Pseudo-Boolean and Cardinality Constraints Olivier Roussel,Vasco Manquinho Armin Biere; Marijn Heule; Hans van Maaren; Toby Walsh. Handbook of Satisfiability, second edition, 336, IOS Press, pp.1087-1129, 2021, Frontiers in Artificial Intelligence and Applications, 978-1-64368-160-3. ⟨10.3233/FAIA201012⟩ Chapitre d'ouvrage hal-04461963v1
Pseudo-Boolean and Cardinality Constraints Vasco Manquinho,Olivier Roussel Armin Biere, Marijn Heule, Hans van Maaren and Toby Walsh. Handbook of Satisfiability,, IOS Press, pp.695-733, 2009, volume 2 Chapitre d'ouvrage hal-00870005v1

Rapport (4)

On Finding Counter-Models: Approach Based on Instantiating Abstract Sets Daniel Crowley,Daniel Le Berre,Olivier Roussel,Yakoub Salhi CRIL. 2024 Rapport (rapport technique) hal-04709539v2
Optimisation du montage de prêts immobiliers : modélisation du problème Frederic Boussemart,Fred Hemery,Christophe Lecoutre,Olivier Roussel,Sébastien Tabary [Rapport de recherche] Centre de Recherche en Informatique de Lens. 2012 Rapport (rapport de recherche) hal-00872787v1
XML Representation of Constraint Networks: Format XCSP 2.1 Christophe Lecoutre,Olivier Roussel [Rapport de recherche] Centre de Recherche en Informatique de Lens. 2009 Rapport (rapport de recherche) hal-00872825v1
XML Representation of Constraint Networks: Format XCSP 2.0 Christophe Lecoutre,Olivier Roussel,M. van Dongen [Technical Report] Centre de Recherche en Informatique de Lens. 2006 Rapport (rapport technique) hal-03300938v1

Logiciel (1)

set-sizing-for-counter-models Daniel Crowley,Daniel Le Berre,Olivier Roussel,Yakoub Salhi 2024, ⟨swh:1:dir:bfb5d19ea09b8e7738330ef898c9e393799657ae;origin=https://github.com/crillab/set-sizing-for-counter-models;visit=swh:1:snp:e51044fa796255983bd902878313ef62a9192eda;anchor=swh:1:rev:0af85ff0430f52d3cc0db583b9bb22273577dd74⟩ Logiciel hal-04737604v1