Stephan Schulz

ORCID

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 20

Top Venues

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Jan Jakubuv, Karel Chvalovský, Zarathustra Amadeus Goertzel, Cezary Kaliszyk, Mirek Olsák, Bartosz Piotrowski, Stephan Schulz, Martin Suda, Josef Urban
MizAR 60 for Mizar 50. CoRR (2023)
Jan Jakubuv, Karel Chvalovský, Zarathustra Amadeus Goertzel, Cezary Kaliszyk, Mirek Olsák, Bartosz Piotrowski, Stephan Schulz, Martin Suda, Josef Urban
MizAR 60 for Mizar 50. ITP (2023)
Petar Vukmirovic, Jasmin Blanchette, Stephan Schulz
Extending a High-Performance Prover to Higher-Order Logic. TACAS (2) (2023)
Adam Pease, Stephan Schulz
Contradiction Detection and Repair in a Large Theory. FLAIRS (2022)
Stephan Schulz
Empirical Properties of Term Orderings for Superposition. PAAR@IJCAR (2022)
Petar Vukmirovic, Jasmin Blanchette, Simon Cruanes, Stephan Schulz
Extending a brainiac prover to lambda-free higher-order logic. Int. J. Softw. Tools Technol. Transf. 24 (1) (2022)
Nahku Saidy, Hanna Siegfried, Stephan Schulz, Geoff Sutcliffe
Cutting Down the TPTP Language (And Others). PAAR+SC²@IJCAR (2020)
Constantin Ruhdorfer, Stephan Schulz
Efficient Implementation of Large-Scale Watchlists. PAAR+SC²@IJCAR (2020)
Didier Galmiche, Stephan Schulz, Roberto Sebastiani
Preface: Special Issue of Selected Extended Papers from IJCAR 2018. J. Autom. Reason. 64 (7) (2020)
Stephan Schulz, Adam Pease
Teaching Automated Theorem Proving by Example: PyRes 1.2 - (System Description). IJCAR (2) (2020)
Petar Vukmirovic, Jasmin Christian Blanchette, Simon Cruanes, Stephan Schulz
Extending a Brainiac Prover to Lambda-Free Higher-Order Logic. TACAS (1) (2019)
Stephan Schulz, Simon Cruanes, Petar Vukmirovic
Faster, Higher, Stronger: E 2.3. CADE (2019)
Zarathustra Amadeus Goertzel, Jan Jakubuv, Stephan Schulz, Josef Urban
ProofWatch: Watchlist Guidance for Large Theories in E. CoRR (2018)
Pascal Fontaine, Cezary Kaliszyk, Stephan Schulz, Josef Urban
Foreword to the Special Issue on Automated Reasoning. AI Commun. 31 (3) (2018)
Zarathustra Amadeus Goertzel, Jan Jakubuv, Stephan Schulz, Josef Urban
ProofWatch: Watchlist Guidance for Large Theories in E. ITP (2018)
Stephan Schulz
We know (nearly) nothing!l But can we learn? ARCADE@CADE (2017)
Jasmin Christian Blanchette, Pascal Fontaine, Stephan Schulz, Uwe Waldmann
Towards Strong Higher-Order Automation for Fast Interactive Verification. ARCADE@CADE (2017)
Stephan Schulz, Geoff Sutcliffe, Josef Urban, Adam Pease
Detecting Inconsistencies in Large First-Order Knowledge Bases. CADE (2017)
Mohamed Hassona, Stephan Schulz
Deduction as a Service. PAAR@IJCAR (2016)
Stephan Schulz, Martin Möhrmann
Performance of Clause Selection Heuristics for Saturation-Based Theorem Proving. IJCAR (2016)
Simon Schäfer, Stephan Schulz
Breeding Theorem Proving Heuristics with Genetic Algorithms. GCAI (2015)
Cezary Kaliszyk, Stephan Schulz, Josef Urban, Jirí Vyskocil
System Description: E.T. 0.1. CADE (2015)
Geoff Sutcliffe, Stephan Schulz
The Thousands of Models for Theorem Provers (TMTP) Model Library - First Steps. IWIL@LPAR (2015)
Adam Pease, Stephan Schulz
Knowledge Engineering for Large Ontologies with Sigma KEE 3.0. IJCAR (2014)
Daniel Kühlwein, Stephan Schulz, Josef Urban
E-MaLeS 1.1. CADE (2013)
Stephan Schulz
System Description: E 1.8. LPAR (2013)
Stephan Schulz
Simple and Efficient Clause Subsumption with Feature Vector Indexing. Automated Reasoning and Mathematics (2013)
Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Peter Baumgartner
The TPTP Typed First-Order Form with Arithmetic. LPAR (2012)
Stephan Schulz
Fingerprint Indexing for Paramodulation and Rewriting. IJCAR (2012)
Boris Konev, Renate A. Schmidt, Stephan Schulz
Special issue on practical aspects of automated reasoning. AI Commun. 23 (2-3) (2010)
Renate A. Schmidt, Geoff Sutcliffe, Stephan Schulz
Empirically successful computerized reasoning. J. Appl. Log. 7 (1) (2009)
Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz
New results on rewrite-based satisfiability procedures. ACM Trans. Comput. Log. 10 (1) (2009)
Stephan Schulz, Geoff Sutcliffe, Tanel Tammet
Preface. Int. J. Artif. Intell. Tools 15 (1) (2006)
Bernd Fischer, Geoff Sutcliffe, Stephan Schulz
Empirically Successful Automated Reasoning: Systems Issue. J. Autom. Reason. 36 (4) (2006)
Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz
New results on rewrite-based satisfiability procedures CoRR (2006)
Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Allen Van Gelder
Using the TPTP Language for Writing Derivations and Finite Interpretations. IJCAR (2006)
Bernd Fischer, Geoff Sutcliffe, Stephan Schulz
Empirically Successful Automated Reasoning: Applications Issue. J. Autom. Reason. 37 (1-2) (2006)
Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz
On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal. FroCoS (2005)
Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani
The MathSAT 3 System. CADE (2005)
Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures. J. Autom. Reason. 35 (1-3) (2005)
Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic. TACAS (2005)
Stephan Schulz
System Description: E 0.81. IJCAR (2004)
Stephan Schulz, Geoff Sutcliffe
System Description: GrAnDe 1.0. CADE (2002)
Stephan Schulz
E - a brainiac theorem prover. AI Commun. 15 (2-3) (2002)
Stephan Schulz
A Comparison of Different Techniques for Grounding Near-Propositional CNF Formulae. FLAIRS Conference (2002)
Stephan Schulz
Information-Based Selection of Abstraction Levels. FLAIRS Conference (2001)
Joachim Draeger, Stephan Schulz
Improving the Performance of Automated Theorem Provers by Redundancy-Free Lemmatization. FLAIRS Conference (2001)
Stephan Schulz
System Abstract: E 0.61. IJCAR (2001)
Stephan Schulz
Learning Search Control Knowledge for Equational Theorem Proving. KI/ÖGAI (2001)
Jörg Denzinger, Stephan Schulz
Automatic Acquisition of Search Control Knowledge from Multiple Proof Attempts. Inf. Comput. 162 (1-2) (2000)
Stephan Schulz
System Abstract: E 0.3. CADE (1999)
Stephan Schulz, Felix Brandt
Using Term Space Maps to Capture Search Control Knowledge in Equational Theorem Proving. FLAIRS Conference (1999)
Jörg Denzinger, Martin Kronenburg, Stephan Schulz
DISCOUNT - A Distributed and Learning Equational Prover. J. Autom. Reason. 18 (2) (1997)
Jörg Denzinger, Stephan Schulz
Recording and Analysing Knowledge-Based Distributed Deduction Processes. J. Symb. Comput. 21 (4) (1996)
Jörg Denzinger, Stephan Schulz
Learning Domain Knowledge to Improve Theorem Proving. CADE (1996)
Jörg Denzinger, Stephan Schulz
Recording, Analyzing and Presenting Distributed Deduction Processes. PASCO (1994)

Stephan Schulz.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stephan Schulz