Constraint satisfaction problem and universal algebra.
Libor BartoPublished in: ACM SIGLOG News (2014)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- constraint propagation
- np complete
- search space
- constraint programming
- np hard
- query language
- product configuration
- constraint solving
- non binary
- partial constraint satisfaction
- data model
- global constraints
- arc consistency
- constraint problems
- finite domain
- disjunctive temporal
- constraint networks
- real numbers
- reasoning problems
- constraint solver
- tractable subclasses
- randomly generated
- temporal constraints
- temporal reasoning
- forward checking
- planning problems