1. Lecture Notes in Computer Science;L. Baptista,2000
2. Bayardo Jr., R., Schrag, R.: Using CSP look-back techniques to solve real-world SAT instances. In: Proceedings of the National Conference on Artificial Intelligence, July 1997, pp. 203–208 (1997)
3. Davis, M., Logemann, G., Loveland, D.: A machine program for theoremproving. Communications of the Association for Computing Machinery 5, 394–397 (1962)
4. Davis, M., Putnam, H.: A computing procedure for quantification theory. Journal of the Association for Computing Machinery 7, 201–215 (1960)
5. Gaschnig, J.: Performance Measurement and Analysis of Certain Search Algorithms. PhD thesis, Carnegie-Mellon University, Pittsburgh, PA (May 1979)