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]
No reviews for this publication, yet.