"Scalable Parallel Arc Consistency Algorithms for Shared-Memory Computers."

James M. Conrad, Dharma P. Agrawal, Dennis Bahler (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics