On the Forward Checking Algorithm (1995)

by F Bacchus, A Grove
Venue:International Conference on Principles and Practice of Constraint Programming