Arc and path consistency revisited (1986)

by R Mohr, T C Henderson
Venue:Artificial Intelligence