Complexity of clausal constraints over chains (original) (raw)
Related papers
Efficient algorithms for constraint description problems over finite totally ordered domains
Automated Reasoning, 2004
Tractable constraints on ordered domains
Artificial Intelligence, 1995
Discrete Applied Mathematics, 2015
Conference on Automated Deduction, 2004
Efficient algorithms for description problems over finite totally ordered domains
SIAM Journal on …, 2008
Complexity classification in infinite-domain constraint satisfaction
2012
The complexity of quantified constraint satisfaction problems under structural restrictions
2005
On the Computational Complexity of Monotone Constraint Satisfaction Problems
Lecture Notes in Computer Science, 2009
06401 Executive Summary--Complexity of Constraints}
2006
Tractability in constraint satisfaction problems: a survey
Constraints, 2015
The Complexity of Equality Constraint Languages
Theory of Computing Systems, 2008
The complexity of recursive constraint satisfaction problems
Annals of Pure and Applied Logic, 2009
Constraint satisfaction tractability from semi-lattice operations on infinite sets
ACM Transactions on Computational Logic, 2013
A Characterisation of First-Order Constraint Satisfaction Problems
Logical Methods in Computer Science, 2007
The Complexity of Problems for Quantified Constraints
Theory of Computing Systems / Mathematical Systems Theory, 2007
Full Constraint Satisfaction Problems
SIAM Journal on Computing, 2006
Constraint Satisfaction: Algorithms and Complexity Course Notes
2012
Non-dichotomies in Constraint Satisfaction Complexity
Automata, Languages and Programming, 2008
SIAM Journal on Computing, 2008
Quantified Constraints: The Complexity of Decision and Counting for Bounded Alternation
Electronic Colloquium on Computational Complexity, 2005
The tractability of global constraints
Principles and Practice of …, 2004
2011
Complexity and polymorphisms for digraph constraint problems under some basic constructions
International Journal of Algebra and Computation, 2016
The complexity of reasoning with global constraints
Constraints, 2007
The inequality-satisfiability problem
Operations Research Letters, 2008
The complexity of soft constraint satisfaction
Artificial Intelligence, 2006
Constraint Satisfaction Problems over the Integers with Successor
Lecture Notes in Computer Science, 2015
Dynamic algorithms for classes of constraint satisfaction problems
Theoretical computer …, 2001
Enumerating all Solutions for Constraint Satisfaction Problems
2006
The complexity of global constraints
PROCEEDINGS OF THE …, 2004
J. Multiple Valued Log. Soft Comput., 2022
Symbolic Solutions for Symbolic Constraint Satisfaction Problems
2020