Scalable parallel arc consistency algorithms for shared memory computers | IEEE Conference Publication | IEEE Xplore