On Forward Checking for Non-binary Constraint Satisfaction.
Christian BessièrePedro MeseguerEugene C. FreuderJavier LarrosaPublished in: CP (1999)
Keyphrases
- constraint satisfaction
- forward checking
- non binary
- constraint satisfaction problems
- arc consistency
- constraint propagation
- constraint programming
- backtracking algorithms
- search space
- combinatorial problems
- np complete
- backtracking algorithm
- constraint networks
- np hard
- soft constraints
- maintaining arc consistency
- phase transition
- heuristic search
- global constraints
- special case
- sat solvers
- evolutionary algorithm