论文信息 - Splitting Without Backtracking - 字舞流文

Splitting Without Backtracking

Andrei Voronkov | Alexandre Riazanov | A. Voronkov | A. Riazanov

[1] Harald Ganzinger,et al. Resolution Theorem Proving , 2001, Handbook of Automated Reasoning.

[2] Andrei Voronkov,et al. The Anatomy of Vampire Implementing Bottom-up Procedures with Code Trees , 1995, J. Autom. Reason..

[3] Christoph Weidenbach. System Description: Spass Version 1.0.0 , 1999, CADE.

[4] William H. Joyner. Resolution Strategies as Decision Procedures , 1976, JACM.

[5] Johann Schumann,et al. NORA/HAMMR: making deduction-based software component retrieval practical , 1997, Proceedings 12th IEEE International Conference Automated Software Engineering.

[6] Christian G. Fermüller,et al. Resolution Decision Procedures , 2001, Handbook of Automated Reasoning.