Solution Equivalent Subquadrangle Reformulations of Constraint Satisfaction Problems.
Chris HoughtonDavid A. CohenPublished in: CP (2005)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- constraint programming
- constraint problems
- np complete
- constraint propagation
- backtracking algorithm
- combinatorial problems
- constraint solver
- search space
- np hard
- arc consistency
- non binary
- graph coloring problems
- dynamic constraint satisfaction problems
- computational problems
- constraint optimization
- constraint networks
- partial assignment
- optimal solution
- soft constraints
- backtracking search
- pseudo boolean optimization
- randomly generated
- temporal constraints
- upper bound
- global constraints
- solving constraint satisfaction problems
- finding optimal solutions
- partial constraint satisfaction
- search algorithm