An Effective Distributed D&C Approach for the Satisfiability Problem | IEEE Conference Publication | IEEE Xplore