Parallel path-consistency algorithms for constraint satisfaction | IEEE Conference Publication | IEEE Xplore