Towards a Parallel Constraint Solver for Cloud Computing Environments | IEEE Conference Publication | IEEE Xplore