Biblio
2005
F. Lu, Iyer, M. K., Parthasarathy, G., Wang, L. - C., Cheng, K. - T. Tim, and Chen, K. - C.,
“An efficient sequential SAT solver with improved search strategies”, in
Proceedings of the conference on Design, Automation and Test in Europe-Volume 2, 2005, pp. 1102–1107.