Olivier Roussel

48 papers A* 1A 7B 4Misc 1Journal 22Unranked 10

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