Frédéric Boussemart

21 papers A* 1A 6B 2Journal 8Unranked 4
YearRankTypeTitle / Venue / Authors
2020 J jnl
XCSP
Constraints An Int. J.
Gilles Audemard, Frédéric Boussemart, Christophe Lecoutre, Cédric Piette, Olivier Roussel
2020 J jnl
XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems.
CoRR
Frédéric Boussemart, Christophe Lecoutre, Gilles Audemard, Cédric Piette
2017 A conf
Combining Nogoods in Restart-Based Search.
CP
Gael Glorian, Frédéric Boussemart, Jean-Marie Lagniez, Christophe Lecoutre, Bertrand Mazure
2016 J jnl
XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems.
CoRR
Frédéric Boussemart, Christophe Lecoutre, Cédric Piette
2011 J jnl
Efficient Constraint Propagation for Graph Coloring.
Electron. Notes Discret. Math.
Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Mouny Samy Modeliar
2007 J jnl
Random constraint satisfaction: Easy generation of hard (satisfiable) instances.
Artif. Intell.
Ke Xu, Frédéric Boussemart, Fred Hemery, Christophe Lecoutre
2006 J jnl
Abstraction de réseaux de contraintes.
Rev. d'Intelligence Artif.
Sylvain Merchez, Christophe Lecoutre, Frédéric Boussemart
2006 A conf
Extracting MUCs from Constraint Networks.
ECAI
Fred Hemery, Christophe Lecoutre, Lakhdar Sais, Frédéric Boussemart
2005 J jnl
A Simple Model to Generate Hard Satisfiable Instances
CoRR
Ke Xu, Frédéric Boussemart, Fred Hemery, Christophe Lecoutre
2005 A* conf
A Simple Model to Generate Hard Satisfiable Instances.
IJCAI
Ke Xu, Frédéric Boussemart, Fred Hemery, Christophe Lecoutre
2004 B conf
Backjump-Based Techniques versus Conflict-Directed Heuristics.
ICTAI
Christophe Lecoutre, Frédéric Boussemart, Fred Hemery
2004 A conf
Boosting Systematic Search by Weighting Constraints.
ECAI
Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais
2004 A conf
Support Inference for Generic Filtering.
CP
Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais
2003 — conf
De AC3 à AC7.
JFPLC
Christophe Lecoutre, Frédéric Boussemart, Fred Hemery
2003 J jnl
De AC3 à AC7.
Tech. Sci. Informatiques
Frédéric Boussemart, Fred Hemery, Christophe Lecoutre
2003 A conf
Exploiting Multidirectionality in Coarse-Grained Arc Consistency Algorithms.
CP
Christophe Lecoutre, Frédéric Boussemart, Fred Hemery
2003 B conf
Implicit Random Constraint Satisfaction Problems.
ICTAI
Christophe Lecoutre, Frédéric Boussemart, Fred Hemery
2002 — conf
Solving the cyclic job shop scheduling problem with linear precedence constraints using CP techniques.
SMC (2)
Frédéric Boussemart, Guillaume Cavory, Christophe Lecoutre
2001 A conf
AbsCon: A Prototype to Solve CSPs with Abstraction.
CP
Sylvain Merchez, Christophe Lecoutre, Frédéric Boussemart
2000 — conf
A CSP Abstraction Framework.
SARA
Christophe Lecoutre, Sylvain Merchez, Frédéric Boussemart, Éric Grégoire
2000 — conf
A CSP Abstraction Framework.
SARA
Christophe Lecoutre, Sylvain Merchez, Frédéric Boussemart, Éric Grégoire