Publications

Article(s) de revue(s) internationale(s)

2011 Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Mouny Samy-Modeliar, Efficient Constraint Propagation for Graph Coloring in Electronic Notes in Discrete Mathematics (ENDM),vol. 37, Elsevier, pp. 243-248, août 2011.

2007 K. Xu, Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Random constraint satisfaction: easy generation of hard (satisfiable) instances in Artificial Intelligence (AIJ),vol. 171, n° 8-9, Elsevier, pp. 514-534, juin 2007. [Download]

Article(s) de conférence(s) internationale(s)

2015 Frédéric Boussemart, Christophe Lecoutre, Arnaud Malapert, Cédric Piette, About Benchmarking and Competitions of Solvers in Constraint Programming in 4th Workshop on The International Planning Competition (WIPC’15),pp. 1-5, juin 2015. [Download]

2011 Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Mouny Samy-Modeliar, Efficient constraint propagation for graph coloring in Latin-American Algorithms, Graphs and Optimization Symposium (LAGOS’11),pp. 422-427, avril 2011. [Download]

2006 Fred Hemery, Christophe Lecoutre, Lakhdar Saïs, Frédéric Boussemart, Extracting MUCs from Constraint Networks in 17th European Conference on Artificial Intelligence (ECAI’06),pp. 113-117, août 2006. [Download]

2005 Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Description and Representation of the Problems selected for the first International Constraint Satisfaction Solver Competition in Proceedings of the 2nd International Workshop on Constraint Propagation And Implementation (CPAI’2005) held with CP’2005,pp. 7-26, septembre 2005.

2005 Christophe Lecoutre, Frédéric Boussemart, Fred Hemery, Abscon 2005 in 2nd International Workshop on Constraint Propagation And Implementation held with CP’05 (CPAI’05),pp. 67-72, septembre 2005.

2005 K. Xu, Frédéric 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, août 2005. [Download]

2004 Christophe Lecoutre, Frédéric Boussemart, Fred Hemery, Backjump-based techniques versus conflict-directed heuristics in 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI’04),pp. 549-557, novembre 2004. [Download]

2004 Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Saïs, Support inference for generic filtering in 10th International Conference on Principles and practice of Constraint Programming (CP’04),LNCS 3258, Springer, pp. 721-725, septembre 2004. [Download]

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, septembre 2004. [Download]

2004 Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Saïs, Boosting systematic search by weighting constraints in 16th European Conference on Artificial Intelligence (ECAI’04),pp. 146-150, août 2004. [Download]

2003 Christophe Lecoutre, Frédéric Boussemart, Fred Hemery, Exploiting multidirectionality in coarse-grained arc-concistency algorithms in 9th International Conference on Principles and Practice of Constraint Programming (CP’03),LNCS 2833, Springer, vol. 2833, pp. 480-494, octobre 2003. [Download]

2003 Christophe Lecoutre, Frédéric Boussemart, Fred Hemery, Implicit random CSPs in 15th IEEE International Conference on Tools with Arificial Intelligence (ICTAI’03),pp. 482-486, novembre 2003. [Download]

2002 Frédéric Boussemart, G. Cavory, Christophe Lecoutre, Solving the cyclic job shop scheduling problem with linear precedence constraints using CP techniques in Proceeding of the 2002 IEEE International Conference on Systems, Man and Cybernetics,octobre 2002.

2001 Sylvain Merchez, Christophe Lecoutre, Frédéric Boussemart, AbsCon: a prototype to solve CSPs with abstraction in 7th International Conference on Principles and Practice of Constraint Programming (CP’01),LNCS 2239, Springer, pp. 730-744, novembre 2001. [Download]

2000 Christophe Lecoutre, Sylvain Merchez, Frédéric Boussemart, Éric Grégoire, A CSP abstraction framework in 4th International Symposium on Abstraction, Reformulation and Approximation (SARA’00),LNCS 1864, Springer, pp. 164-184, juillet 2000. [Download]

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),octobre 1999.

1999 O. Blanpain, Sylvain Merchez, Christophe Lecoutre, Frédéric Boussemart, Comparison of interpolation methods to approximate the profile of urban drainage networks in 8th International Conference on Urban Storm Drainage (ICUSD’99),pp. 502-509, août 1999.

1998 Frédéric Boussemart, Christophe Lecoutre, Sylvain Merchez, Éric Grégoire, A flexible approach to determine the profile of urban drainage networks in 6th European Congress on Intelligent Techniques and Soft Computing (EUFIT’98),pp. 550-554, septembre 1998.

1998 Frédéric Boussemart, Christophe Lecoutre, Sylvain Merchez, O. Blanpain, Détermination du profil de réseaux d’assainissement: Une méthode déclarative basée sur une hiérarchie floue in 1st International Conference on New Information Technologies for Decision Making in Civil Engineering (NTIC’98),pp. 1083-1094, octobre 1998.

1998 O. Blanpain, Frédéric Boussemart, Christophe Lecoutre, Sylvain Merchez, Genetic algorithms to determine the profile of urban drainage networks from incomplete data in 3rd International Conference on Hydroinformatics (Hydroinformatics’98),pp. 857-864, août 1998.

Article(s) de revue(s) nationale(s)

2006 Sylvain Merchez, Christophe Lecoutre, Frédéric Boussemart, Abstraction de réseaux de contraintes in Revue d’intelligence artificielle (RIA),vol. 20, n° 1, pp. 31-62, février 2006. [Download]

Article(s) de conférence(s) nationale(s)

2011 Frédéric 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, juin 2011. [Download]

2006 Fred Hemery, Christophe Lecoutre, Lakhdar Saïs, Frédéric Boussemart, Extraction de noyaux insatisfiables minimaux de reseaux de contraintes in 2ndes Journées Francophones de Programmation par Contraintes (JFPC’06),pp. 209-217, juin 2006. [Download]

2005 Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Saïs, Inférence de supports pour les algorithmes de filtrage générique in 1ères Journées Francophones de Programmation par Contraintes (JFPC’05),pp. 89-98, juin 2005. [Download]

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, juin 2004. [Download]

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, juin 2004. [Download]

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, juin 2003. [Download]

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, juin 2003. [Download]

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, juin 2003. [Download]

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, juin 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, février 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, mai 1998.

Rapport(s) technique(s)

2016 Frédéric Boussemart, Christophe Lecoutre, Cédric Piette, XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems Cornell University Library, novembre 2016. [Download]

2012 Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Olivier Roussel, Sébastien Tabary, Optimization du montage de prets immobiliers : modelisation du probleme Projet SPI. MITI-CNRS, mars 2012.