Olivier Roussel

According to our database, Olivier Roussel authored at least 44 papers between 1995 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Compressing UNSAT CDCL Trees with Caching.

Anthony Blomme, Daniel Le Berre, Anne Parrain, Olivier Roussel

Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024

2023

Compressing UNSAT Search Trees with Caching.

Anthony Blomme, Daniel Le Berre, Anne Parrain, Olivier Roussel

Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

2022

MoCaNA, un agent de négociation automatique utilisant la recherche arborescente de Monte-Carlo.

Cédric L. R. Buron, Zahia Guessoum, Sylvain Ductor, Olivier Roussel

ROIA, 2022

Identifying Soft Cores in Propositional Formulæ.

Gilles Audemard, Jean-Marie Lagniez, Marie Miceli, Olivier Roussel

Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022

2021

Pseudo-Boolean and Cardinality Constraints.

Olivier Roussel, Vasco M. Manquinho

Proceedings of the Handbook of Satisfiability - Second Edition, 2021

2020

Motion Planning for an Elastic Rod Using Contacts.

Olivier Roussel, Pierre Fernbach, Michel Taïx

IEEE Trans Autom. Sci. Eng., 2020

XCSP³ and its ecosystem.

Gilles Audemard, Frédéric Boussemart, Christophe Lecoutre, Cédric Piette, Olivier Roussel

Constraints An Int. J., 2020

2019

Parallel multi-core and multi-processor methods on point-value multiresolution algorithms for hyperbolic conservation laws.

V. Soni, Abdellah Hadjadj, Olivier Roussel, G. Moebs

J. Parallel Distributed Comput., 2019

Proceedings of the 2018 XCSP3 Competition.

Christophe Lecoutre, Olivier Roussel

CoRR, 2019

2018

Motion planning in Irreducible Path Spaces.

Andreas Orthey, Olivier Roussel, Olivier Stasse, Michel Taïx

Robotics Auton. Syst., 2018

MoCaNA, un agent de n{é}gociation automatique utilisant la recherche arborescente de Monte-Carlo.

Cédric L. R. Buron, Zahia Guessoum, Sylvain Ductor, Olivier Roussel

CoRR, 2018

2017

On the accuracy and efficiency of point-value multiresolution algorithms for solving scalar wave and Euler equations.

V. Soni, Olivier Roussel, Abdellah Hadjadj

J. Comput. Appl. Math., 2017

2015

Planification de mouvement pour tiges élastiques. (Motion planning for elastic rods ).

Olivier Roussel

PhD thesis, 2015

Manipulation planning with contacts for an extensible elastic rod by sampling on the submanifold of static equilibrium configurations.

Olivier Roussel, Andy Borum, Michel Taïx, Timothy Bretl

Proceedings of the IEEE International Conference on Robotics and Automation, 2015

2014

Sliced Table Constraints: Combining Compression and Tabular Reduction.

Nebras Gharbi, Fred Hemery, Christophe Lecoutre, Olivier Roussel

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2014

Efficient motion planning for quasi-static elastic rods using geometry neighborhood approximation.

Olivier Roussel, Michel Taïx, Timothy Bretl

Proceedings of the IEEE/ASME International Conference on Advanced Intelligent Mechatronics, 2014

2013

Robust and Scalable Navmesh Generation.

Guillaume Saupin, Olivier Roussel, Jérémie Le Garrec

Proceedings of the 21st International Conference in Central Europe on Computer Graphics, 2013

Solving WCSP by Extraction of Minimal Unsatisfiable Cores.

Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

2012

Boys-and-girls Birthdays and Hadamard Products.

Olivier Bodini, Danièle Gardy, Olivier Roussel

Fundam. Informaticae, 2012

Boltzmann samplers for first-order differential specifications.

Olivier Bodini, Olivier Roussel, Michèle Soria

Discret. Appl. Math., 2012

The International SAT Solver Competitions.

Matti Järvisalo, Daniel Le Berre, Olivier Roussel, Laurent Simon

AI Mag., 2012

WCSP Integration of Soft Neighborhood Substitutability.

Christophe Lecoutre, Olivier Roussel, Djamel E. Dehani

Proceedings of the Principles and Practice of Constraint Programming, 2012

Propagating Soft Table Constraints.

Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary

Proceedings of the Principles and Practice of Constraint Programming, 2012

Behind the Scene of Solvers Competitions: the "evaluation" Experience.

Olivier Roussel

Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, 2012

2011

Controlling a Solver Execution with the runsolver Tool.

Olivier Roussel

J. Satisf. Boolean Model. Comput., 2011

2010

Coherent Vortex Simulation of weakly compressible turbulent mixing layers using adaptive multiresolution methods.

Olivier Roussel, Kai Schneider

J. Comput. Phys., 2010

Promoting robust black-box solvers through competitions.

Christophe Lecoutre, Olivier Roussel, Marc R. C. van Dongen

Constraints An Int. J., 2010

2009

Pseudo-Boolean and Cardinality Constraints.

Olivier Roussel, Vasco M. Manquinho

Proceedings of the Handbook of Satisfiability, 2009

Boltzmann sampling of ordered structures.

Olivier Roussel, Michèle Soria

Electron. Notes Discret. Math., 2009

XML Representation of Constraint Networks: Format XCSP 2.1

Olivier Roussel, Christophe Lecoutre

CoRR, 2009

New Encodings of Pseudo-Boolean Constraints into CNF.

Olivier Bailleux, Yacine Boufkhad, Olivier Roussel

Proceedings of the Theory and Applications of Satisfiability Testing, 2009

Failed Value Consistencies for Constraint Satisfaction.

Christophe Lecoutre, Olivier Roussel

Proceedings of the Principles and Practice of Constraint Programming, 2009

2008

An adaptive multiresolution scheme with local time stepping for evolutionary PDEs.

Margarete O. Domingues, Sônia M. Gomes, Olivier Roussel, Kai Schneider

J. Comput. Phys., 2008

A Decomposition Technique for Max-CSP.

Hachemi Bennaceur, Christophe Lecoutre, Olivier Roussel

Proceedings of the ECAI 2008, 2008

2006

The First Evaluation of Pseudo-Boolean Solvers (PB'05).

Vasco M. Manquinho, Olivier Roussel

J. Satisf. Boolean Model. Comput., 2006

A Translation of Pseudo Boolean Constraints to SAT.

Olivier Bailleux, Yacine Boufkhad, Olivier Roussel

J. Satisf. Boolean Model. Comput., 2006

2004

Another SAT to CSP Conversion.

Olivier Roussel

Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004

2000

The Achievement of Knowledge Bases by Cycle Search.

Olivier Roussel, Philippe Mathieu

Inf. Comput., 2000

Redundancy in Random SAT Formulas.

Yacine Boufkhad, Olivier Roussel

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1997

Une compilation logique exacte en calcul des prédicats: le cas de l'achèvement partiel.

Olivier Roussel, Philippe Mathieu

Proceedings of the JFPLC'97, 1997

Exact Kanowledge Compilation in Predicate Calculus: The Partial Achievement Case.

Olivier Roussel, Philippe Mathieu

Proceedings of the Automated Deduction, 1997

1996

Une nouvelle méthode de compilation logique: l'achèvement par cycles.

Olivier Roussel, Philippe Mathieu

Proceedings of the JFPLC'96, 1996

A New Method for Knowledge Compilation: The Achievement by Cycle Search.

Olivier Roussel, Philippe Mathieu

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1995

Évaluation des méthodes d'achèvement par parties.

Olivier Roussel, Philippe Mathieu

Proceedings of the JFPLC'95, 1995