![](/img/cover-not-exists.png)
[IEEE 2010 IEEE International SOC Conference (SOCC) - Las Vegas, NV, USA (2010.09.27-2010.09.29)] 23rd IEEE International SOC Conference - A Folding Strategy for SAT solvers based on Shannon's expansion theorem
Saibua, Siwat, Kuo, Po-Yu, Zhou, Dian, Jing, Ming-eYear:
2010
Language:
english
DOI:
10.1109/socc.2010.5784748
File:
PDF, 1.90 MB
english, 2010