Forward Checking with Backmarking.
Patrick ProsserPublished in: Constraint Processing, Selected Papers (1995)
Keyphrases
- forward checking
- constraint satisfaction problems
- constraint satisfaction
- arc consistency
- variable ordering
- tree search
- conflict directed
- random instances
- constraint propagation
- non binary
- search tree
- branch and bound algorithm
- constraint programming
- np complete
- constraint networks
- ordering heuristics
- maintaining arc consistency
- combinatorial problems
- np hard
- lower bound
- graph coloring
- branch and bound
- cellular automata
- search space
- search algorithm