Minimal Forward Checking with Backmarking and Conflict-Directed Backjumping.

Alvin C. M. Kwan Edward P. K. Tsang

Published in: ICTAI (1996)

Keyphrases

forward checking
conflict directed backjumping
constraint satisfaction problems
constraint satisfaction
conflict directed
arc consistency
variable ordering
tree search
constraint propagation
search tree
constraint programming
combinatorial problems
space complexity
branch and bound
search space
non binary