Theoretical Computer Science
A unifying approach to temporal constraint reasoning
Artificial Intelligence
Building tractable disjunctive constraints
Journal of the ACM (JACM)
Tractable disjunctions of linear constraints: basic results and applications to temporal reasoning
Theoretical Computer Science
Disjunctions, independence, refinements
Artificial Intelligence
Approximating most specific concepts in description logics with existential restrictions
AI Communications - Special issue on KI-2001
Set Constraints: Results, Applications, and Future Directions
PPCP '94 Proceedings of the Second International Workshop on Principles and Practice of Constraint Programming
Tractable conservative Constraint Satisfaction Problems
LICS '03 Proceedings of the 18th Annual IEEE Symposium on Logic in Computer Science
The complexity of satisfiability problems
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
Classifying the Complexity of Constraints Using Finite Algebras
SIAM Journal on Computing
An Investigation of the Laws of Thought
An Investigation of the Laws of Thought
A dichotomy theorem for constraint satisfaction problems on a 3-element set
Journal of the ACM (JACM)
A Simple Algorithm for Mal'tsev Constraints
SIAM Journal on Computing
Deciding Boolean Algebra with Presburger Arithmetic
Journal of Automated Reasoning
Determining the consistency of partial tree descriptions
Artificial Intelligence
Tractability and learnability arising from algebras with few subpowers
LICS '07 Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science
Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
The complexity of temporal constraint satisfaction problems
Journal of the ACM (JACM)
Constraint Satisfaction Problems of Bounded Width
FOCS '09 Proceedings of the 2009 50th Annual IEEE Symposium on Foundations of Computer Science
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
Many fundamental problems in artificial intelligence, knowledge representation, and verification involve reasoning about sets and relations between sets and can be modeled as set constraint satisfaction problems (set CSPs). Such problems are frequently intractable, but there are several important set CSPs that are known to be polynomial-time tractable. We introduce a large class of set CSPs that can be solved in quadratic time. Our class, which we call EI, contains all previously known tractable set CSPs, but also some new ones that are of crucial importance for example in description logics. The class of EI set constraints has an elegant universal-algebraic characterization, which we use to show that every set constraint language that properly contains all EI set constraints already has a finite sublanguage with an NP-hard constraint satisfaction problem.