Building Portfolios for Parallel Constraint Solving by Varying the Local Consistency Applied | IEEE Conference Publication | IEEE Xplore