Get started
Author

Stephan Schulz

Observed names: STEPHAN SCHULZ, Schulz, Stephan
ORCID: 0000-0001-6262-8555
Observed ORCID: 0000-0001-6262-8555
OpenAlex ID: A5030305055
Faster, Higher, Stronger: E 2.3
2019 · Stephan Schulz, Simon Cruanes, et al. · Lecture notes in computer science · 103
New results on rewrite-based satisfiability procedures
2009 · Alessandro Armando, Maria Paola Bonacina, et al. · ACM Transactions on Computational Logic · 87
PDF
System Description: E 0.81
2004 · Stephan Schulz · Lecture notes in computer science · 80
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures
2005 · Marco Bozzano, Roberto Bruttomesso, et al. · Journal of Automated Reasoning · 79
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic
2005 · Marco Bozzano, Roberto Bruttomesso, et al. · Lecture notes in computer science · 72
PDF
DISCOUNT - A Distributed and Learning Equational Prover
1997 · Jörg Denzinger, Martin Kronenburg, et al. · Journal of Automated Reasoning · 64
Using the TPTP Language for Writing Derivations and Finite Interpretations
2006 · Geoff Sutcliffe, Stephan Schulz, et al. · Lecture notes in computer science · 61
The TPTP Typed First-Order Form with Arithmetic
2012 · Geoff Sutcliffe, Stephan Schulz, et al. · Lecture notes in computer science · 60
The MathSAT 3 System
2005 · Marco Bozzano, Roberto Bruttomesso, et al. · Lecture notes in computer science · 58
A Comparison of Different Techniques for Grounding Near-Propositional CNF Formulae
2002 · Stephan Schulz · 35
On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal
2005 · Alessandro Armando, Maria Paola Bonacina, et al. · Lecture notes in computer science · 33
Learning domain knowledge to improve theorem proving
1996 · Jörg Denzinger, Stephan Schulz · Lecture notes in computer science · 33
Fingerprint Indexing for Paramodulation and Rewriting
2012 · Stephan Schulz · Lecture notes in computer science · 31
Recording and Analysing Knowledge-Based Distributed Deduction Processes
1996 · JÖRG DENZINGER, STEPHAN SCHULZ · Journal of Symbolic Computation · 28
Extending a Brainiac Prover to Lambda-Free Higher-Order Logic
2019 · Petar Vukmirović, Jasmin Christian Blanchette, et al. · Lecture notes in computer science · 26
PDF
Extending a brainiac prover to lambda-free higher-order logic
2021 · Petar Vukmirović, Jasmin Blanchette, et al. · International Journal on Software Tools for Technology Transfer · 19
PDF
E-MaLeS 1.1
2013 · Daniel Kühlwein, Stephan Schulz, et al. · Lecture notes in computer science · 16
Learning from Previous Proof Experience: A Survey
1999 · Jörg Denzinger, Matthias Fuchs, et al. · Publication Server of Kaiserslautern University of Technology (Kaiserslautern University of Technology) · 14
PDF
Detecting Inconsistencies in Large First-Order Knowledge Bases
2017 · Stephan Schulz, Geoff Sutcliffe, et al. · Lecture notes in computer science · 13
System Description: E.T. 0.1
2015 · Cezary Kaliszyk, Stephan Schulz, et al. · Lecture notes in computer science · 13
Analysis and Representation of Equational Proofs Generated by a Distributed Completion Based Proof System
1994 · Denzinger, Jörg, Schulz, Stephan · 13
Extending a High-Performance Prover to Higher-Order Logic
2023 · Petar Vukmirović, Jasmin Blanchette, et al. · Lecture notes in computer science · 12
PDF
9th International Joint Conference on Automated Reasoning , IJCAR 2018
2018 · Didier Galmiche, Stephan Schulz, et al. · HAL · 10
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures
2005 · Marco Bozzano, Roberto Bruttomesso, et al. · Springer eBooks · 9
E 2.0 User Manual
2018 · Stephan Schulz · EasyChair preprint · 5
PDF
Works count: 53
Citation count: 1,004
H-index: 16
I10-index: 23
Year
Topic
Type