| 2025 | ICTAI | A Framework for Hybrid Set-Theoretic and Numerical Problem Solving. | Daniel Crowley, Daniel Le Berre, Olivier Roussel, Yakoub Salhi |
| 2024 | ICAART | Compressing UNSAT CDCL Trees with Caching. | Anthony Blomme, Daniel Le Berre, Anne Parrain, Olivier Roussel |
| 2023 | ICAART | Compressing UNSAT Search Trees with Caching. | Anthony Blomme, Daniel Le Berre, Anne Parrain, Olivier Roussel |
| 2022 | ICAART | Identifying Soft Cores in Propositional Formul. | Gilles Audemard, Jean-Marie Lagniez, Marie Miceli, Olivier Roussel |
| 2015 | ICRA | Manipulation planning with contacts for an extensible elastic rod by sampling on the submanifold of static equilibrium configurations. | Olivier Roussel, Andy Borum, Michel Tax, Timothy Bretl |
| 2014 | CPAIOR | Sliced Table Constraints: Combining Compression and Tabular Reduction. | Nebras Gharbi, Fred Hemery, Christophe Lecoutre, Olivier Roussel |
| 2013 | ICTAI | Solving WCSP by Extraction of Minimal Unsatisfiable Cores. | Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sbastien Tabary |
| 2013 | WSCG | Robust and Scalable Navmesh Generation. | Guillaume Saupin, Olivier Roussel, Jrmie Le Garrec |
| 2012 | CADE | Behind the Scene of Solvers Competitions: the "evaluation" Experience. | Olivier Roussel |
| 2012 | CP | Propagating Soft Table Constraints. | Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sbastien Tabary |
| 2012 | CP | WCSP Integration of Soft Neighborhood Substitutability. | Christophe Lecoutre, Olivier Roussel, Djamel E. Dehani |
| 2009 | CP | Failed Value Consistencies for Constraint Satisfaction. | Christophe Lecoutre, Olivier Roussel |
| 2009 | SAT | New Encodings of Pseudo-Boolean Constraints into CNF. | Olivier Bailleux, Yacine Boufkhad, Olivier Roussel |
| 2008 | ECAI | A Decomposition Technique for Max-CSP. | Hachemi Bennaceur, Christophe Lecoutre, Olivier Roussel |
| 2004 | ICTAI | Another SAT to CSP Conversion. | Olivier Roussel |
| 2000 | AAAI | Redundancy in Random SAT Formulas. | Yacine Boufkhad, Olivier Roussel |
| 1997 | CADE | Exact Kanowledge Compilation in Predicate Calculus: The Partial Achievement Case. | Olivier Roussel, Philippe Mathieu |
| 1996 | CADE | A New Method for Knowledge Compilation: The Achievement by Cycle Search. | Olivier Roussel, Philippe Mathieu |