Recording, Analyzing and Presenting Distributed Deduction Processes. - Jörg Denzinger; Stephan Schulz 001 (PASCO, 1994)

Learning Domain Knowledge to Improve Theorem Proving. - Jörg Denzinger; Stephan Schulz 001 (CADE, 1996)

Recording and Analysing Knowledge-Based Distributed Deduction Processes. - Jörg Denzinger; Stephan Schulz 001 (J. Symb. Comput., 1996)

DISCOUNT - A Distributed and Learning Equational Prover. - Jörg Denzinger; Martin Kronenburg; Stephan Schulz 001 (J. Autom. Reason., 1997)

System Abstract: E 0.3. - Stephan Schulz 001 (CADE, 1999)

Using Term Space Maps to Capture Search Control Knowledge in Equational Theorem Proving. - Stephan Schulz 001; Felix Brandt 001 (FLAIRS, 1999)

Learning search control knowledge for equational deduction. - Stephan Schulz 001 (Infix Akademische Verlagsgesellschaft, 2000)

Automatic Acquisition of Search Control Knowledge from Multiple Proof Attempts. - Jörg Denzinger; Stephan Schulz 001 (Inf. Comput., 2000)

System Abstract: E 0.61. - Stephan Schulz 001 (IJCAR, 2001)

Improving the Performance of Automated Theorem Provers by Redundancy-Free Lemmatization. - Joachim Draeger; Stephan Schulz 001 (FLAIRS, 2001)

Information-Based Selection of Abstraction Levels. - Stephan Schulz 001 (FLAIRS, 2001)

Learning Search Control Knowledge for Equational Theorem Proving. - Stephan Schulz 001 (KI/ÖGAI, 2001)

System Description: GrAnDe 1.0. - Stephan Schulz 001; Geoff Sutcliffe (CADE, 2002)

A Comparison of Different Techniques for Grounding Near-Propositional CNF Formulae. - Stephan Schulz 001 (FLAIRS, 2002)

E - a brainiac theorem prover. - Stephan Schulz 001 (AI Commun., 2002)

System Description: E 0.81. - Stephan Schulz 001 (IJCAR, 2004)

The MathSAT 3 System. - Marco Bozzano; Roberto Bruttomesso; Alessandro Cimatti; Tommi A. Junttila; Peter van Rossum; Stephan Schulz 001; Roberto Sebastiani (CADE, 2005)

On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal. - Alessandro Armando; Maria Paola Bonacina; Silvio Ranise; Stephan Schulz 001 (FroCoS, 2005)

An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic. - Marco Bozzano; Roberto Bruttomesso; Alessandro Cimatti; Tommi A. Junttila; Peter van Rossum; Stephan Schulz 001; Roberto Sebastiani (TACAS, 2005)

MathSAT: Tight Integration of SAT and Mathematical Decision Procedures. - Marco Bozzano; Roberto Bruttomesso; Alessandro Cimatti; Tommi A. Junttila; Peter van Rossum; Stephan Schulz 001; Roberto Sebastiani (J. Autom. Reason., 2005)

Using the TPTP Language for Writing Derivations and Finite Interpretations. - Geoff Sutcliffe; Stephan Schulz 001; Koen Claessen; Allen Van Gelder (IJCAR, 2006)

Preface. - Stephan Schulz 001; Geoff Sutcliffe; Tanel Tammet (Int. J. Artif. Intell. Tools, 2006)

Empirically Successful Automated Reasoning: Systems Issue. - Bernd Fischer 002; Geoff Sutcliffe; Stephan Schulz 001 (J. Autom. Reason., 2006)

Empirically Successful Automated Reasoning: Applications Issue. - Bernd Fischer 002; Geoff Sutcliffe; Stephan Schulz 001 (J. Autom. Reason., 2006)

Empirically successful computerized reasoning. - Renate A. Schmidt; Geoff Sutcliffe; Stephan Schulz 001 (J. Appl. Log., 2009)

New results on rewrite-based satisfiability procedures. - Alessandro Armando; Maria Paola Bonacina; Silvio Ranise; Stephan Schulz 001 (ACM Trans. Comput. Log., 2009)

Special issue on practical aspects of automated reasoning. - Boris Konev; Renate A. Schmidt; Stephan Schulz 001 (AI Commun., 2010)

Fingerprint Indexing for Paramodulation and Rewriting. - Stephan Schulz 001 (IJCAR, 2012)

The TPTP Typed First-Order Form with Arithmetic. - Geoff Sutcliffe; Stephan Schulz 001; Koen Claessen; Peter Baumgartner 001 (LPAR, 2012)

Simple and Efficient Clause Subsumption with Feature Vector Indexing. - Stephan Schulz 001 (Automated Reasoning and Mathematics, 2013)

E-MaLeS 1.1. - Daniel Kühlwein; Stephan Schulz 001; Josef Urban (CADE, 2013)

System Description: E 1.8. - Stephan Schulz 001 (LPAR, 2013)

Knowledge Engineering for Large Ontologies with Sigma KEE 3.0. - Adam Pease; Stephan Schulz 001 (IJCAR, 2014)

System Description: E.T. 0.1. - Cezary Kaliszyk; Stephan Schulz 001; Josef Urban; Jirí Vyskocil (CADE, 2015)

Breeding Theorem Proving Heuristics with Genetic Algorithms. - Simon Schäfer; Stephan Schulz 001 (GCAI, 2015)

The Thousands of Models for Theorem Provers (TMTP) Model Library - First Steps. - Geoff Sutcliffe; Stephan Schulz 001 (IWIL@LPAR, 2015)

Deduction as a Service. - Mohamed Hassona; Stephan Schulz 001 (PAAR@IJCAR, 2016)

Performance of Clause Selection Heuristics for Saturation-Based Theorem Proving. - Stephan Schulz 001; Martin Möhrmann (IJCAR, 2016)

We know (nearly) nothing!l But can we learn? - Stephan Schulz 001 (ARCADE@CADE, 2017)

Detecting Inconsistencies in Large First-Order Knowledge Bases. - Stephan Schulz 001; Geoff Sutcliffe; Josef Urban; Adam Pease (CADE, 2017)

Towards Strong Higher-Order Automation for Fast Interactive Verification. - Jasmin Christian Blanchette; Pascal Fontaine; Stephan Schulz 001; Uwe Waldmann (ARCADE@CADE, 2017)

ProofWatch: Watchlist Guidance for Large Theories in E. - Zarathustra Amadeus Goertzel; Jan Jakubuv; Stephan Schulz 001; Josef Urban (ITP, 2018)

Foreword to the Special Issue on Automated Reasoning. - Pascal Fontaine; Cezary Kaliszyk; Stephan Schulz 001; Josef Urban (AI Commun., 2018)

Faster, Higher, Stronger: E 2.3. - Stephan Schulz 001; Simon Cruanes; Petar Vukmirovic (CADE, 2019)

Extending a Brainiac Prover to Lambda-Free Higher-Order Logic. - Petar Vukmirovic; Jasmin Christian Blanchette; Simon Cruanes; Stephan Schulz 001 (TACAS (1), 2019)

Teaching Automated Theorem Proving by Example: PyRes 1.2 - (System Description). - Stephan Schulz 001; Adam Pease (IJCAR (2), 2020)

Efficient Implementation of Large-Scale Watchlists. - Constantin Ruhdorfer; Stephan Schulz 001 (PAAR+SC²@IJCAR, 2020)

Cutting Down the TPTP Language (And Others). - Nahku Saidy; Hanna Siegfried; Stephan Schulz 001; Geoff Sutcliffe (PAAR+SC²@IJCAR, 2020)

Preface: Special Issue of Selected Extended Papers from IJCAR 2018. - Didier Galmiche; Stephan Schulz 001; Roberto Sebastiani (J. Autom. Reason., 2020)

Contradiction Detection and Repair in a Large Theory. - Adam Pease; Stephan Schulz 001 (FLAIRS, 2022)

Empirical Properties of Term Orderings for Superposition. - Stephan Schulz 001 (PAAR@IJCAR, 2022)

MizAR 60 for Mizar 50. - Jan Jakubuv; Karel Chvalovský; Zarathustra Amadeus Goertzel; Cezary Kaliszyk; Mirek Olsák; Bartosz Piotrowski; Stephan Schulz 001; Martin Suda 001; Josef Urban (ITP, 2023)

Extending a High-Performance Prover to Higher-Order Logic. - Petar Vukmirovic; Jasmin Blanchette; Stephan Schulz 001 (TACAS (2), 2023)