Partenaires

CNRS
Université d'Artois IUT de Lens



retour à l'accueil

Accueil du site > Annuaire > Annuaire

Annuaire

Christophe Lecoutre

Professeur des Universités

Axe(s) de recherche

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

Lecoutre Christophe,
STR2: Optimized Simple Tabular Reduction for Table Constraints,
dans Constraints, vol. 16, n° 4, Springer, pp. 341-371, octobre 2011. [Télécharger] [BibTeX...]

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

Bessière C., Cardon Stéphane, Debruyne Romulad, Lecoutre Christophe,
Efficient Algorithms for Singleton Arc Consistency,
dans Constraints, vol. 16, n° 1, Springer, pp. 25-53, janvier 2011. [Télécharger] [BibTeX...]

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

Lecoutre Christophe, Roussel Olivier, Van Dongen M.,
Promoting robust black-box solvers through competitions,
dans Constraints, vol. 15, n° 3, Springer, pp. 317-326, juillet 2010. [Télécharger] [BibTeX...]

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

Lecoutre Christophe, Vion Julien,
Enforcing Arc Consistency using Bitwise Operations,
dans Constraint Programming Letters (CPL), vol. 2, pp. 21-35, janvier 2008. [Télécharger] [BibTeX...]

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

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

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

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

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

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

Communication(s) dans des conférences d'audience internationale avec publication des actes

Audemard Gilles, Lecoutre Christophe, Samy-Modeliar Mouny, Goncalves Gilles, Porumbel Daniel,
Scoring-based Neighborhood Dominance for the Subgraph Isomorphism Problem,
dans 20th International Conference on Principles and Practice of Constraint Programming (CP'14), Lecture Notes in Computer Science (LNCS), Volume 8656, Springer, septembre 2014. [Télécharger] [BibTeX...]

Audemard Gilles, Lecoutre Christophe, Samy-Modeliar Mouny, Goncalves Gilles, Porumbel Daniel,
Scoring-based Neighborhood Dominance for the Subgraph isomorphism Problem,
dans 20th International Conference on Principles and Practice of Constraint Programming (CP'14), pp. 125--141, septembre 2014. [Télécharger] [BibTeX...]

Mairy Jean-Baptiste, Deville Yves, Lecoutre Christophe,
Domain k-Wise Consistency Made as Simple as Generalized Arc Consistency,
dans 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. [Télécharger] [BibTeX...]

Gharbi Nebras, Hemery Fred, Lecoutre Christophe, Roussel Olivier,
Sliced Table Constraints: Combining Compression and Tabular Reduction,
dans 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. [Télécharger] [BibTeX...]

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

Lecoutre Christophe, Paparrizou Anastasia, Stergiou Kostas,
Extending STR to a Higher-Order Consistency,
dans 27th Conference on Artificial Intelligence (AAAI'13) , AAI Press, pp. 576-582, juillet 2013. [Télécharger] [BibTeX...]

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

Lecoutre Christophe, Roussel Olivier, Dehani Djamel-Eddine,
WCSP Integration of Soft Neighborhood Substitutability,
dans 18th International Conference on Principles and Practice of Constraint Programming (CP'12), Springer, Lecture Notes in Computer Science (LNCS) n° 7514, pp. 406-421, octobre 2012. [Télécharger] [BibTeX...]

Lecoutre Christophe, Paris Nicolas, Roussel Olivier, Tabary Sébastien,
Propagating Soft Table Constraints,
dans 18th International Conference on Principles and Practice of Constraint Programming (CP'12), Springer, Lecture Notes in Computer Science (LNCS) n° 7514, pp. 390-405, octobre 2012. [Télécharger] [BibTeX...]

Lecoutre Christophe, Likitvivatanavong Chavalit, Yap Roland,
A path-optimal GAC algorithm for table constraints,
dans 20th European Conference on Artificial Intelligence (ECAI'12), pp. 510-515, août 2012. [Télécharger] [BibTeX...]

Condotta Jean-François, Lecoutre Christophe,
A Framework for Decision-based Consistencies,
dans 17th International Conference on Principles and Practice of Constraint Programming (CP'11), Springer, Lecture Notes in Computer Science (LNCS) n° 6876, pp. 172-186, septembre 2011. [Télécharger] [BibTeX...]

Condotta Jean-François, Lecoutre Christophe,
A Class of df-consistencies for Qualitative Constraint Networks ,
dans 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) [Télécharger] [BibTeX...]

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

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

Szymanek R, Lecoutre Christophe,
Constraint-level advice for shaving,
dans 24th International Conference on Logic Programming (ICLP'08), LNCS 5366, Springer, pp. 636-650, décembre 2008. [Télécharger] [BibTeX...]

Lecoutre Christophe,
Optimization of Simple Tabular Reduction for Table Constraints,
dans 14th International Conference on Principles and Practice of Constraint Programming (CP'08), Springer, Lecture Notes in Computer Science (LNCS) n° 5202, pp. 128-143, septembre 2008. [Télécharger] [BibTeX...]

Bennaceur Hachemi, Lecoutre Christophe, Roussel Olivier,
A Decomposition Technique for Solving Max-CSP,
dans 18th European Conference on Artificial Intelligence (ECAI'08), IOS Press, pp. 500-504, juillet 2008. [Télécharger] [BibTeX...]

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

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

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

Lecoutre Christophe, Cardon Stéphane, Vion Julien,
Conservative Dual Consistency,
dans 22nd Conference on Artificial Intelligence (AAAI'07), pp. 237-242, juillet 2007. (Distinguished paper) [Télécharger] [BibTeX...]

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

Lecoutre Christophe, Saïs Lakhdar, Tabary Sébastien, Vidal Vincent,
Nogood Recording from Restarts,
dans 20th International Joint Conference on Artificial Intelligence (IJCAI'07), pp. 131-136, janvier 2007. [Télécharger] [BibTeX...]

Lecoutre Christophe, Hemery Fred,
A Study of Residual Supports in Arc Consistency,
dans 20th International Joint Conference on Artificial Intelligence (IJCAI'07), pp. 125-130, janvier 2007. [Télécharger] [BibTeX...]

Lecoutre Christophe, Szymanek R,
Generalized Arc Consistency for Positive Table Constraints,
dans 12th International Conference on Principles and Practice of Constraint Programming (CP'06), LNCS 4204. Springer, pp. 284-298, septembre 2006. [Télécharger] [BibTeX...]

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

Lecoutre Christophe, Saïs Lakhdar, Tabary Sébastien, Vidal Vincent,
Last Conflict based Reasoning,
dans 17th European Conference on Artificial Intelligence (ECAI'06), pp. 133-137, août 2006. [Télécharger] [BibTeX...]

Xu K., Boussemart Frédéric, Hemery Fred, Lecoutre Christophe,
A simple model to generate hard satisfiable instances,
dans 19th International Joint Conference on Artificial Intelligence (IJCAI'05), pp. 337-342, août 2005. [Télécharger] [BibTeX...]

Lecoutre Christophe, Cardon Stéphane,
A greedy approach to establish Singleton Arc Concistency,
dans 19th International Joint Conference on Artificial Intelligence (IJCAI'05), pp. 199-204, août 2005. [Télécharger] [BibTeX...]

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

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

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

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

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

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

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

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

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

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

Communication(s) dans des conférences d'audience internationale sans publication des actes

le Clement de Saint-Marcq Vianney, Schauss Pierre, Solnon Christine, Lecoutre Christophe,
Sparse-Sets for Domain Implementation,
dans Techniques foR Implementing Constraint programming Systems (TRICS'13) , septembre 2013. [Télécharger] [BibTeX...]

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

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

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

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

Lecoutre Christophe, Prosser P.,
Maintaining Singleton Arc Consistency,
dans 3rd International Workshop on Constraint Propagation And Implementation held with CP'06 (CPAI'06), pp. 47-61, septembre 2006. [Télécharger] [BibTeX...]

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

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

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

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

Lecoutre Christophe, Tabary Sébastien,
Abscon 109: a generic CSP solver,
dans Problème SAT : progrès et défis, pp. 243-267, janvier 2006. (dans le cadre de CP'06) [Télécharger] [BibTeX...]

Lecoutre Christophe, Vion Julien,
Bound Consistencies for the discrete CSP,
dans 2nd International Workshop on Constraint Propagation And Implementation held with CP'05 (CPAI'05), pp. 17-31, octobre 2005. [Télécharger] [BibTeX...]

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

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

Boussemart Frédéric, Hemery Fred, Lecoutre Christophe,
Revision ordering heuristics for the Constraint Satisfaction Problem,
dans 1st International Workshop on Constraint Propagation and Implementation held with CP'04 (CPAI'04), pp. 9-43, septembre 2004. [Télécharger] [BibTeX...]

Boussemart Frédéric, Cavory G., Lecoutre Christophe,
Solving the cyclic job shop scheduling problem with linear precedence constraints using CP techniques,
dans IEEE International Conference on Systems, Man and Cybernetics (SMC'02), octobre 2002. [BibTeX...]

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

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

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

Lecoutre Christophe, Devienne P, Lebègue P,
Determinacy induction by means of an abstract OLDT resolution,
dans First International Workshop on Static Analysis (WSA'92), septembre 1992. [BibTeX...]

Communication(s) dans des conférences d'audience nationale

Gharbi Nebras, Hemery Fred, Lecoutre Christophe, Roussel Olivier,
Les contraintes table fragmentées : combiner la compression et la réduction tabulaire,
dans 10èmes Journées Francophones de Programmation par Contraintes (JFPC'14), juin 2014. [Télécharger] [BibTeX...]

Mairy Jean-Baptiste, Deville Yves, Lecoutre Christophe,
La domaine k-intercoherence aussi simplement que la coherence d'arc,
dans 10èmes Journées Francophones de Programmation par Contraintes (JFPC'14), juin 2014. [Télécharger] [BibTeX...]

Malapert Arnaud, Lecoutre Christophe,
A propos de la bibliotheque de modeles XCSP,
dans 10èmes Journées Francophones de Programmation par Contraintes (JFPC'14), juin 2014. [Télécharger] [BibTeX...]

Audemard Gilles, Lecoutre Christophe, Samy-Modeliar Mouny, Goncalves Gilles, Porumbel Daniel,
Dominance au voisinage pour le probleme d'isomorphisme de sous-graphe,
dans 8?me Journ?es d'Intelligence Artificielles Fondamentales (IAF'14), juin 2014. [Télécharger] [BibTeX...]

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

Gharbi Nebras, Hemery Fred, Lecoutre Christophe, Roussel Olivier,
STR et compression de contraintes tables,
dans 9ièmes Journées Francophones de Programmation par Contraintes (JFPC'13), pp. 143-146, juin 2013. [Télécharger] [BibTeX...]

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

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

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

Boussemart Frédéric, Hemery Fred, Lecoutre Christophe, Samy-Modeliar Mouny,
Contrôle statistique du processus de propagation de contraintes,
dans 7ièmes Journées Francophones de Programmation par Contraintes (JFPC'11), pp. 65-74, juin 2011. [Télécharger] [BibTeX...]

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

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

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

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

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

Lecoutre Christophe, Cardon Stéphane, Vion Julien,
Consistance duale conservative,
dans 3èmes Journées Francophones de Programmation par Contraintes (JFPC'07), pp. 1-9, juin 2007. [Télécharger] [BibTeX...]

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

Lecoutre Christophe, Saïs Lakhdar, Tabary Sébastien, Vidal Vincent,
Recherche dirigee par le dernier conflit,
dans 2ndes Journées Francophones de Programmation par Contraintes (JFPC'06), pp. 257-266, juin 2006. [Télécharger] [BibTeX...]

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

Cardon Stéphane, Lecoutre Christophe,
Une approche gloutonne pour établir la singleton consistance d'arc,
dans 1ères Journées Francophones de Programmation par Contraintes (JFPC'05), pp. 99-108, juin 2005. [Télécharger] [BibTeX...]

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

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

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

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

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

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

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

Lecoutre Christophe, Merchez Sylvain, Boussemart Frédéric, Grégoire Éric,
Un cadre d'abstraction appliqué aux problèmes de satisfaction de contraintes,
dans 12ème congrès francophone sur la Reconnaissance des Formes et l'Intelligence Artificielle (RFIA'00), pp. 429-438, février 2000. [BibTeX...]

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

Lecoutre Christophe,
Une interprétation abstraite en programmation logique avec contraintes,
dans 3èmes Journées Francophones sur la Programmation Logique avec Contraintes (JFPLC'94), mai 1994. [BibTeX...]

Lecoutre Christophe,
Interprétation abstraite en programmation logique avec contraintes,
dans Journées du GDR Programmation (GDR), octobre 1993. [BibTeX...]

Lecoutre Christophe, Devienne P, Lebègue P,
Termination induction by means of an abstract OLDT resolution,
dans 1ères Journées Francophones sur la Programmation Logique (JFPL'92), pp. 353-373, mai 1992. [BibTeX...]

Lecoutre Christophe, Devienne P, Lebègue P,
Termination induction by means of an abstract resolution with tabulation,
dans Journées GROPLAN et GDR Programmation et outils de l'intelligence artificielle (GROPLAN), mars 1992. [BibTeX...]

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

Actes de conférence(s)

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

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

Van Dongen M., Lecoutre Christophe, Roussel Olivier,
Proceedings of the 2nd International Constraint Solver Competition,
janvier 2008. (96 pages) [Télécharger] [BibTeX...]

Van Dongen M., Lecoutre Christophe,
Proceedings of the 3rd International Workshop on Constraint Propagation And Implementation,
dans 3rd International Workshop on Constraint Propagation And Implementation held with CP'06 (CPAI'06), septembre 2006. [Télécharger] [BibTeX...]

Ouvrage(s)

Lecoutre Christophe,
Constraint Networks: Techniques and Algorithms,
Wiley, 592 pages, juin 2009. (592 pages) [Télécharger] [BibTeX...]

Chapitre(s) d'ouvrage(s)

Lecoutre Christophe,
Backtrack Search Techniques and Heuristics,
dans Encyclopedia of Operations Research and Management Science, J. Cochran (Eds.), Wiley, février 2011. [Télécharger] [BibTeX...]

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

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

Habilitation(s) à Diriger des Recherches

Lecoutre Christophe,
Tenter la simplicité en satisfaction de contraintes,
Habilitation à Diriger des Recherches, Université d'Artois, Lens, France, novembre 2007. [BibTeX...]

Thèse de doctorat

Lecoutre Christophe,
Interprétation abstraite en programmation logique avec contraintes,
thèse de doctorat, Lille, France, février 1994. [BibTeX...]

Rapport(s) technique(s)

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

Roussel Olivier, Lecoutre Christophe,
XML Representation of Constraint Networks: Format XCSP 2.1,
rapport technique, CoRR abs/0902.2362, février 2009. [Télécharger] [BibTeX...]

Lecoutre Christophe, Roussel Olivier, Van Dongen M.,
XML Representation of Constraint Networks: Format XCSP 2.0,
rapport technique, Lens, France, août 2006. [Télécharger] [BibTeX...]