The complexity of reasoning with global constraints (original) (raw)
Related papers
The complexity of global constraints
PROCEEDINGS OF THE …, 2004
The tractability of global constraints
Principles and Practice of …, 2004
Exploiting Structure in Constraint Propagation
2012
06401 Executive Summary--Complexity of Constraints}
2006
The 3 R's of optimizing constraint logic programs
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '93, 1993
Constraint Tightness versus Global Consistency
Principles of Knowledge Representation and Reasoning, 1994
The parameterized complexity of global constraints
Proceedings of the 23rd …, 2008
Efficient constraint propagation engines
ACM Transactions on Programming Languages and Systems, 2008
Constraint Satisfaction: Algorithms and Complexity Course Notes
2012
A strong local consistency for constraint satisfaction
Proceedings 11th International Conference on Tools with Artificial Intelligence, 1999
The Complexity of Problems for Quantified Constraints
Theory of Computing Systems / Mathematical Systems Theory, 2007
The computational power and complexity of constraint handling rules
ACM Transactions on Programming Languages and Systems, 2009
The complexity of quantified constraint satisfaction problems under structural restrictions
2005
How efficient is a global constraint in practice?
Constraints
Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains
Principles and Practice of Constraint Programming – CP’99, 1999
Global analysis of constraint logic programs
ACM Transactions on Programming Languages and Systems, 1996
Constraint tightness and looseness versus local and global consistency
Journal of the ACM, 1997
The Complexity of Equality Constraint Languages
Theory of Computing Systems, 2008
An exact algorithm for the constraint satisfaction problem: Application to logical inference
Information Processing Letters, 1993
A portable and efficient implementation of global constraints: the TREE constraint case
Reformulation of Global Constraints Based on Constraints Checkers
Mats Carlsson, N. Beldiceanu, Romuald Debruyne
Constraints, 2005
FDCC: a combined approach for solving constraints over finite domains and arrays
2012
Locally consistent constraint satisfaction problems
Theoretical Computer Science, 2005
Self-decomposable global constraints
Anti-unification in Constraint Logic Programming
Theory and Practice of Logic Programming
Computational complexity and constraint logic programming languages
Annals of Mathematics and Artificial Intelligence, 1992