Christophe Lecoutre

Mehdi Maamar

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

2019

Proceedings of the 2018 XCSP3 Competition.

[BibT_eX]

[DOI]

CoRR, 2019

Refining Constraint Weighting.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

Extending Compact-Diagram to Basic Smart Multi-Valued Variable Diagrams.

[BibT_eX]

[DOI]

Hélène Verhaeghe

Pierre Schaus

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

2018

Compact-MDD: Efficiently Filtering (s)MDD Constraints with Reversible Sparse Bit-sets.

[BibT_eX]

[DOI]

Hélène Verhaeghe

Pierre Schaus

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Soft-Regular with a Prefix-Size Violation Measure.

[BibT_eX]

[DOI]

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2018

2017

Automatic Synthesis of Smart Table Constraints by Abstraction of Table Constraints.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Efficient Reification of Table Constraints.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

Extending Compact-Table to Basic Smart Tables.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2017

Combining Nogoods in Restart-Based Search.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2017

Extending Compact-Table to Negative and Short Tables.

[BibT_eX]

[DOI]

Hélène Verhaeghe

Pierre Schaus

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems.

[BibT_eX]

[DOI]

Cédric Piette

CoRR, 2016

Computing and restoring global inverse consistency in interactive constraint satisfaction.

[BibT_eX]

[DOI]

Christian Bessiere

Hélène Fargier

Artif. Intell., 2016

Compilation de grammaire de propriétés pour l'analyse syntaxique par optimisation de contraintes (Compilation of a Property Grammar for Syntactic Parsing through Constraint Optimisation).

[BibT_eX]

[DOI]

Jean-Philippe Prost

Rémi Coletta

Proceedings of the Actes de la conférence conjointe JEP-TALN-RECITAL 2016. Volume 2 : TALN (Posters), 2016

Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2016

2015

Improving the lower bound of simple tabular reduction.

[BibT_eX]

[DOI]

Chavalit Likitvivatanavong

Roland H. C. Yap

Constraints An Int. J., 2015

STR3: A path-optimal filtering algorithm for table constraints.

[BibT_eX]

[DOI]

Chavalit Likitvivatanavong

Roland H. C. Yap

Artif. Intell., 2015

The Smart Table Constraint.

[BibT_eX]

[DOI]

Jean-Baptiste Mairy

Yves Deville

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2015

Conflict Ordering Search for Scheduling Problems.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2015

2014

Domain k-Wise Consistency Made as Simple as Generalized Arc Consistency.

[BibT_eX]

[DOI]

Jean-Baptiste Mairy

Yves Deville

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2014

Sliced Table Constraints: Combining Compression and Tabular Reduction.

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2014

Scoring-Based Neighborhood Dominance for the Subgraph Isomorphism Problem.

[BibT_eX]

[DOI]

Daniel Cosmin Porumbel

Proceedings of the Principles and Practice of Constraint Programming, 2014

2013

Solving WCSP by Extraction of Minimal Unsatisfiable Cores.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

Global Inverse Consistency for Interactive Constraint Satisfaction.

[BibT_eX]

[DOI]

Christian Bessiere

Hélène Fargier

Proceedings of the Principles and Practice of Constraint Programming, 2013

Extending STR to a Higher-Order Consistency.

[BibT_eX]

[DOI]

Anastasia Paparrizou

Kostas Stergiou

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012

A Path-Optimal GAC Algorithm for Table Constraints.

[BibT_eX]

[DOI]

Chavalit Likitvivatanavong

Roland H. C. Yap

Proceedings of the ECAI 2012, 2012

WCSP Integration of Soft Neighborhood Substitutability.

[BibT_eX]

[DOI]

Djamel E. Dehani

Proceedings of the Principles and Practice of Constraint Programming, 2012

Propagating Soft Table Constraints.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2012

2011

Second-Order Consistencies.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2011

Efficient Constraint Propagation for Graph Coloring.

[BibT_eX]

[DOI]

Electron. Notes Discret. Math., 2011

STR2: optimized simple tabular reduction for table constraints.

[BibT_eX]

[DOI]

Constraints An Int. J., 2011

Efficient algorithms for singleton arc consistency.

[BibT_eX]

[DOI]

Constraints An Int. J., 2011

A Framework for Decision-Based Consistencies.

[BibT_eX]

[DOI]

Jean-François Condotta

Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

2010

Promoting robust black-box solvers through competitions.

[BibT_eX]

[DOI]

Marc R. C. van Dongen

Constraints An Int. J., 2010

A Class of df-Consistencies for Qualitative Constraint Networks.

[BibT_eX]

[DOI]

Jean-François Condotta

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

2009

XML Representation of Constraint Networks: Format XCSP 2.1

[BibT_eX]

[DOI]

CoRR, 2009

Reasoning from last conflict(s) in constraint programming.

[BibT_eX]

[DOI]

Artif. Intell., 2009

Lightweight Detection of Variable Symmetries for Constraint Satisfaction.

[BibT_eX]

[DOI]

Sébastien Tabary

Proceedings of the ICTAI 2009, 2009

Failed Value Consistencies for Constraint Satisfaction.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2009

2008

Constraint-Level Advice for Shaving.

[BibT_eX]

[DOI]

Radoslaw Szymanek

Proceedings of the Logic Programming, 24th International Conference, 2008

A Decomposition Technique for Max-CSP.

[BibT_eX]

[DOI]

Hachemi Bennaceur

Proceedings of the ECAI 2008, 2008

Optimization of Simple Tabular Reduction for Table Constraints.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2008

2007

Using SAT Encodings to Drive CSP Value Ordering Heuristics.

[BibT_eX]

[DOI]

Lakhdar Sais

J. Satisf. Boolean Model. Comput., 2007

Recording and Minimizing Nogoods from Restarts.

[BibT_eX]

[DOI]

J. Satisf. Boolean Model. Comput., 2007

Random constraint satisfaction: Easy generation of hard (satisfiable) instances.

[BibT_eX]

[DOI]

Artif. Intell., 2007

Relaxation of Qualitative Constraint Networks.

[BibT_eX]

[DOI]

Dominique D'Almeida

Jean-François Condotta

Lakhdar Sais

Proceedings of the Abstraction, 2007

Nogood Recording from Restarts.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

A Study of Residual Supports in Arc Consistency.

[BibT_eX]

[DOI]

Fred Hemery

Proceedings of the IJCAI 2007, 2007

Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2007

Path Consistency by Dual Consistency.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2007

Transposition Tables for Constraint Satisfaction.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

Conservative Dual Consistency.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Abstraction de réseaux de contraintes.

[BibT_eX]

[DOI]

Sylvain Merchez

Rev. d'Intelligence Artif., 2006

Last Conflict Based Reasoning.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Extracting MUCs from Constraint Networks.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Generalized Arc Consistency for Positive Table Constraints.

[BibT_eX]

[DOI]

Radoslaw Szymanek

Proceedings of the Principles and Practice of Constraint Programming, 2006

2005

A Simple Model to Generate Hard Satisfiable Instances.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

A Greedy Approach to Establish Singleton Arc Consistency.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

2004

Backjump-Based Techniques versus Conflict-Directed Heuristics.

[BibT_eX]

[DOI]

Fred Hemery

Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004

Boosting Systematic Search by Weighting Constraints.

[BibT_eX]