The Constraint Satisfaction Problem and Universal Algebra.
Libor BartoPublished in: Bull. Symb. Log. (2015)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- constraint propagation
- np complete
- search space
- constraint programming
- arc consistency
- constraint solving
- partial constraint satisfaction
- non binary
- tractable subclasses
- np hard
- decomposition methods
- finite domain
- disjunctive temporal
- data model
- interval algebra
- product configuration
- constraint networks
- global constraints
- constraint solver
- soft constraints
- forward checking
- query language
- path consistency
- symmetry breaking
- maximal tractable
- tractable classes
- finding optimal solutions
- state space