Maintaining Arc Consistency Asynchronously in Synchronous Distributed Search | IEEE Conference Publication | IEEE Xplore