Locally Consistent Constraint Satisfaction Problems: (Extended Abstract).
Zdenek DvorákDaniel KrálOndrej PangrácPublished in: ICALP (2004)
Keyphrases
- extended abstract
- constraint satisfaction problems
- constraint satisfaction
- constraint propagation
- np complete
- search space
- constraint programming
- arc consistency
- non binary
- np hard
- soft constraints
- sat problem
- constraint networks
- combinatorial problems
- product configuration
- forward checking
- partial constraint satisfaction
- decomposition methods
- constraint solving
- computational problems
- global constraints
- temporal constraints
- constraint problems
- reasoning problems
- constraint graph
- solving constraint satisfaction problems
- set bounds propagation
- constraint solver
- backtracking search
- arithmetic constraints
- graph coloring problems
- phase transition
- tractable subclasses
- disjunctive temporal
- pseudo boolean optimization