A Folding Strategy for SAT solvers based on Shannon's expansion theorem | IEEE Conference Publication | IEEE Xplore