|
97
|
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
|
|
2
|
Knowledge Representation and Classical Logic
– Vladimir Lifschitz, Leora Morgenstern
|
|
141
|
Improvements To Propositional Satisfiability Search Algorithms
– Jon William Freeman
- 1995
|
|
107
|
Algorithms for the Satisfiability (SAT) Problem: A Survey
– Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah
- 1996
|
|
32
|
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
|
|
17
|
Global Optimization for Satisfiability (SAT) Problem
– Jun Gu
- 1994
|
|
|
ISSN: 1860-9821Publisher: Sonderforschungsbereich/Transregio 14 AVACS (Automatic Verification and Analysis of Complex Systems)
– Carsten Ihlemann, Viorica Sofronie-stokkermans, Bernd Becker, Werner Damm, Martin Fränzle, Ernst-rüdiger Olderog, Andreas Podelski, Reinhard Wilhelm, Carsten Ihlemann, Viorica Sofronie-stokkermans
- 2010
|
|
3
|
Theorem Proving with Transitive Relations from a Practical Point of View
– W. Marco Schorlemmer, Jaume Agusti
- 1995
|
|
|
Paramodulation Decision Procedures
– Georg Christian Moser
- 2003
|
|
|
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
|
Tractable Classes for Directional Resolution
– Alvaro del Val
- 2000
|
|
4
|
Constraints in Term Algebras (Short Survey)
– Hubert Comon
- 1993
|
|
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
|
|
16
|
Unrestricted vs restricted cut in a tableau method for Boolean circuits
– Matti Järvisalo, Tommi A. Junttila, Ilkka Niemelä
- 2005
|
