Publications

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

2016 Christian Bessiere, Hélène Fargier, Christophe Lecoutre, Computing and restoring global inverse consistency in interactive constraint satisfaction in Artificial Intelligence (AIJ),vol. 241, Elsevier, pp. 153-169, decembre 2016. [Download]

2015 Christophe Lecoutre, Chavalit Likitvivatanavong, Roland Yap, Improving the lower bound of simple tabular reduction in Constraints,vol. 20, n° 1, Springer, pp. 100-108, janvier 2015. [Download]

2015 Christophe Lecoutre, Chavalit Likitvivatanavong, Roland Yap, STR3: A path-optimal filtering algorithm for table constraints in Artificial Intelligence (AIJ),vol. 220, Elsevier, pp. 1-27, mars 2015. [Download]

2011 Christophe Lecoutre, Stéphane Cardon, Julien Vion, Second-Order Consistencies in Journal of Artificial Intelligence Research (JAIR),vol. 40, pp. 175-219, janvier 2011. [Download]

2011 Christian Bessiere, Stéphane Cardon, Romulad Debruyne, Christophe Lecoutre, Efficient Algorithms for Singleton Arc Consistency in Constraints,vol. 16, n° 1, Springer, pp. 25-53, janvier 2011. [Download]

2011 Christophe Lecoutre, STR2: Optimized Simple Tabular Reduction for Table Constraints in Constraints,vol. 16, n° 4, Springer, pp. 341-371, octobre 2011. [Download]

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.

2010 Christophe Lecoutre, Olivier Roussel, M. Van Dongen, Promoting robust black-box solvers through competitions in Constraints,vol. 15, n° 3, Springer, pp. 317-326, juillet 2010. [Download]

2009 Christophe Lecoutre, Lakhdar Saïs, Sébastien Tabary, Vincent Vidal, Reasoning from Last Conflict(s) in Constraint Programming in Artificial Intelligence Journal (AIJ),vol. 173, n° 18, Elsevier, pp. 1592-1614, decembre 2009. [Download]

2008 Christophe Lecoutre, Chavalit Likitvivatanavong, Scott Shannon, Roland Yap, Yuanlin Zhang, Maintaining Arc Consistency with Multiple Residues in Constraint Programming Letters (CPL),vol. 2, pp. 3-19, janvier 2008. [Download]

2008 Christophe Lecoutre, Julien Vion, Enforcing Arc Consistency using Bitwise Operations in Constraint Programming Letters (CPL),vol. 2, pp. 21-35, janvier 2008. [Download]

2007 Christophe Lecoutre, Lakhdar Saïs, Sébastien Tabary, Vincent Vidal, Recording and Minimizing Nogoods from Restarts in Journal on Satisfiability, Boolean Modeling and Computation (JSAT),vol. 1, pp. 147-167, mai 2007. [Download]

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]

2007 Christophe Lecoutre, Lakhdar Saïs, Julien Vion, Using SAT Encodings to derive CSP value ordering heuristics in Journal on Satisfiability, Boolean Modeling and Computation (JSAT),vol. 1, pp. 169-186, mai 2007. [Download]

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

2017 Helene Verhaeghe, Christophe Lecoutre, Pierre Schauss, Extending Compact-Table to Negative and Short Tables in 31th Conference on Artificial Intelligence,AAAI Press, pp. 3951-3957, février 2017. [Download]

2016 Jordan Demeulenaere, Renaud Hartert, Christophe Lecoutre, Guillaume Perez, Laurent Perron, Jean-Charles Régin, Pierre Schauss, Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets in 22th International Conference on Principles and Practice of Constraint Programming (CP’16),Lecture Notes in Computer Science (LNCS), Volume 9892, Springer, pp. 207-223, septembre 2016. [Download]

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]

2015 Steven Gay, Renaud Hartert, Christophe Lecoutre, Pierre Schauss, Conflict Ordering Search for Scheduling Problems in 21th International Conference on Principles and Practice of Constraint Programming (CP’15),Lecture Notes in Computer Science (LNCS), Volume 9255, Springer, pp. 140-148, septembre 2015. [Download]

2015 Jean-Baptiste Mairy, Yves Deville, Christophe Lecoutre, The Smart Table Constraint in 12th International Conference on Integration of Artificial Intelligence and Operations Research (CPAIOR’15),Lecture Notes in Computer Science (LNCS), Volume 9075, Springer, pp. 271-287, mai 2015. [Download]

2014 Nebras Gharbi, Fred Hemery, Christophe Lecoutre, Olivier Roussel, Sliced Table Constraints: Combining Compression and Tabular Reduction in 11th International Conference on Integration of Artificial Intelligence and Operations Research (CPAIOR’14),Lecture Notes in Computer Science (LNCS), Volume 8451, Springer, pp. 120-135, mai 2014. [Download]

2014 Nebras Gharbi, Fred Hemery, Christophe Lecoutre, Olivier Roussel, Constraint Solving using Parallel Singleton Arc Consistency in 1st Workshop on Cloud Computing and Optimization,septembre 2014. [Download]

2014 Jean-Baptiste Mairy, Yves Deville, Christophe Lecoutre, Domain k-Wise Consistency Made as Simple as Generalized Arc Consistency in 11th International Conference on Integration of Artificial Intelligence and Operations Research (CPAIOR’14),Lecture Notes in Computer Science (LNCS), Volume 8451, Springer, pp. 235-250, mai 2014. [Download]

2014 Gilles Audemard, Christophe Lecoutre, Mouny Samy-Modeliar, Gilles Goncalves, Daniel Porumbel, Scoring-based Neighborhood Dominance for the Subgraph isomorphism Problem in 20th International Conference on Principles and Practice of Constraint Programming (CP’14),Lecture Notes in Computer Science (LNCS), Volume 8656, Springer, pp. 125–141, septembre 2014. [Download]

2013 Christophe Lecoutre, Anastasia Paparrizou, Kostas Stergiou, Extending STR to a Higher-Order Consistency in 27th Conference on Artificial Intelligence (AAAI’13),AAAI Press, pp. 576-582, juillet 2013. [Download]

2013 Christian Bessiere, Hélène Fargier, Christophe Lecoutre, Global Inverse Consistency for Interactive Constraint Satisfaction in 19th International Conference on Principles and Practice of Constraint Programming (CP’13),Springer, Lecture Notes in Computer Science (LNCS), vol. 8124, pp. 159-174, septembre 2013. [Download]

2013 Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary, Solving WCSP by Extraction of Minimal Unsatisfiable Cores in 25th International Conference on Tools with Artificial Intelligence (ICTAI’13),pp. 915-92, 2013. [Download]

2013 Vianney le Clement de Saint-Marcq, Pierre Schauss, Christine Solnon, Christophe Lecoutre, Sparse-Sets for Domain Implementation in Techniques foR Implementing Constraint programming Systems (TRICS’13),septembre 2013. [Download]

2012 Christophe Lecoutre, Olivier Roussel, Djamel-Eddine Dehani, WCSP Integration of Soft Neighborhood Substitutability in 18th International Conference on Principles and Practice of Constraint Programming (CP’12),Springer, Lecture Notes in Computer Science (LNCS), vol. 7514, pp. 406-421, octobre 2012. [Download]

2012 Christophe Lecoutre, Chavalit Likitvivatanavong, Roland Yap, A path-optimal GAC algorithm for table constraints in 20th European Conference on Artificial Intelligence (ECAI’12),pp. 510-515, août 2012. [Download]

2012 Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary, Propagating Soft Table Constraints in 18th International Conference on Principles and Practice of Constraint Programming (CP’12),Springer, Lecture Notes in Computer Science (LNCS), vol. 7514, pp. 390-405, octobre 2012. [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]

2011 Jean-François Condotta, Christophe Lecoutre, A Framework for Decision-based Consistencies in 17th International Conference on Principles and Practice of Constraint Programming (CP’11),Springer, Lecture Notes in Computer Science (LNCS), vol. 6876, pp. 172-186, septembre 2011. [Download]

2011 Christophe Lecoutre, Sébastien Tabary, Symmetry-reinforced Nogood Recording from Restarts in 11th International Workshop on Symmetry in Constraint Satisfaction Problems (SymCon’11),pp. 13-27, septembre 2011. (dans le cadre de CP’11) [Download]

2010 Jean-François Condotta, Christophe Lecoutre, A Class of df-consistencies for Qualitative Constraint Networks in 12th International Conference on Principles of Knowledge Representation and Reasoning (KR’10),pp. 319-328, mai 2010. (Parmi les 4 shortlisted for the best paper award sur 211 soumissions) [Download]

2009 Christophe Lecoutre, Sébastien Tabary, Lightweight Detection of Variable Symmetries for Constraint Satisfaction in 21st International Conference on Tools with Artificial Intelligence (ICTAI’09),IEEE Computer Society, pp. 193-197, novembre 2009. [Download]

2009 Christophe Lecoutre, Olivier Roussel, Failed Value Consistencies for Constraint Satisfaction in 15th International Conference on Principles and Practice of Constraint Programming (CP’09),Springer, Lecture Notes in Computer Science (LNCS), vol. 5732, pp. 554-568, septembre 2009. (parmi les 3 Runner-up papiers pour le prix du meilleur papier sur 128 soumissions) [Download]

2008 Christophe Lecoutre, Sébastien Tabary, Abscon 112: towards more robustness in 3rd International Constraint Solver Competition (CSC’08),pp. 41-48, septembre 2008. (dans le cadre de CP’08) [Download]

2008 Hachemi Bennaceur, Christophe Lecoutre, Olivier Roussel, A Decomposition Technique for Solving Max-CSP in 18th European Conference on Artificial Intelligence (ECAI’08),IOS Press, pp. 500-504, juillet 2008. [Download]

2008 Christophe Lecoutre, Optimization of Simple Tabular Reduction for Table Constraints in 14th International Conference on Principles and Practice of Constraint Programming (CP’08),Springer, Lecture Notes in Computer Science (LNCS), vol. 5202, pp. 128-143, septembre 2008. [Download]

2008 Hachemi Bennaceur, Christophe Lecoutre, Olivier Roussel, A decomposition strategy to reduce the search space of solutions of WCSP in 9th Workshop on Preferences and Soft Constraints (Soft’08),pp. 73-87, septembre 2008. (dans le cadre de CP’08)

2008 R Szymanek, Christophe Lecoutre, Constraint-level advice for shaving in 24th International Conference on Logic Programming (ICLP’08),LNCS 5366, Springer, pp. 636-650, decembre 2008. [Download]

2007 Christophe Lecoutre, Lakhdar Saïs, Sébastien Tabary, Vincent Vidal, Transposition Tables for Constraint Satisfaction in 22nd Conference on Artificial Intelligence (AAAI’07),pp. 243-248, juillet 2007. [Download]

2007 Christophe Lecoutre, Stéphane Cardon, Julien Vion, Conservative Dual Consistency in 22nd Conference on Artificial Intelligence (AAAI’07),pp. 237-242, juillet 2007. (Distinguished paper) [Download]

2007 Dominique D’Almeida, Jean-François Condotta, Christophe Lecoutre, Lakhdar Saïs, Relaxation of Qualitative Constraint Networks in 7th Symposium on Abstraction, Reformulation and Approximation (SARA’07),LNCS 4612, Springer, pp. 93-108, juillet 2007. [Download]

2007 Christophe Lecoutre, Stéphane Cardon, Julien Vion, Path Consistency by Dual Consistency in 13th International Conference on Principles and Practice of Constraint Programming (CP’07),LNCS 4741, Springer, pp. 438-452, septembre 2007. [Download]

2007 Christophe Lecoutre, Lakhdar Saïs, Sébastien Tabary, Vincent Vidal, Nogood Recording from Restarts in Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI’2007),pp. 131-136, janvier 2007. [Download]

2007 Christophe Lecoutre, Fred Hemery, A Study of Residual Supports in Arc Consistency in 20th International Joint Conference on Artificial Intelligence (IJCAI’07),pp. 125-130, janvier 2007. [Download]

2007 Christophe Lecoutre, Lakhdar Saïs, Sébastien Tabary, Vincent Vidal, Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance in 13th International Conference on Principles and Practice of Constraint Programming (CP’07),LNCS 4741, Springer, pp. 453-467, septembre 2007. [Download]

2006 Christophe Lecoutre, Sébastien Tabary, Abscon 109: a generic CSP solver in Problème SAT : progrès et défis,pp. 243-267, janvier 2006. (dans le cadre de CP’06) [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]

2006 Jean-François Condotta, Dominique D’Almeida, Christophe Lecoutre, Lakhdar Saïs, From Qualitative to Discrete Constraint Networks in International Workshop on Qualitative Constraint Calculi held with KI’06 (QCC’06),pp. 54-64, juin 2006. [Download]

2006 Christophe Lecoutre, P. Prosser, Maintaining Singleton Arc Consistency in 3rd International Workshop on Constraint Propagation And Implementation held with CP’06 (CPAI’06),pp. 47-61, septembre 2006. [Download]

2006 Christophe Lecoutre, Lakhdar Saïs, Julien Vion, Using SAT Encodings to derive CSP value ordering heuristics in International Workshop on the Integration of SAT and CP techniques held with CP’06 (SATCP’06),pp. 33-47, septembre 2006.

2006 Christophe Lecoutre, R Szymanek, Generalized Arc Consistency for Positive Table Constraints in 12th International Conference on Principles and Practice of Constraint Programming (CP’06),LNCS 4204. Springer, pp. 284-298, septembre 2006. [Download]

2006 Christophe Lecoutre, Lakhdar Saïs, Sébastien Tabary, Vincent Vidal, Last Conflict based Reasoning in Proceedings of the 17th European Conference on Artificial Intelligence (ECAI’2006),pp. 133-137, août 2006. [Download]

2006 Christophe Lecoutre, Fred Hemery, A study of residual supports in arc consistency in 3rd International Workshop on Constraint Propagation And Implementation held with CP’06 (CPAI’06),pp. 31-45, septembre 2006.

2006 Christophe Lecoutre, Lakhdar Saïs, Sébastien Tabary, Vincent Vidal, Nogood Recording from Restarts in International Workshop on the Integration of SAT and CP techniques held with CP’06 (SATCP’06),pp. 97-111, septembre 2006.

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 Christophe Lecoutre, Julien Vion, Bound Consistencies for the discrete CSP in 2nd International Workshop on Constraint Propagation And Implementation held with CP’05 (CPAI’05),pp. 17-31, octobre 2005. [Download]

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]

2005 Christophe Lecoutre, Stéphane Cardon, A greedy approach to establish Singleton Arc Concistency in Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI’05),pp. 199-204, août 2005. [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.

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, 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]

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 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]

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 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.

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.

1992 Christophe Lecoutre, Ph. Devienne, P Lebègue, Determinacy induction by means of an abstract OLDT resolution in First International Workshop on Static Analysis (WSA’92),vol. Bigr, septembre 1992.

1991 Christophe Lecoutre, Ph. Devienne, P Lebègue, Abstract Interpretation and recursive behaviour of logic programs in Logic Program Synthesis and Transformation (LOPSTR’91),Springer, pp. 147-166, juillet 1991.

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)

2016 Jean-Philippe Prost, Rémi Coletta, Christophe Lecoutre, Compilation de grammaire de propriétés pour l’analyse syntaxique par optimisation de contraintes in 23ème Conférence sur le Traitement Automatique des Langues Naturelles (TALN’16),pp. 396-402, juillet 2016. [Download]

2016 Steven Gay, Renaud Hartert, Christophe Lecoutre, Pierre Schauss, Une heuristique de recherche par ordre de conflits pour des problèmes d’ordonnancement in 12èmes Journée Francophone de Programmation par Contraintes (JFPC’16),pp. 225-226, juin 2016. [Download]

2016 Minh Thanh Khong, Christophe Lecoutre, Yves Deville, Pierre Schauss, Réification de contraintes tables in 12èmes Journée Francophone de Programmation par Contraintes (JFPC’16),pp. 45-51, juin 2016. [Download]

2015 Jean-Baptiste Mairy, Yves Deville, Christophe Lecoutre, La contrainte Smart Table in 11èmes Journées Francophones de Programmation par Contraintes (JFPC’15) (JFPC’15),pp. 214-215, juin 2015. [Download]

2014 Jean-Baptiste Mairy, Yves Deville, Christophe Lecoutre, La domaine k-intercoherence aussi simplement que la coherence d’arc in 10èmes Journées Francophones de Programmation par Contraintes (JFPC’14),pp. 333-336, juin 2014. [Download]

2014 Gilles Audemard, Christophe Lecoutre, Mouny Samy-Modeliar, Gilles Goncalves, Daniel Porumbel, Dominance au voisinage pour le probleme d’isomorphisme de sous-graphe in 8èmes Journées Nationales de l’Intelligence Artificielle Fondamentale (IAF’14),juin 2014. [Download]

2014 Nebras Gharbi, Fred Hemery, Christophe Lecoutre, Olivier Roussel, Les contraintes table fragmentées : combiner la compression et la réduction tabulaire in 10èmes Journées Francophones de Programmation par Contraintes (JFPC’14),pp. 133-142, juin 2014. [Download]

2014 Arnaud Malapert, Christophe Lecoutre, A propos de la bibliotheque de modeles XCSP in 10èmes Journées Francophones de Programmation par Contraintes (JFPC’14),pp. 337-340, juin 2014. [Download]

2013 Fred Hemery, Christophe Lecoutre, Olivier Roussel, STR et compression de contraintes tables in 9ièmes Journées Francophones de Programmation par Contraintes (JFPC’13),pp. 143-146, juin 2013. [Download]

2013 Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary, Résolution du problème WCSP par extraction de noyaux insatisfiables minimaux in 9ièmes Journées Francophones de Programmation par Contraintes (JFPC’13),pp. 195-204, juin 2013. [Download]

2013 Djamel-Eddine Dehani, Christophe Lecoutre, Olivier Roussel, Coherences de tuples pour WCSP in 9ièmes Journées Francophones de Programmation par Contraintes (JFPC’13),pp. 105-113, juin 2013. [Download]

2012 Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary, Propagation des contraintes tables souples - étude préliminaire in 8ièmes Journées Francophones de Programmation par Contraintes (JFPC’12),pp. 196-201, mai 2012. [Download]

2012 Christophe Lecoutre, Olivier Roussel, Djamel-Eddine Dehani, Substituabilité au voisinage pour le cadre WCSP in 8ièmes Journées Francophones de Programmation par Contraintes (JFPC’12),pp. 91-100, mai 2012. [Download]

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]

2009 Christophe Lecoutre, Sébastien Tabary, Vincent Vidal, Identification et exploitation d’états partiels in 5ièmes Journées Francophones de Programmation par Contraintes (JFPC’09),pp. 365-374, juin 2009. [Download]

2009 Christophe Lecoutre, Olivier Roussel, Cohérences basées sur les valeurs en échec in 5ièmes Journées Francophones de Programmation par Contraintes (JFPC’09),pp. 355-363, juin 2009. [Download]

2008 Christophe Lecoutre, Sébastien Tabary, Des symétries locales de variables aux symétries globales in 4ièmes Journées Francophones de Programmation par Contraintes (JFPC’08),pp. 181-190, juin 2008. [Download]

2008 Hachemi Bennaceur, Christophe Lecoutre, Olivier Roussel, Une technique de décomposition pour Max-CSP in 4ièmes Journées Francophones de Programmation par Contraintes (JFPC’08),pp. 219-226, juin 2008. [Download]

2007 Christophe Lecoutre, Stéphane Cardon, Julien Vion, Consistance duale conservative in 3èmes Journées Francophones de Programmation par Contraintes (JFPC’07),pp. 1-9, juin 2007. [Download]

2007 Christophe Lecoutre, Lakhdar Saïs, Sébastien Tabary, Vincent Vidal, Tables de transposition pour la satisfaction de contraintes in 3èmes Journées Francophones de Programmation par Contraintes (JFPC’07),pp. 223-230, juin 2007. [Download]

2006 Christophe Lecoutre, Fred Hemery, Une etude des supports residuels pour la consistance d’arc in 2ndes Journées Francophones de Programmation par Contraintes (JFPC’06),pp. 267-276, juin 2006. [Download]

2006 Christophe Lecoutre, Lakhdar Saïs, Sébastien Tabary, Vincent Vidal, Recherche dirigee par le dernier conflit in 2ndes Journées Francophones de Programmation par Contraintes (JFPC’06),pp. 257-266, juin 2006. [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]

2005 Stéphane Cardon, Christophe Lecoutre, Une approche gloutonne pour établir la singleton consistance d’arc in Actes des premières Journées Francophones de Programmation par Contraintes (JFPC’05),pp. 99-108, 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, 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, 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, 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.

1994 Christophe Lecoutre, Une interprétation abstraite en programmation logique avec contraintes in Actes des 3èmes journées Francophones sur la Programmation Logique (JFPL’94),mai 1994.

1993 Christophe Lecoutre, Interprétation abstraite en programmation logique avec contraintes in Actes de journées du GDR Programmation,octobre 1993.

1992 Christophe Lecoutre, Ph. Devienne, P Lebègue, Termination induction by means of an abstract resolution with tabulation in Actes des Journées GROPLAN et GDR Programmation et outils de l’intelligence artificielle,mars 1992.

1992 Christophe Lecoutre, Ph. Devienne, P Lebègue, Termination induction by means of an abstract OLDT resolution in Actes des 1ères Journées Francophones sur la Programmation Logique (JFPL’92),pp. 353-373, mai 1992.

1991 Christophe Lecoutre, Ph. Devienne, P Lebègue, Une analyse du comportement récursif de programmes Prolog par une interprétation abstraite in Actes des Journées de travail sur la programmation équationnelle, fonctionnelle et logique (JTASPEFL),vol. Bigr, pp. 62-69, octobre 1991.

Actes de conférence(s)

2010 Christophe Lecoutre, Actes des Sixièmes Journées Francophones de Programmation par Contraintes juin 2010. (96 pages) [Download]

2008 M. Van Dongen, Christophe Lecoutre, Olivier Roussel, Proceedings of the 3rd International Constraint Solver Competition septembre 2008. (90 pages) [Download]

2006 M. Van Dongen, Christophe Lecoutre, Proceedings of the 3rd International Workshop on Constraint Propagation And Implementation septembre 2006. [Download]

2006 M. Van Dongen, Christophe Lecoutre, Olivier Roussel, Proceedings of the 2nd International Constraint Solver Competition decembre 2006. (96 pages) [Download]

Ouvrage(s)

2009 Christophe Lecoutre, Constraint Networks: Techniques and Algorithms Wiley, 592 pages, juin 2009. (592 pages) [Download]

Chapitre(s) d'ouvrage(s)

2011 Christophe Lecoutre, Backtrack Search Techniques and Heuristics in Encyclopedia of Operations Research and Management Science,J. Cochran (Eds.), Wiley, février 2011. [Download]

2009 Christophe Lecoutre, Sébastien Tabary, Symmetry Breaking chapitre 5, pp. 495-530, Wiley, juin 2009.

2007 M. Van Dongen, Christophe Lecoutre, Constraint Propagation and Implementation in Trends in Constraint Programming,chapitre 4, pp. 83-103, ISTE/Wiley, mai 2007.

Thèse(s) de doctorat

1994 Christophe Lecoutre, Interprétation abstraite en programmation logique avec contraintes Lille, France, février 1994.

Habilitation(s) à Diriger des Recherches

2007 Christophe Lecoutre, Tenter la simplicité en satisfaction de contraintes Université d’Artois, Lens, France, novembre 2007.

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.

2009 Olivier Roussel, Christophe Lecoutre, XML Representation of Constraint Networks: Format XCSP 2.1 CoRR abs/0902.2362, février 2009. [Download]

2006 Christophe Lecoutre, Olivier Roussel, M. Van Dongen, XML Representation of Constraint Networks: Format XCSP 2.0 Lens, France, août 2006. [Download]