A Folding Strategy for SAT solvers based on Shannon's expansion theorem

Siwat Saibua, Po-Yu Kuo, Dian Zhou, Ming-e Jing. A Folding Strategy for SAT solvers based on Shannon's expansion theorem. In Thomas B├╝chner, Ramalingam Sridhar, Andrew Marshall, Norbert Schuhmann, editors, Annual IEEE International SoC Conference, SoCC 2010, September 27-29, 2010, Las Vegas, NV, USA, Proceedings. pages 177-181, IEEE, 2010. [doi]

Abstract

Abstract is missing.