Variable splitting is a tool to find upper and lower bounds on a Max-SAT problem.
This relaxes the problem by introducing new variables into the Boolean expression, which has the effect of removing many of the constraints in the expression.