Resolution Theorem Proving (2001)

by Leo Bachmair , Harald Ganzinger
Citations:153 - 1 self

Active Bibliography

114 Paramodulation-Based Theorem Proving – Robert Nieuwenhuis, Albert Rubio - 1999
3 Cancellative Abelian Monoids in Refutational Theorem Proving. Dissertation, Universitat des Saarlandes – Uwe Waldmann - 1997
2 Proving First-Order Equality Theorems with Hyper-Linking – Geoffrey David Alexander - 1995
10 Knowledge Representation and Classical Logic – Vladimir Lifschitz, Leora Morgenstern
Chapter 1 Knowledge Representation and Classical Logic – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Vladimir Lifschitz, Leora Morgenstern, David Plaisted
161 Improvements To Propositional Satisfiability Search Algorithms – Jon William Freeman - 1995
127 Algorithms for the Satisfiability (SAT) Problem: A Survey – Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah - 1996
40 Tableaux and Related Methods – Reiner Hähnle - 2001
2 Convergence Properties of Optimization Algorithms for the Satisfiability (SAT) Problem – Jun Gu, Qian-ping Gu, Ding Zhu Du - 1996
20 Global Optimization for Satisfiability (SAT) Problem – Jun Gu - 1994
Paramodulation Decision Procedures – Georg Christian Moser - 2003
3 Theorem Proving with Transitive Relations from a Practical Point of View – W. Marco Schorlemmer, Jaume Agusti - 1995
Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition - – Martin Gogolla, Zhenyu Qian, Hélène Kirchner, Markus Wolf (Eds.), Maura Cerioli, Maura Cerioli, Universit`a Degli Studi Di Genova, Prof Dr, Bernd Krieg-Brückner, Bernd Krieg-bruckner - 1997
2 Killer Transformations – Hans Jürgen Ohlbach, Dov M. Gabbay, David A. Plaisted - 1994
4 Constraints in Term Algebras (Short Survey) – Hubert Comon - 1993
Kanger's Choices in Automated Reasoning – Anatoli Degtyarev, Andrei Voronkov
19 Deduction Systems Based on Resolution – Norbert Eisinger, Hans Jürgen Ohlbach - 1991
Christ Jesus, our Lord and Savior. PREDICATE ANSWER SET PROGRAMMING WITH COINDUCTION – Richard Kyunglib Min, Haim Schweitzer, Richard Kyunglib Min, Mi Min, Samuel Underwood - 2009
13 Computational Logic and Human Thinking: How to be Artificially Intelligent – Robert Kowalski - 2011