A Recursive Split, Solve, and Join Strategy for Solving Constraint Satisfaction Problems | IEEE Conference Publication | IEEE Xplore