The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Christophe Lecoutre" ( http://dblp.L3S.de/Authors/Christophe_Lecoutre )

  Author page on DBLP  Author page in RDF  Community of Christophe Lecoutre in ASPL-2

Publication years (Num. hits)
1991-2005 (17) 2006-2008 (17) 2009-2013 (18) 2014-2017 (17) 2018-2019 (4)
Publication types (Num. hits)
article(21) inproceedings(52)
Venues (Conferences, Journals, ...)
CP(17) CoRR(7) IJCAI(6) CPAIOR(5) ECAI(5) ICTAI(5) AAAI(4) Artif. Intell.(4) Constraints(4) SARA(3) JFPLC(2) JSAT(2) Electronic Notes in Discrete M...(1) ICLP(1) J. Artif. Intell. Res.(1) JFPL(1) More (+10 of total 21)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 74 publication records. Showing 73 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Christophe Lecoutre, Olivier Roussel Proceedings of the 2018 XCSP3 Competition. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Hélène Verhaeghe, Christophe Lecoutre, Pierre Schaus Extending Compact-Diagram to Basic Smart Multi-Valued Variable Diagrams. Search on Bibsonomy CPAIOR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Minh Thanh Khong, Christophe Lecoutre, Pierre Schaus, Yves Deville Soft-Regular with a Prefix-Size Violation Measure. Search on Bibsonomy CPAIOR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hélène Verhaeghe, Christophe Lecoutre, Pierre Schaus Compact-MDD: Efficiently Filtering (s)MDD Constraints with Reversible Sparse Bit-sets. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hélène Verhaeghe, Christophe Lecoutre, Pierre Schaus Extending Compact-Table to Negative and Short Tables. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Minh Thanh Khong, Yves Deville, Pierre Schaus, Christophe Lecoutre Efficient Reification of Table Constraints. Search on Bibsonomy ICTAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gael Glorian, Frédéric Boussemart, Jean-Marie Lagniez, Christophe Lecoutre, Bertrand Mazure Combining Nogoods in Restart-Based Search. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hélène Verhaeghe, Christophe Lecoutre, Yves Deville, Pierre Schaus Extending Compact-Table to Basic Smart Tables. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Baudouin Le Charlier, Minh Thanh Khong, Christophe Lecoutre, Yves Deville Automatic Synthesis of Smart Table Constraints by Abstraction of Table Constraints. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Christian Bessiere, Hélène Fargier, Christophe Lecoutre Computing and restoring global inverse consistency in interactive constraint satisfaction. Search on Bibsonomy Artif. Intell. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jordan Demeulenaere, Renaud Hartert, Christophe Lecoutre, Guillaume Perez, Laurent Perron, Jean-Charles Régin, Pierre Schaus Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Frédéric Boussemart, Christophe Lecoutre, Cédric Piette XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Jordan Demeulenaere, Renaud Hartert, Christophe Lecoutre, Guillaume Perez, Laurent Perron, Jean-Charles Régin, Pierre Schaus Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets. Search on Bibsonomy CP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christophe Lecoutre, Chavalit Likitvivatanavong, Roland H. C. Yap STR3: A path-optimal filtering algorithm for table constraints. Search on Bibsonomy Artif. Intell. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Christophe Lecoutre, Chavalit Likitvivatanavong, Roland H. C. Yap Improving the lower bound of simple tabular reduction. Search on Bibsonomy Constraints The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jean-Baptiste Mairy, Yves Deville, Christophe Lecoutre The Smart Table Constraint. Search on Bibsonomy CPAIOR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Steven Gay, Renaud Hartert, Christophe Lecoutre, Pierre Schaus Conflict Ordering Search for Scheduling Problems. Search on Bibsonomy CP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Christophe Lecoutre, Stéphane Cardon, Julien Vion Second-Order Consistencies. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Nebras Gharbi, Fred Hemery, Christophe Lecoutre, Olivier Roussel Sliced Table Constraints: Combining Compression and Tabular Reduction. Search on Bibsonomy CPAIOR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jean-Baptiste Mairy, Yves Deville, Christophe Lecoutre Domain k-Wise Consistency Made as Simple as Generalized Arc Consistency. Search on Bibsonomy CPAIOR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Christophe Lecoutre, Mouny Samy Modeliar, Gilles Goncalves, Daniel Cosmin Porumbel Scoring-Based Neighborhood Dominance for the Subgraph Isomorphism Problem. Search on Bibsonomy CP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary Solving WCSP by Extraction of Minimal Unsatisfiable Cores Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Christophe Lecoutre, Anastasia Paparrizou, Kostas Stergiou 0001 Extending STR to a Higher-Order Consistency. Search on Bibsonomy AAAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary Solving WCSP by Extraction of Minimal Unsatisfiable Cores. Search on Bibsonomy ICTAI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Christian Bessiere, Hélène Fargier, Christophe Lecoutre Global Inverse Consistency for Interactive Constraint Satisfaction. Search on Bibsonomy CP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Christophe Lecoutre, Chavalit Likitvivatanavong, Roland H. C. Yap A Path-Optimal GAC Algorithm for Table Constraints. Search on Bibsonomy ECAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary Propagating Soft Table Constraints. Search on Bibsonomy CP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Christophe Lecoutre, Olivier Roussel, Djamel E. Dehani WCSP Integration of Soft Neighborhood Substitutability. Search on Bibsonomy CP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Mouny Samy Modeliar Efficient Constraint Propagation for Graph Coloring. Search on Bibsonomy Electronic Notes in Discrete Mathematics The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christophe Lecoutre, Stéphane Cardon, Julien Vion Second-Order Consistencies. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christian Bessiere, Stéphane Cardon, Romuald Debruyne, Christophe Lecoutre Efficient algorithms for singleton arc consistency. Search on Bibsonomy Constraints The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christophe Lecoutre STR2: optimized simple tabular reduction for table constraints. Search on Bibsonomy Constraints The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jean-François Condotta, Christophe Lecoutre A Framework for Decision-Based Consistencies. Search on Bibsonomy CP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christophe Lecoutre, Olivier Roussel, Marc R. C. van Dongen Promoting robust black-box solvers through competitions. Search on Bibsonomy Constraints The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jean-François Condotta, Christophe Lecoutre A Class of df-Consistencies for Qualitative Constraint Networks. Search on Bibsonomy KR The full citation details ... 2010 DBLP  BibTeX  RDF
1Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal 0001 Reasoning from last conflict(s) in constraint programming. Search on Bibsonomy Artif. Intell. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Olivier Roussel, Christophe Lecoutre XML Representation of Constraint Networks: Format XCSP 2.1 Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Christophe Lecoutre, Sébastien Tabary Lightweight Detection of Variable Symmetries for Constraint Satisfaction. Search on Bibsonomy ICTAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Christophe Lecoutre, Olivier Roussel Failed Value Consistencies for Constraint Satisfaction. Search on Bibsonomy CP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Radoslaw Szymanek, Christophe Lecoutre Constraint-Level Advice for Shaving. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Hachemi Bennaceur, Christophe Lecoutre, Olivier Roussel A Decomposition Technique for Max-CSP. Search on Bibsonomy ECAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Christophe Lecoutre Optimization of Simple Tabular Reduction for Table Constraints. Search on Bibsonomy CP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ke Xu, Frédéric Boussemart, Fred Hemery, Christophe Lecoutre Random constraint satisfaction: Easy generation of hard (satisfiable) instances. Search on Bibsonomy Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Christophe Lecoutre, Lakhdar Sais, Julien Vion Using SAT Encodings to Drive CSP Value Ordering Heuristics. Search on Bibsonomy JSAT The full citation details ... 2007 DBLP  BibTeX  RDF
1Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal 0001 Recording and Minimizing Nogoods from Restarts. Search on Bibsonomy JSAT The full citation details ... 2007 DBLP  BibTeX  RDF
1Christophe Lecoutre, Stéphane Cardon, Julien Vion Conservative Dual Consistency. Search on Bibsonomy AAAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal 0001 Transposition Tables for Constraint Satisfaction. Search on Bibsonomy AAAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Christophe Lecoutre, Stéphane Cardon, Julien Vion Path Consistency by Dual Consistency. Search on Bibsonomy CP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal 0001 Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance. Search on Bibsonomy CP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Christophe Lecoutre, Fred Hemery A Study of Residual Supports in Arc Consistency. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal 0001 Nogood Recording from Restarts. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Dominique D'Almeida, Jean-François Condotta, Christophe Lecoutre, Lakhdar Sais Relaxation of Qualitative Constraint Networks. Search on Bibsonomy SARA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Sylvain Merchez, Christophe Lecoutre, Frédéric Boussemart Abstraction de réseaux de contraintes. Search on Bibsonomy Revue d'Intelligence Artificielle The full citation details ... 2006 DBLP  BibTeX  RDF
1Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal 0001 Last Conflict Based Reasoning. Search on Bibsonomy ECAI The full citation details ... 2006 DBLP  BibTeX  RDF
1Fred Hemery, Christophe Lecoutre, Lakhdar Sais, Frédéric Boussemart Extracting MUCs from Constraint Networks. Search on Bibsonomy ECAI The full citation details ... 2006 DBLP  BibTeX  RDF
1Christophe Lecoutre, Radoslaw Szymanek Generalized Arc Consistency for Positive Table Constraints. Search on Bibsonomy CP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ke Xu, Frédéric Boussemart, Fred Hemery, Christophe Lecoutre A Simple Model to Generate Hard Satisfiable Instances Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1Ke Xu, Frédéric Boussemart, Fred Hemery, Christophe Lecoutre A Simple Model to Generate Hard Satisfiable Instances. Search on Bibsonomy IJCAI The full citation details ... 2005 DBLP  BibTeX  RDF
1Christophe Lecoutre, Stéphane Cardon A Greedy Approach to Establish Singleton Arc Consistency. Search on Bibsonomy IJCAI The full citation details ... 2005 DBLP  BibTeX  RDF
1Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais Boosting Systematic Search by Weighting Constraints. Search on Bibsonomy ECAI The full citation details ... 2004 DBLP  BibTeX  RDF
1Christophe Lecoutre, Frédéric Boussemart, Fred Hemery Backjump-Based Techniques versus Conflict-Directed Heuristics. Search on Bibsonomy ICTAI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais Support Inference for Generic Filtering. Search on Bibsonomy CP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Frédéric Boussemart, Fred Hemery, Christophe Lecoutre De AC3 à AC7. Search on Bibsonomy Technique et Science Informatiques The full citation details ... 2003 DBLP  BibTeX  RDF
1Christophe Lecoutre, Frédéric Boussemart, Fred Hemery De AC3 à AC7. Search on Bibsonomy JFPLC The full citation details ... 2003 DBLP  BibTeX  RDF
1Christophe Lecoutre, Frédéric Boussemart, Fred Hemery Implicit Random Constraint Satisfaction Problems. Search on Bibsonomy ICTAI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Christophe Lecoutre, Frédéric Boussemart, Fred Hemery Exploiting Multidirectionality in Coarse-Grained Arc Consistency Algorithms. Search on Bibsonomy CP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Sylvain Merchez, Christophe Lecoutre, Frédéric Boussemart AbsCon: A Prototype to Solve CSPs with Abstraction. Search on Bibsonomy CP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Christophe Lecoutre, Sylvain Merchez, Frédéric Boussemart, Éric Grégoire A CSP Abstraction Framework. Search on Bibsonomy SARA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Christophe Lecoutre, Sylvain Merchez, Frédéric Boussemart, Éric Grégoire A CSP Abstraction Framework. Search on Bibsonomy SARA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Christophe Lecoutre Une Interprétation abstraite en programmation logique avec contraintes. Search on Bibsonomy JFPLC The full citation details ... 1994 DBLP  BibTeX  RDF
1Christophe Lecoutre, Philippe Devienne, Patrick Lebègue Termination induction by means of an abstract OLDT resolution. Search on Bibsonomy JFPL The full citation details ... 1992 DBLP  BibTeX  RDF
1Christophe Lecoutre, Philippe Devienne, Patrick Lebègue Une analyse du comportement récursif de programmes Prolog par une interprétation abstraite. Search on Bibsonomy JTASPEFT/WSA The full citation details ... 1991 DBLP  BibTeX  RDF
1Christophe Lecoutre, Philippe Devienne, Patrick Lebègue Abstract Interpretation and Recursive Behaviour of Logic Programs. Search on Bibsonomy LOPSTR The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #73 of 73 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license