Fundamental properties of networks of constraints: A new formulation
Search in Artificial Intelligence
From local to global consistency
Artificial Intelligence
Structure identification in relational data
Artificial Intelligence - Special volume on constraint-based reasoning
Decomposing constraint satisfaction problems using database techniques
Artificial Intelligence
On the Complexity of Testing Implications of Functional and Join Dependencies
Journal of the ACM (JACM)
A comparison of structural CSP decomposition methods
Artificial Intelligence
Configuring Large Systems Using Generative Constraint Satisfaction
IEEE Intelligent Systems
Hypertree Decompositions: A Survey
MFCS '01 Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science
A General Framework for Knowledge Compilation
PDK '91 Proceedings of the International Workshop on Processing Declarative Knowledge
A New Approach on Solving 3-Satisfiability
AISMC-3 Proceedings of the International Conference AISMC-3 on Artificial Intelligence and Symbolic Mathematical Computation
Constraint Processing
Theory of Relational Databases
Theory of Relational Databases
A survey on knowledge compilation
AI Communications
Hypertree width and related hypergraph invariants
European Journal of Combinatorics
World-set decompositions: Expressiveness and efficient algorithms
Theoretical Computer Science
Solution Enumeration for Projected Boolean Search Problems
CPAIOR '09 Proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Conflict-driven answer set enumeration
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Constraint Networks: Techniques and Algorithms
Constraint Networks: Techniques and Algorithms
On minimal constraint networks
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Factorised representations of query results: size bounds and readability
Proceedings of the 15th International Conference on Database Theory
Complexity of two-level logic minimization
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Relational Hidden Variables and Non-Locality
Studia Logica
Robust constraint satisfaction and local hidden variables in quantum mechanics
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
In a minimal binary constraint network, every tuple of a constraint relation can be extended to a solution. The tractability or intractability of computing a solution to such a minimal network was a long standing open question. Dechter conjectured this computation problem to be NP-hard. We prove this conjecture. We also prove a conjecture by Dechter and Pearl stating that for k=2 it is NP-hard to decide whether a single constraint can be decomposed into an equivalent k-ary constraint network. We show that this holds even in case of bi-valued constraints where k=3, which proves another conjecture of Dechter and Pearl. Finally, we establish the tractability frontier for this problem with respect to the domain cardinality and the parameter k.