Publications

Articles de revues internationales

2020 Contraintes Gilles Audemard, Frédéric Boussemart, Christophe Lecoutre, Cédric Piette, Olivier Roussel, XCSP3 and its ecosystem in Constraints Journal (Constraints),pp. 1-23, 2020.

2011 Frederic Boussemart, Fred Hemery, Christophe Lecoutre, Mouny Samy-Modeliar, Efficient Constraint Propagation for Graph Coloring in Electronic Notes in Discrete Mathematics,vol. 37, pp. 243-248, 2011.

2007 K. Xu, Frederic Boussemart, Fred Hemery, Christophe Lecoutre, Random constraint satisfaction: easy generation of hard (satisfiable) instances in Artificial Intelligence,vol. 171, n° 8-9, pp. 514-534, 2007.

Articles de conférences internationales

2005 Christophe Lecoutre, Frederic Boussemart, Fred Hemery, Abscon 2005 in 2nd International Workshop on Constraint Propagation And Implementation(CPAI'05),pp. 67-72, 2005.

2005 K. Xu, Frederic Boussemart, Fred Hemery, Christophe Lecoutre, A simple model to generate hard satisfiable instances in 19th International Joint Conference on Artificial Intelligence(IJCAI'05),pp. 337-342, 2005.

2004 Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Revision ordering heuristics for the Constraint Satisfaction Problem in 1st International Workshop on Constraint Propagation and Implementation,pp. 9-43, 2004.

1999 Frédéric Boussemart, Christophe Lecoutre, Sylvain Merchez, Éric Grégoire, Fuzzy Hierarchies in International Workshop on Modelling and Solving Soft Constraint Problems, held with CP'09 (Soft'99),1999.

Articles de revues nationales

2006 S. Merchez, Christophe Lecoutre, Frederic Boussemart, Abstraction de réseaux de contraintes in Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle,pp. 31-62, 2006.

Articles de conférences nationales

2017 Gael Glorian, Frédéric Boussemart, Jean-Marie Lagniez, Christophe Lecoutre, Bertrand Mazure, Combinaison de nogoods extraits au redémarrage in 13è Journées Francophone de Programmation par Contraintes (JFPC'17),pp. 55--64, 2017.

2011 Frederic Boussemart, Fred Hemery, Christophe Lecoutre, Mouny Samy-Modeliar, Contrôle statistique du processus de propagation de contraintes in 7ièmes Journées Francophones de Programmation par Contraintes (JFPC'11),pp. 65-74, 2011.

2006 Fred Hemery, Christophe Lecoutre, Lahkdar Sais, Frederic Boussemart, Extracting MUCs from Constraint Networks ECAI'2006, pp. 113-117, 2006.

2006 Fred Hemery, Christophe Lecoutre, Lakhdar Sais, Frédéric Boussemart, Extraction de noyaux insatisfiables minimaux de réseaux de contraintes in Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06),2006.

2005 Frederic Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais, Inférence de supports pour les algorithmes de filtrage générique in Premières Journées Francophones de Programmation par Contraintes,Université d'Artois, pp. 89-98, 2005.

2005 Frederic Boussemart, Fred Hemery, Christophe Lecoutre, Description and Representation of the Problems selected for the first International Constraint Satisfaction Solver Competition CPAI'2005, pp. 7-26, 2005.

2004 Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Saïs, Heuristiques de choix de variables dirigées par les conflits in 10èmes Journées Nationales sur la résolution pratique des Problèmes NP-Complets (JNPC'04),pp. 91-105, 2004.

2004 Christophe Lecoutre, Frédéric Boussemart, Fred Hemery, Techniques de retour-arrière intelligent versus heuristiques dirigées par les conflits in 10èmes Journées Nationales sur la résolution pratique des Problèmes NP-Complets (JNPC'04),pp. 235-250, 2004.

2003 Christophe Lecoutre, Frédéric Boussemart, Fred Hemery, De AC3 à AC7 in 12èmes Journées Francophones de Programmation Logique avec Contraintes (JFPLC'03),Hermès, pp. 267-280, 2003.

2003 Christophe Lecoutre, Frédéric Boussemart, Fred Hemery, Problèmes de satisfaction de contraintes aléatoires en intention in 9èmes Journées Nationales sur la résolution pratique des problèmes NP-complets (JNPC'03),pp. 249-262, 2003.

2003 Christophe Lecoutre, Frédéric Boussemart, Fred Hemery, Au coeur de la consistance d'arc in 9èmes Journées Nationales sur la résolution pratique des problèmes NP-complets (JNPC'03),pp. 233-247, 2003.

2001 Sylvain Merchez, Christophe Lecoutre, Frédéric Boussemart, Abstraction de CSPs par regroupement général in 7èmes Journées Nationales sur la résolution pratique des problèmes NP-complets (JNPC'01),pp. 197-208, 2001.

2000 Christophe Lecoutre, Sylvain Merchez, Frédéric Boussemart, Éric Grégoire, Un cadre d'abstraction appliqué aux problèmes de satisfaction de contraintes in Actes du Douzième Congrès Francophone AFRIF-AFIA sur la Reconnaissance des Formes et l'Intelligence Artificielle (RFIA-2000),vol. 3, pp. 429-438, 2000.

1998 Frédéric Boussemart, Éric Grégoire, Christophe Lecoutre, Sylvain Merchez, Une approche souple pour résoudre des problèmes réels. Application au calcul du profil de réseaux d'assainissement in 4èmes Journées Nationales sur la résolution pratique des problèmes NP-complets (JNPC'98),pp. 121-127, 1998.

Rapports techniques

2021 Frederic Boussemart, Christophe Lecoutre, Gilles Audemard, Cédric Piette, XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems 2021.

2021 Frédéric Boussemart, Christophe Lecoutre, Gilles Audemard, Cédric Piette, XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems 2021.

2012 Frederic Boussemart, Fred Hemery, Christophe Lecoutre, Olivier Roussel, Sébastien Tabary, Optimisation du montage de prêts immobiliers : modélisation du problème 2012.