Parallel Forward Checking: Second part (1990)

by Bernard Burg