Distributed forward checking (2000)

by P Mesequer, M A Jiménez
Venue:In Proceedings of CP-00 Workshop on Distributed Constraint Satisfaction