"Asynchronous Parallel Arc Consistency Algorithms on a Distributed Memory ..."

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