Using Parallel Singleton Arc Consistency to Enhance Constraint Solving | IEEE Conference Publication | IEEE Xplore