Olivier Roussel

ORCID

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 13

Top Venues

Paul Sabatier University, Toulouse, France (PHD)

Education History

Paul Sabatier University, Toulouse, France

PHD

Publications

Anthony Blomme, Daniel Le Berre, Anne Parrain, Olivier Roussel
Compressing UNSAT CDCL Trees with Caching. ICAART (3) (2024)
Anthony Blomme, Daniel Le Berre, Anne Parrain, Olivier Roussel
Compressing UNSAT Search Trees with Caching. ICAART (3) (2023)
Cédric L. R. Buron, Zahia Guessoum, Sylvain Ductor, Olivier Roussel
MoCaNA, un agent de négociation automatique utilisant la recherche arborescente de Monte-Carlo. ROIA 3 (5-6) (2022)
Gilles Audemard, Jean-Marie Lagniez, Marie Miceli, Olivier Roussel
Identifying Soft Cores in Propositional Formulæ. ICAART (2) (2022)
Olivier Roussel, Pierre Fernbach, Michel Taïx
Motion Planning for an Elastic Rod Using Contacts. IEEE Trans Autom. Sci. Eng. 17 (2) (2020)
Gilles Audemard, Frédéric Boussemart, Christophe Lecoutre, Cédric Piette, Olivier Roussel
and its ecosystem. Constraints An Int. J. 25 (1-2) (2020)
Christophe Lecoutre, Olivier Roussel
Proceedings of the 2018 XCSP3 Competition. CoRR (2019)
V. Soni, Abdellah Hadjadj, Olivier Roussel, G. Moebs
Parallel multi-core and multi-processor methods on point-value multiresolution algorithms for hyperbolic conservation laws. J. Parallel Distributed Comput. 123 (2019)
Cédric L. R. Buron, Zahia Guessoum, Sylvain Ductor, Olivier Roussel
MoCaNA, un agent de négociation automatique utilisant la recherche arborescente de Monte-Carlo. JFSMA (2018)
Cédric L. R. Buron, Zahia Guessoum, Sylvain Ductor, Olivier Roussel
MoCaNA, un agent de n{é}gociation automatique utilisant la recherche arborescente de Monte-Carlo. CoRR (2018)
Andreas Orthey, Olivier Roussel, Olivier Stasse, Michel Taïx
Motion planning in Irreducible Path Spaces. Robotics Auton. Syst. 109 (2018)
Andreas Orthey, Olivier Roussel, Olivier Stasse, Michel Taïx
Motion Planning in Irreducible Path Spaces. CoRR (2018)
V. Soni, Olivier Roussel, Abdellah Hadjadj
On the accuracy and efficiency of point-value multiresolution algorithms for solving scalar wave and Euler equations. J. Comput. Appl. Math. 323 (2017)
Olivier Roussel, Andy Borum, Michel Taïx, Timothy Bretl
Manipulation planning with contacts for an extensible elastic rod by sampling on the submanifold of static equilibrium configurations. ICRA (2015)
Nebras Gharbi, Fred Hemery, Christophe Lecoutre, Olivier Roussel
Sliced Table Constraints: Combining Compression and Tabular Reduction. CPAIOR (2014)
Olivier Roussel, Michel Taïx, Timothy Bretl
Efficient motion planning for quasi-static elastic rods using geometry neighborhood approximation. AIM (2014)
Guillaume Saupin, Olivier Roussel, Jeremie Le Garrec
Robust and Scalable Navmesh Generation. WSCG (2013)
Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary
Solving WCSP by Extraction of Minimal Unsatisfiable Cores CoRR (2013)
Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary
Solving WCSP by Extraction of Minimal Unsatisfiable Cores. ICTAI (2013)
Olivier Bodini, Olivier Roussel, Michèle Soria
Boltzmann samplers for first-order differential specifications. Discret. Appl. Math. 160 (18) (2012)
Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary
Propagating Soft Table Constraints. CP (2012)
Olivier Roussel
Behind the Scene of Solvers Competitions: the "evaluation" Experience. COMPARE (2012)
Olivier Bodini, Danièle Gardy, Olivier Roussel
Boys-and-girls Birthdays and Hadamard Products. Fundam. Informaticae 117 (1-4) (2012)
Matti Järvisalo, Daniel Le Berre, Olivier Roussel, Laurent Simon
The International SAT Solver Competitions. AI Mag. 33 (1) (2012)
Christophe Lecoutre, Olivier Roussel, Djamel E. Dehani
WCSP Integration of Soft Neighborhood Substitutability. CP (2012)
Olivier Roussel
Controlling a Solver Execution with the runsolver Tool. J. Satisf. Boolean Model. Comput. 7 (4) (2011)
Olivier Roussel, Kai Schneider
Coherent Vortex Simulation of weakly compressible turbulent mixing layers using adaptive multiresolution methods. J. Comput. Phys. 229 (6) (2010)
Christophe Lecoutre, Olivier Roussel, Marc R. C. van Dongen
Promoting robust black-box solvers through competitions. Constraints An Int. J. 15 (3) (2010)
Christophe Lecoutre, Olivier Roussel
Failed Value Consistencies for Constraint Satisfaction. CP (2009)
Olivier Roussel, Christophe Lecoutre
XML Representation of Constraint Networks: Format XCSP 2.1 CoRR (2009)
Olivier Roussel, Michèle Soria
Boltzmann sampling of ordered structures. Electron. Notes Discret. Math. 35 (2009)
Olivier Bailleux, Yacine Boufkhad, Olivier Roussel
New Encodings of Pseudo-Boolean Constraints into CNF. SAT (2009)
Margarete O. Domingues, Sônia M. Gomes, Olivier Roussel, Kai Schneider
An adaptive multiresolution scheme with local time stepping for evolutionary PDEs. J. Comput. Phys. 227 (8) (2008)
Hachemi Bennaceur, Christophe Lecoutre, Olivier Roussel
A Decomposition Technique for Max-CSP. ECAI (2008)
Vasco M. Manquinho, Olivier Roussel
The First Evaluation of Pseudo-Boolean Solvers (PB'05). J. Satisf. Boolean Model. Comput. 2 (1-4) (2006)
Olivier Bailleux, Yacine Boufkhad, Olivier Roussel
A Translation of Pseudo Boolean Constraints to SAT. J. Satisf. Boolean Model. Comput. 2 (1-4) (2006)
Olivier Roussel
Another SAT to CSP Conversion. ICTAI (2004)
Yacine Boufkhad, Olivier Roussel
Redundancy in Random SAT Formulas. AAAI/IAAI (2000)
Olivier Roussel, Philippe Mathieu
The Achievement of Knowledge Bases by Cycle Search. Inf. Comput. 162 (1-2) (2000)
Olivier Roussel, Philippe Mathieu
Une compilation logique exacte en calcul des prédicats: le cas de l'achèvement partiel. JFPLC (1997)
Olivier Roussel, Philippe Mathieu
Exact Kanowledge Compilation in Predicate Calculus: The Partial Achievement Case. CADE (1997)
Olivier Roussel, Philippe Mathieu
Une nouvelle méthode de compilation logique: l'achèvement par cycles. JFPLC (1996)
Olivier Roussel, Philippe Mathieu
A New Method for Knowledge Compilation: The Achievement by Cycle Search. CADE (1996)
Olivier Roussel, Philippe Mathieu
Évaluation des méthodes d'achèvement par parties. JFPLC (1995)

Olivier Roussel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Olivier Roussel