Christian Bessiere

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

A SAT-Based Version Space Algorithm for Acquiring Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning: ECML 2005, 2005

Among, Common and Disjoint Constraints.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in Constraints, 2005

Filtering Algorithms for the NValue Constraint.

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2005

Acquiring Parameters of Implied Global Constraints.

[BibT_eX]

[DOI]

Remi Coletta

Proceedings of the Principles and Practice of Constraint Programming, 2005

2004

Improving Asynchronous Backtracking for Dealing with Complex Local Problems.

[BibT_eX]

Arnold Maestre

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

The Tractability of Global Constraints.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2004

Disjoint, Partition and Intersection Constraints for Set and Multiset Variables.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2004

Leveraging the Learning Power of Examples in Automated Constraint Acquisition.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2004

The Complexity of Global Constraints.

[BibT_eX]

[DOI]

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003

Constraint Acquisition as Semi-Automatic Modeling.

[BibT_eX]

[DOI]

Proceedings of the Research and Development in Intelligent Systems XX, 2003

Local Consistencies in SAT.

[BibT_eX]

[DOI]

Emmanuel Hebrard

Toby Walsh

Proceedings of the Theory and Applications of Satisfiability Testing, 2003

Propagate the Right Thing: How Preferences Can Speed-Up Constraint Solving.

[BibT_eX]

[DOI]

Anaïs Fabre

Ulrich Junker

Proceedings of the IJCAI-03, 2003

Semi-automatic Modeling by Constraint Acquisition.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2003

To Be or Not to Be ... a Global Constraint.

[BibT_eX]

[DOI]

Pascal Van Hentenryck

Proceedings of the Principles and Practice of Constraint Programming, 2003

2002

On forward checking for non-binary constraint satisfaction.

[BibT_eX]

[DOI]

Artif. Intell., 2002

Range-Based Algorithm for Max-CSP.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2002

2001

Domain Filtering Consistencies.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2001

Refining the Basic Constraint Propagation Algorithm.

[BibT_eX]

Proceedings of the Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril, 2001

New Lower Bounds of Constraint Violations for Over-Constrained Problems.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2001

Specific Filtering Algorithms for Over-Constrained Problems.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2001

Distributed Dynamic Backtracking.

[BibT_eX]

[DOI]

Arnold Maestre

Pedro Meseguer

Proceedings of the Principles and Practice of Constraint Programming, 2001

Neighborhood-Based Variable Ordering Heuristics for the Constraint Satisfaction Problem.

[BibT_eX]

[DOI]

Assef Chmeiss

Lakhdar Sais

Proceedings of the Principles and Practice of Constraint Programming, 2001

2000

Meta-constraints on violations for over constrained problems.

[BibT_eX]

[DOI]

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

An Original Constraint Based Approach for Solving over Constrained Problems.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2000

1999

Using Constraint Metaknowledge to Reduce Arc Consistency Computation.

[BibT_eX]

[DOI]

Eugene C. Freuder

Artif. Intell., 1999

Enforcing Arc Consistency on Global Constraints by Solving Subproblems on the Fly.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 1999

Non-Binary Constraints.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 1999

A Generic Customizable Framework for Inverse Local Consistency.

[BibT_eX]

[DOI]

Gérard Verfaillie

David Martinez

Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999

1998

Distributed Intelligent Backtracking.

[BibT_eX]

Youssef Hamadi

Joël Quinqueton

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

1997

Some Practicable Filtering Techniques for the Constraint Satisfaction Problem.

[BibT_eX]

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Arc Consistency for General Constraint Networks: Preliminary Results.

[BibT_eX]

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

From Restricted Path Consistency to Max-Restricted Path Consistency.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29, 1997

1996

Global Consistency in Interval Algebra Networks: Tractable Subclasses.

[BibT_eX]

Amar Isli

Gerard Ligozat

Proceedings of the 12th European Conference on Artificial Intelligence, 1996

MAC and Combined Heuristics: Two Reasons to Forsake FC (and CBJ?) on Hard Problems.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996

A Simple Way to Improve Path Consistency Processing in Interval Algebra Networks.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995

Updating train-the-trainer activities: an action research study.

[BibT_eX]

[DOI]

Roger Guir

Proceedings of the World Conference on Computers in Education VI, 1995

Using Inference to Reduce Arc Consistency Computation.

[BibT_eX]

[DOI]