Parallel and distributed algorithms for finite constraint satisfaction problems