Combining SAT solvers on discrete resources | IEEE Conference Publication | IEEE Xplore