High-Order Consistency in Valued Constraint Satisfaction (original) (raw)
Related papers
Valued Constraint Satisfaction Problems: Hard and Easy Problems
1995
Cyclic consistency: A local reduction operation for binary valued constraints
Artificial Intelligence, 2004
Binarisation for Valued Constraint Satisfaction Problems
SIAM Journal on Discrete Mathematics, 2017
A filtering technique to achieve 2-consistency in constraint satisfaction problems
2012
Constraint Satisfaction: Algorithms and Complexity Course Notes
2012
Towards efficient consistency enforcement for global constraints in weighted constraint satisfaction
2009
Locally consistent constraint satisfaction problems
Theoretical Computer Science, 2005
Low-level dichotomy for quantified constraint satisfaction problems
Information Processing Letters, 2011
Domain Reduction for Valued Constraints by Generalising Methods from CSP
Principles and Practice of Constraint Programming, 2018
Hybrid tractability of valued constraint problems
Artificial Intelligence, 2011
Full Constraint Satisfaction Problems
SIAM Journal on Computing, 2006
The complexity of quantified constraint satisfaction problems under structural restrictions
2005
Finding Stable Solutions in Constraint Satisfaction Problems
… on Principles and …, 2009
Beyond NP: Arc-Consistency for Quantified Constraints
Lecture Notes in Computer Science, 2002
A Characterisation of First-Order Constraint Satisfaction Problems
Logical Methods in Computer Science, 2007
Locally Consistent Constraint Satisfaction Problems with Binary Constraints
Lecture Notes in Computer Science, 2005
Weighted constraint satisfaction with set variables
2006
2012
Lexicographically-Ordered Constraint Satisfaction Problems
Constraints, 2010
A strong local consistency for constraint satisfaction
Proceedings 11th International Conference on Tools with Artificial Intelligence, 1999
Tractability in constraint satisfaction problems: a survey
Constraints, 2015
Failed Value Consistencies for Constraint Satisfaction
Lecture Notes in Computer Science, 2009
Tractable Structures for Constraint Satisfaction with Truth Tables
Theory of Computing Systems, 2009
AC2001-OP: an arc-consistency algorithm for constraint satisfaction problems
Federico Barber, Miguel Salido
Trends in Applied Intelligent Systems, 2010
Constraint Satisfaction over Generalized Staircase Constraints
A stronger consistency for soft global constraints in weighted constraint satisfaction
2010
2000
On the computation of local interchangeability in discrete constraint satisfaction problems
PROCEEDINGS OF THE NATIONAL …, 1998
A fine-grained arc-consistency algorithm for non-normalized constraint satisfaction problems
International Journal of Applied Mathematics and Computer Science, 2011
Artificial Intelligence, 2016
Constraint Tightness versus Global Consistency
Principles of Knowledge Representation and Reasoning, 1994
Constraints, consistency and closure
Artificial Intelligence, 1998
Constraint satisfaction---a survey
1998
Artificial Intelligence, 2002
A New Approach for Weighted Constraint Satisfaction
Constraints, 2002