Constraint Satisfaction Problems over the Integers with Successor.
Manuel BodirskyBarnaby MartinAntoine MottetPublished in: ICALP (1) (2015)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- constraint programming
- constraint propagation
- search space
- np complete
- non binary
- finite domain
- computational problems
- combinatorial problems
- constraint solving
- np hard
- arc consistency
- global constraints
- decomposition methods
- forward checking
- constraint optimization
- constraint networks
- tractable subclasses
- backtracking algorithm
- partial constraint satisfaction
- disjunctive temporal
- sat problem
- backtracking search
- constraint problems
- real numbers