Constraint Satisfaction Problems over semilattice block Mal'tsev algebras.
Andrei A. BulatovPublished in: CoRR (2017)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- constraint propagation
- constraint programming
- search space
- np complete
- combinatorial problems
- np hard
- constraint solving
- non binary
- forward checking
- arc consistency
- finite domain
- computational problems
- constraint problems
- decomposition methods
- soft constraints
- reasoning problems
- constraint networks
- finding optimal solutions
- partial constraint satisfaction
- interval algebra
- constraint graph
- arithmetic constraints
- tractable subclasses
- search algorithm
- sat problem
- constraint solver
- temporal constraints
- disjunctive temporal
- dynamic constraint satisfaction problems