1. Marques-Silva, J.P., Guerra, L.: Algorithms for satisfiability in combinational circuits based on backtrack search and recursive learning. In: Proceedings of XII Symposium on Integrated Circuits and Systems Design (SBCCI) (1999)
2. Moskewicz, M., Madigan, C., Zhao, Y., Zhang, L., Malik, S.: Chaff: Engineering an efficient sat solver. In: 39th Design Automation Conference (2001)
3. Velev, M., Bryant, R.: Effective use of boolean satisfiability procedures in the formal verification of superscalar and vliw microprocessors. In: 38th Design Automation Conference (DAC ’01) (2001)
4. Kautz, H.A., Ruan, Y., Achlioptas, D., Gomes, C.P., Selman, B., Stickel, M.: Balance and filtering in structured satisfiable problems. In: Proceedings of the International Joint Conference on Artificial Intelligence, IJCAI’01, Seattle, WA, pp. 351–358 (2001)
5. Kautz, H.A., Selman, B.: Pushing the envelope: Planning, propositional logic, and stochastic search. In: Proceedings of the 14th National Conference on Artificial Intelligence, AAAI’96, Portland, OR, pp. 1194–1201. AAAI Press, Menlo Park, CA (1996)