Arc and path consistency revisited (1986)

by R Mohr, T Henderson
Venue:Artificial Intelligence 28:225–233