Author:
Nieuwenhuis Robert,Hillenbrand Thomas,Riazanov Alexandre,Voronkov Andrei
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. P. Cheeseman, B. Kanefsky, and W. M. Taylor. Where the really hard problems are. In R. Reiter J. Mylopoulos, editor, IJCAI 1991. Proceedings of the 12th International Joint Conference on Artificial Intelligence, pages 331–340, Sydney, Australia, 1991. Morgan Kaufmann.
2. J. Christian. Flatterms, discrimination nets, and fast term rewriting. Journal of Automated Reasoning, 10(1):95–113, February 1993.
3. H. Ganzinger, R. Nieuwenhuis, and P. Nivela. Context trees. In IJCAR 2001, Proceedings of the International Joint Conference on Automated Reasoning, Lecture Notes in Artificial Intelligence, Siena, Italy, June 2001. Springer Verlag.
4. P. Graf. Extended path-indexing. In A. Bundy, editor, CADE-12. 12th International Conference on Automated Deduction, volume 814 of Lecture Notes in Artificial Intelligence, pages 514–528, Nancy, France, June/July 1994.
5. Lect Notes Comput Sci;P. Graf,1995
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献