A Generic Arc-Consistency Algorithm and its Specializations (1992)

by Pascal Van Hentenryck, Yves Deville, Choh-Man Teng
Venue:Artificial Intelligence