Frédéric Boussemart

According to our database, Frédéric Boussemart authored at least 18 papers between 2000 and 2020.

Collaborative distances:

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

2020

XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems.

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

CoRR, 2020

XCSP³ and its ecosystem.

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

Constraints An Int. J., 2020

2017

Combining Nogoods in Restart-Based Search.

Gael Glorian, Frédéric Boussemart, Jean-Marie Lagniez, Christophe Lecoutre, Bertrand Mazure

Proceedings of the Principles and Practice of Constraint Programming, 2017

2016

XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems.

Frédéric Boussemart, Christophe Lecoutre, Cédric Piette

CoRR, 2016

2011

Efficient Constraint Propagation for Graph Coloring.

Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Mouny Samy Modeliar

Electron. Notes Discret. Math., 2011

2007

Random constraint satisfaction: Easy generation of hard (satisfiable) instances.

Ke Xu, Frédéric Boussemart, Fred Hemery, Christophe Lecoutre

Artif. Intell., 2007

2006

Abstraction de réseaux de contraintes.

Sylvain Merchez, Christophe Lecoutre, Frédéric Boussemart

Rev. d'Intelligence Artif., 2006

Extracting MUCs from Constraint Networks.

Fred Hemery, Christophe Lecoutre, Lakhdar Sais, Frédéric Boussemart

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

2005

A Simple Model to Generate Hard Satisfiable Instances.

Ke Xu, Frédéric Boussemart, Fred Hemery, Christophe Lecoutre

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

2004

Backjump-Based Techniques versus Conflict-Directed Heuristics.

Christophe Lecoutre, Frédéric Boussemart, Fred Hemery

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

Boosting Systematic Search by Weighting Constraints.

Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Support Inference for Generic Filtering.

Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais

Proceedings of the Principles and Practice of Constraint Programming, 2004

2003

De AC3 à AC7.

Frédéric Boussemart, Fred Hemery, Christophe Lecoutre

Tech. Sci. Informatiques, 2003

Implicit Random Constraint Satisfaction Problems.

Christophe Lecoutre, Frédéric Boussemart, Fred Hemery

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

Exploiting Multidirectionality in Coarse-Grained Arc Consistency Algorithms.

Christophe Lecoutre, Frédéric Boussemart, Fred Hemery

Proceedings of the Principles and Practice of Constraint Programming, 2003

2002

Solving the cyclic job shop scheduling problem with linear precedence constraints using CP techniques.

Frédéric Boussemart, Guillaume Cavory, Christophe Lecoutre

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Yasmine Hammamet, Tunisia, October 6-9, 2002, 2002

2001

AbsCon: A Prototype to Solve CSPs with Abstraction.

Sylvain Merchez, Christophe Lecoutre, Frédéric Boussemart

Proceedings of the Principles and Practice of Constraint Programming, 2001

2000

A CSP Abstraction Framework.

Christophe Lecoutre, Sylvain Merchez, Frédéric Boussemart, Éric Grégoire

Proceedings of the Abstraction, 2000