Improving Constraint Solving on Parallel Hybrid Systems | IEEE Conference Publication | IEEE Xplore