Author:
Navarro-Pérez Juan Antonio,Voronkov Andrei
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Baaz, M., Leitsch, A.: Complexity of resolution proofs and function introduction. Annals of Pure and Applied Logic 57(3), 181–215 (1992)
2. Bachmair, L., Ganzinger, H.: Resolution theorem proving. In: Robinson, J.A., Voronkov, A. (eds.) Handbook of Automated Reasoning, vol. I, ch. 2, pp. 19–99. Elsevier (2001)
3. Lecture Notes in Artificial Intelligence;P. Baumgartner,2005
4. Claessen, K., Sörensson, N.: New techniques that improve MACE-style model finding. In: MODEL 2003: Proceedings of the Workshop on Model Computation (2003)
5. Fikes, R., Nilsson, N.J.: STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2, 189–208 (1971)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献