A Parallelization Mixing OR-Tools/Gecode Solvers on Top of the Bobpp Framework | IEEE Conference Publication | IEEE Xplore