2012

F. Boussemart, F. Hemery, C. Lecoutre, O. Roussel and S. Tabary.
Optimization du montage de prets immobiliers : modelisation du probleme.
Projet SPI. MITI-CNRS. March 2012.

2011

C. Lecoutre.
STR2: Optimized Simple Tabular Reduction for Table Constraints.
Constraints, Volume 16, Number 4.
Pages 341-371, Springer.
October 2011.
[pdf]

J.-F. Condotta and C. Lecoutre.
A Framework for Decision-based Consistencies.
17th International Conference on Principles and Practice of Constraint Programming (CP'11).
Pages 172-186, LNCS 6876, Springer.
Perugia, Italy. September 2011.
[pdf]

C. Lecoutre and S. Tabary.
Symmetry-reinforced Nogood Recording from Restarts.
11th International Workshop on Symmetry in Constraint Satisfaction Problems (SymCon'11).
Pages 13-27.
Perugia, Italy. September 2011.
[pdf]

F. Boussemart, F. Hemery, C. Lecoutre and M. Samy-modeliar.
Efficient Constraint Propagation for Graph Coloring.
Electronic Notes in Discrete Mathematics (ENDM), Volume 37.
Pages 243-248, Elsevier.
August 2011.

F. Boussemart, F. Hemery, C. Lecoutre and M. Samy-modeliar.
Efficient constraint propagation for graph coloring.
Latin-American Algorithms, Graphs and Optimization Symposium (LAGOS'11).
Pages 422-427.
Bariloche, Argentina. April 2011.
[pdf]

C. Lecoutre.
Backtrack Search Techniques and Heuristics.
Encyclopedia of Operations Research and Management Science.
Wiley.
February 2011.
[link]

C. Bessière, S. Cardon, R. Debruyne and C. Lecoutre.
Efficient Algorithms for Singleton Arc Consistency.
Constraints, Volume 16, Number 1.
Pages 25-53, Springer.
January 2011.
[pdf]

C. Lecoutre, S. Cardon and J. Vion.
Second-Order Consistencies.
Journal of Artificial Intelligence Research (JAIR), Volume 40.
Pages 175-219.
January 2011.
[link]

F. Boussemart, F. Hemery, C. Lecoutre and M. Samy-modeliar.
Contrôle statistique du processus de propagation de contraintes.
7èmes Journées Francophones de Programmation par Contraintes (JFPC'11).
Pages 65-74.
Lyon, France. June 2011.
[pdf]

2010

C. Lecoutre, O. Roussel and M. van Dongen.
Promoting robust black-box solvers through competitions.
Constraints, Volume 15, Number 3.
Pages 317-326, Springer.
July 2010.
[pdf]

J.-F. Condotta and C. Lecoutre.
A Class of df-consistencies for Qualitative Constraint Networks.
12th International Conference on Principles of Knowledge Representation and Reasoning (KR'10).
Pages 319-328.
Toronto, Canada. May 2010.
[pdf]
(Shortlisted for the best paper award)

C. Lecoutre (Editor).
Actes des Sixièmes Journées Francophones de Programmation par Contraintes.
6èmes Journées Francophones de Programmation par Contraintes (JFPC'10).
265 pages, Caen, France. June 2010.
[pdf]

2009

C. Lecoutre, L. Saïs, S. Tabary and V. Vidal.
Reasoning from Last Conflict(s) in Constraint Programming.
Artificial Intelligence Journal (AIJ), Volume 173, Number 18.
Pages 1592-1614, Elsevier.
December 2009.
[pdf]

C. Lecoutre and S. Tabary.
Lightweight Detection of Variable Symmetries for Constraint Satisfaction.
21st IEEE International Conference on Tools with Artificial Intelligence (ICTAI'09).
Pages 193-197.
Newark, New Jersey. November 2009.
[pdf]

C. Lecoutre and O. Roussel.
Failed Value Consistencies for Constraint Satisfaction.
15th International Conference on Principles and Practice of Constraint Programming (CP'09).
Pages 554-568, LNCS 5732, Springer.
Lisbon, Portugal. September 2009.
[pdf]
(Runner-up as best paper)

C. Lecoutre.
Constraint Networks: Techniques and Algorithms.
International Scientific and Technical Encyclopedia (ISTE Ltd) - John Wiley Inc..
592 pages. June 2009.
[link]
(ISBN: 9781848211063)

O. Roussel and C. Lecoutre.
XML Representation of Constraint Networks: Format XCSP 2.1.
CoRR abs/0902.2362. February 2009.
[link]

C. Lecoutre and O. Roussel.
Cohérences basées sur les valeurs en échec.
5èmes Journées Francophones de Programmation par Contraintes (JFPC'09).
Pages 355-363.
Orléans, France. June 2009.
[pdf]

C. Lecoutre, S. Tabary and V. Vidal.
Identification et exploitation d'états partiels.
5èmes Journées Francophones de Programmation par Contraintes (JFPC'09).
Pages 365-374.
Orléans, France. June 2009.
[pdf]

2008

R. Szymanek and C. Lecoutre.
Constraint-level advice for shaving.
24th International Conference on Logic Programming (ICLP'08).
Pages 636-650, LNCS 5366, Springer.
Udine, Italy. December 2008.
[pdf]

C. Lecoutre.
Optimization of Simple Tabular Reduction for Table Constraints.
14th International Conference on Principles and Practice of Constraint Programming (CP'08).
Pages 128-143, LNCS 5202, Springer.
Sydney, Australia. September 2008.
[pdf]

H. Bennaceur, C. Lecoutre and O. Roussel.
A decomposition strategy to reduce the search space of solutions of WCSP.
9th Workshop on Preferences and Soft Constraints (Soft'08).
Pages 73-87.
Sydney, Australia. September 2008.

M. van Dongen, C. Lecoutre and O. Roussel (Editors).
Proceedings of the 3rd International Constraint Solver Competition.
3rd International Constraint Solver Competition (CSC'08).
90 pages. September 2008.
[pdf]

C. Lecoutre and S. Tabary.
Abscon 112: towards more robustness.
3rd International Constraint Solver Competition held with CP'08 (CSC'08).
Pages 41-48.
September 2008.
[pdf]

H. Bennaceur, C. Lecoutre and O. Roussel.
A Decomposition Technique for Solving Max-CSP.
18th European Conference on Artificial Intelligence (ECAI'08).
Pages 500-504, IOS Press.
Patras, Greece. July 2008.
[pdf]

C. Lecoutre and J. Vion.
Enforcing Arc Consistency using Bitwise Operations.
Constraint Programming Letters (CPL), Volume 2.
Pages 21-35.
January 2008.
[pdf]

C. Lecoutre, C. Likitvivatanavong, S. Shannon, R. Yap and Y. Zhang.
Maintaining Arc Consistency with Multiple Residues.
Constraint Programming Letters (CPL), Volume 2.
Pages 3-19.
January 2008.
[pdf]

M. van Dongen, C. Lecoutre and O. Roussel (Editors).
Proceedings of the 2nd International Constraint Solver Competition.
2nd International Constraint Solver Competition (CSC'06).
96 pages. January 2008.
[pdf]

C. Lecoutre and S. Tabary.
Abscon 109: a generic CSP solver.
2nd International Constraint Solver Competition, held with CP'06 (CSC'06).
Pages 55-63.
January 2008.
[pdf]

C. Lecoutre and S. Tabary.
Des symétries locales de variables aux symétries globales.
4èmes Journées Francophones de Programmation par Contraintes (JFPC'08).
Pages 181-190.
Nantes, France. June 2008.
[pdf]

H. Bennaceur, C. Lecoutre and O. Roussel.
Une technique de décomposition pour Max-CSP.
4èmes Journées Francophones de Programmation par Contraintes (JFPC'08).
Pages 219-226.
Nantes, France. June 2008.
[pdf]

2007

C. Lecoutre, L. Saïs, S. Tabary and V. Vidal.
Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance.
13th International Conference on Principles and Practice of Constraint Programming (CP'07).
Pages 453-467, LNCS 4741, Springer.
Providence, Rhode Island. September 2007.
[pdf]

C. Lecoutre, S. Cardon and J. Vion.
Path Consistency by Dual Consistency.
13th International Conference on Principles and Practice of Constraint Programming (CP'07).
Pages 438-452, LNCS 4741, Springer.
Providence, Rhode Island. September 2007.
[pdf]

C. Lecoutre, L. Saïs, S. Tabary and V. Vidal.
Transposition Tables for Constraint Satisfaction.
22nd Conference on Artificial Intelligence (AAAI'07).
Pages 243-248.
Vancouver, Canada. July 2007.
[pdf]

C. Lecoutre, S. Cardon and J. Vion.
Conservative Dual Consistency.
22nd Conference on Artificial Intelligence (AAAI'07).
Pages 237-242.
Vancouver, Canada. July 2007.
[pdf]
(Distinguished paper)

D. D'almeida, J.-F. Condotta, C. Lecoutre and L. Saïs.
Relaxation of Qualitative Constraint Networks.
7th Symposium on Abstraction, Reformulation and Approximation (SARA'07).
Pages 93-108, LNCS 4612, Springer.
Whistler, Canada. July 2007.
[pdf]

K. Xu, F. Boussemart, F. Hemery and C. Lecoutre.
Random constraint satisfaction: easy generation of hard (satisfiable) instances.
Artificial Intelligence Journal (AIJ), Volume 171, Number 8-9.
Pages 514-534, Elsevier.
June 2007.
[pdf]

C. Lecoutre, L. Saïs, S. Tabary and V. Vidal.
Recording and Minimizing Nogoods from Restarts.
Journal on Satisfiability, Boolean Modeling and Computation (JSAT), Volume 1.
Pages 147-167.
May 2007.
[pdf]

C. Lecoutre, L. Saïs and J. Vion.
Using SAT Encodings to derive CSP value ordering heuristics.
Journal on Satisfiability, Boolean Modeling and Computation (JSAT), Volume 1.
Pages 169-186.
May 2007.
[pdf]

M. van Dongen and C. Lecoutre.
Constraint Propagation and Implementation.
Trends in Constraint Programming, Chapter 4.
Pages 83-103, ISTE/Wiley.
May 2007.

C. Lecoutre, L. Saïs, S. Tabary and V. Vidal.
Nogood Recording from Restarts.
20th International Joint Conference on Artificial Intelligence (IJCAI'07).
Pages 131-136.
Hyderabad, India. January 2007.
[pdf]

C. Lecoutre and F. Hemery.
A Study of Residual Supports in Arc Consistency.
20th International Joint Conference on Artificial Intelligence (IJCAI'07).
Pages 125-130.
Hyderabad, India. January 2007.
[pdf]

C. Lecoutre.
Tenter la simplicité en satisfaction de contraintes.
Habilitation à Diriger des Recherches (HDR).
Université d'Artois, Lens, France. November 2007.

C. Lecoutre, L. Saïs, S. Tabary and V. Vidal.
Tables de transposition pour la satisfaction de contraintes.
3èmes Journées Francophones de Programmation par Contraintes (JFPC'07).
Pages 223-230.
Rocquencourt, France. June 2007.
[pdf]

C. Lecoutre, S. Cardon and J. Vion.
Consistance duale conservative.
3èmes Journées Francophones de Programmation par Contraintes (JFPC'07).
Pages 1-9.
Rocquencourt, France. June 2007.
[pdf]

2006

C. Lecoutre and P. Prosser.
Maintaining Singleton Arc Consistency.
3rd International Workshop on Constraint Propagation And Implementation held with CP'06 (CPAI'06).
Pages 47-61.
Nantes, France. September 2006.
[pdf]

C. Lecoutre, L. Saïs and J. Vion.
Using SAT Encodings to derive CSP value ordering heuristics.
International Workshop on the Integration of SAT and CP techniques held with CP'06 (SATCP'06).
Pages 33-47.
Nantes, France. September 2006.

C. Lecoutre and R. Szymanek.
Generalized Arc Consistency for Positive Table Constraints.
12th International Conference on Principles and Practice of Constraint Programming (CP'06).
Pages 284-298, LNCS 4204. Springer.
Nantes, France. September 2006.
[pdf]

M. van Dongen and C. Lecoutre (Editors).
Proceedings of the 3rd International Workshop on Constraint Propagation And Implementation.
3rd International Workshop on Constraint Propagation And Implementation held with CP'06 (CPAI'06).
108 pages, Nantes, France. September 2006.
[pdf]

C. Lecoutre, L. Saïs, S. Tabary and V. Vidal.
Nogood Recording from Restarts.
International Workshop on the Integration of SAT and CP techniques held with CP'06 (SATCP'06).
Pages 97-111.
Nantes, France. September 2006.

C. Lecoutre and F. Hemery.
A study of residual supports in arc consistency.
3rd International Workshop on Constraint Propagation And Implementation held with CP'06 (CPAI'06).
Pages 31-45.
Nantes, France. September 2006.

F. Hemery, C. Lecoutre, L. Saïs and F. Boussemart.
Extracting MUCs from Constraint Networks.
17th European Conference on Artificial Intelligence (ECAI'06).
Pages 113-117.
Trento, Italy. August 2006.
[pdf]

C. Lecoutre, L. Saïs, S. Tabary and V. Vidal.
Last Conflict based Reasoning.
17th European Conference on Artificial Intelligence (ECAI'06).
Pages 133-137.
Trento, Italy. August 2006.
[pdf]

C. Lecoutre, O. Roussel and M. van Dongen.
XML Representation of Constraint Networks: Format XCSP 2.0.
Lens, France. August 2006.
[pdf]

J.-F. Condotta, D. D'almeida, C. Lecoutre and L. Saïs.
From Qualitative to Discrete Constraint Networks.
International Workshop on Qualitative Constraint Calculi held with KI'06 (QCC'06).
Pages 54-64.
Bremen, Germany. June 2006.
[pdf]

F. Hemery, C. Lecoutre, L. Saïs and F. Boussemart.
Extraction de noyaux insatisfiables minimaux de reseaux de contraintes.
2ndes Journées Francophones de Programmation par Contraintes (JFPC'06).
Pages 209-217.
Nimes, France. June 2006.
[pdf]

C. Lecoutre, L. Saïs, S. Tabary and V. Vidal.
Recherche dirigee par le dernier conflit.
2ndes Journées Francophones de Programmation par Contraintes (JFPC'06).
Pages 257-266.
Nimes, France. June 2006.
[pdf]

C. Lecoutre and F. Hemery.
Une etude des supports residuels pour la consistance d'arc.
2ndes Journées Francophones de Programmation par Contraintes (JFPC'06).
Pages 267-276.
Nimes, France. June 2006.
[pdf]

S. Merchez, C. Lecoutre and F. Boussemart.
Abstraction de réseaux de contraintes.
Revue d'intelligence artificielle (RIA), Volume 20, Number 1.
Pages 31-62.
February 2006.
[pdf]

2005

C. Lecoutre and J. Vion.
Bound Consistencies for the discrete CSP.
2nd International Workshop on Constraint Propagation And Implementation held with CP'05 (CPAI'05).
Pages 17-31.
Sitges, Spain. October 2005.
[pdf]

C. Lecoutre, F. Boussemart and F. Hemery.
Abscon 2005.
2nd International Workshop on Constraint Propagation And Implementation held with CP'05 (CPAI'05).
Pages 67-72.
Sitges, Spain. September 2005.

F. Boussemart, F. Hemery and C. Lecoutre.
Description and Representation of the Problems selected for the first International Constraint Satisfaction Solver Competition.
2nd International Workshop on Constraint Propagation And Implementation held with CP'05 (CPAI'05).
Pages 7-26.
Sitges, Spain. September 2005.

K. Xu, F. Boussemart, F. Hemery and C. Lecoutre.
A simple model to generate hard satisfiable instances.
19th International Joint Conference on Artificial Intelligence (IJCAI'05).
Pages 337-342.
Edinburgh, Scotland. August 2005.
[pdf]

C. Lecoutre and S. Cardon.
A greedy approach to establish Singleton Arc Concistency.
19th International Joint Conference on Artificial Intelligence (IJCAI'05).
Pages 199-204.
Edinburgh, Scotland. August 2005.
[pdf]

S. Cardon and C. Lecoutre.
Une approche gloutonne pour établir la singleton consistance d'arc.
Premières Journées Francophones de Programmation par Contraintes (JFPC'05).
Pages 99-108.
Lens, France. June 2005.
[pdf]

F. Boussemart, F. Hemery, C. Lecoutre and L. Saïs.
Inférence de supports pour les algorithmes de filtrage générique.
Premières Journées Francophones de Programmation par Contraintes (JFPC'05).
Pages 89-98.
Lens, France. June 2005.
[pdf]

2004

C. Lecoutre, F. Boussemart and F. Hemery.
Backjump-based techniques versus conflict-directed heuristics.
16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'04).
Pages 549-557.
Boca Raton, Florida. November 2004.
[pdf]

F. Boussemart, F. Hemery and C. Lecoutre.
Revision ordering heuristics for the Constraint Satisfaction Problem.
1st International Workshop on Constraint Propagation and Implementation held with CP'04 (CPAI'04).
Pages 9-43.
Toronto, Canada. September 2004.
[pdf]

F. Boussemart, F. Hemery, C. Lecoutre and L. Saïs.
Support inference for generic filtering.
10th International Conference on Principles and practice of Constraint Programming (CP'04).
Pages 721-725, LNCS 3258, Springer.
Toronto, Canada. September 2004.
[pdf]

F. Boussemart, F. Hemery, C. Lecoutre and L. Saïs.
Boosting systematic search by weighting constraints.
16th European Conference on Artificial Intelligence (ECAI'04).
Pages 146-150.
Valencia, Spain. August 2004.
[pdf]

C. Lecoutre, F. Boussemart and F. Hemery.
Techniques de retour-arrière intelligent versus heuristiques dirigées par les conflits.
10èmes Journées Nationales sur la résolution pratique des Problèmes NP-Complets (JNPC'04).
Pages 235-250.
Angers, France. June 2004.
[pdf]

F. Boussemart, F. Hemery, C. Lecoutre and L. Saïs.
Heuristiques de choix de variables dirigées par les conflits.
10èmes Journées Nationales sur la résolution pratique des Problèmes NP-Complets (JNPC'04).
Pages 91-105.
Angers, France. June 2004.
[pdf]

2003

C. Lecoutre, F. Boussemart and F. Hemery.
Implicit random CSPs.
15th IEEE International Conference on Tools with Arificial Intelligence (ICTAI'03).
Pages 482-486.
Sacramento, California. November 2003.
[pdf]

C. Lecoutre, F. Boussemart and F. Hemery.
Exploiting multidirectionality in coarse-grained arc-concistency algorithms.
9th International Conference on Principles and Practice of Constraint Programming (CP'03), Volume 2833.
Pages 480-494, LNCS 2833, Springer.
Cork, Ireland. October 2003.
[pdf]

C. Lecoutre, F. Boussemart and F. Hemery.
Au coeur de la consistance d'arc.
9èmes Journées Nationales sur la résolution pratique de Problèmes NP-Complets (JNPC'03).
Pages 233-247.
Amiens, France. June 2003.
[pdf]

C. Lecoutre, F. Boussemart and F. Hemery.
De AC3 à AC7.
12èmes Journées Francophones de Programmation Logique avec Contraintes (JFPLC'03).
Pages 267-280, Hermès.
Amiens, France. June 2003.
[pdf]

C. Lecoutre, F. Boussemart and F. Hemery.
Problèmes de satisfaction de contraintes aléatoires en intention.
9èmes Journées Nationales sur la résolution pratique des Problèmes NP-Complets (JNPC'03).
Pages 249-262.
Amiens, France. June 2003.
[pdf]

2002

F. Boussemart, G. Cavory and C. Lecoutre.
Solving the cyclic job shop scheduling problem with linear precedence constraints using CP techniques.
IEEE International Conference on Systems, Man and Cybernetics (SMC'02).
Hammamet, Tunisia. October 2002.

2001

S. Merchez, C. Lecoutre and F. Boussemart.
AbsCon: a prototype to solve CSPs with abstraction.
7th International Conference on Principles and Practice of Constraint Programming (CP'01).
Pages 730-744, LNCS 2239, Springer.
Paphos, Cyprus. November 2001.
[pdf]

S. Merchez, C. Lecoutre and F. Boussemart.
Abstraction de CSPs par regroupement général.
7èmes Journées Nationales sur la résolution pratique des problèmes NP-complets (JNPC'01).
Pages 197-208.
Toulouse, France. June 2001.

2000

C. Lecoutre, S. Merchez, F. Boussemart and E. Grégoire.
A CSP abstraction framework.
4th International Symposium on Abstraction, Reformulation and Approximation (SARA'00).
Pages 164-184, LNCS 1864, Springer.
Horeshoe Bay, Texas. July 2000.
[pdf]

C. Lecoutre, S. Merchez, F. Boussemart and E. Grégoire.
Un cadre d'abstraction appliqué aux problèmes de satisfaction de contraintes.
12èmes Congrès Francophone sur la Reconnaissance des Formes et l'Intelligence Artificielle (RFIA'00), Volume 3.
Pages 429-438.
Paris, France. February 2000.

1999

F. Boussemart, C. Lecoutre, S. Merchez and E. Grégoire.
Fuzzy Hierarchies.
International Workshop on Modelling and Solving Soft Constraint Problems, held with CP'09 (Soft'99).
Alexandria, Virginia. October 1999.

O. Blanpain, S. Merchez, C. Lecoutre and F. Boussemart.
Comparison of interpolation methods to approximate the profile of urban drainage networks.
8th International Conference on Urban Storm Drainage (ICUSD'99).
Pages 502-509.
Sydney, Australia. August 1999.

1998

F. Boussemart, C. Lecoutre, S. Merchez and O. Blanpain.
Détermination du profil de réseaux d'assainissement: Une méthode déclarative basée sur une hiérarchie floue.
1st International Conference on New Information Technologies for Decision Making in Civil Engineering (NTIC'98).
Pages 1083-1094.
Montréal, Canada. October 1998.

F. Boussemart, C. Lecoutre, S. Merchez and E. Grégoire.
A flexible approach to determine the profile of urban drainage networks.
6th European Congress on Intelligent Techniques and Soft Computing (EUFIT'98).
Pages 550-554.
Aix-la-Chapelle, Germany. September 1998.

O. Blanpain, F. Boussemart, C. Lecoutre and S. Merchez.
Genetic algorithms to determine the profile of urban drainage networks from incomplete data.
3rd International Conference on Hydroinformatics (Hydroinformatics'98).
Pages 857-864.
Copenhagen, Denmark. August 1998.

F. Boussemart, E. Grégoire, C. Lecoutre and S. Merchez.
Une approche souple pour résoudre des problèmes réels. Application au calcul du profil de réseaux d'assainissement.
4èmes Journées Nationales sur la résolution pratique des Problèmes NP-Complets (JNPC'98).
Pages 121-127.
Nantes, France. May 1998.