Parallel and distributed algorithms for finite constraint satisfaction problems | IEEE Conference Publication | IEEE Xplore