On the Forward Checking Algorithm.

Fahiem Bacchus Adam J. Grove

Published in: CP (1995)

Keyphrases

optimal solution
np hard
monte carlo
dynamic programming
tree structure
randomly generated
mapping function
variable ordering
forward checking
lower bound
worst case
linear programming
search strategy