default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStephan Schulz 0001
Person information
- affiliation: Duale Hochschule Baden-Württemberg, Germany
- affiliation: Technical University of Munich, Germany
Other persons with the same name
- Stephan Schulz 0002 — Conformiq Inc., Helsinki, Finland (and 3 more)
- Stephan Schulz 0003 — Mercedes-Benz Research, Palo Alto, CA, USA
- Stephan Schulz 0004 — Fraunhofer Institute for Integrated Circuits, Dresden, Germany
- Stephan Schulz 0005
![[0000-0003-2896-4488]](https://dblp.uni-trier.de./img/orcid-mark.12x12.png "0000-0003-2896-4488")
— University Duisburg-Essen, Faculty of Chemistry, Essen, Germany - Stephan Schulz 0006 — Jülich Supercomputing Centre, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c39]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: 19:1-19:22- [c38]Petar Vukmirovic, Jasmin Blanchette, Stephan Schulz:
Extending a High-Performance Prover to Higher-Order Logic. TACAS (2) 2023: 111-129 - [i3]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 abs/2303.06686 (2023) - 2022
- [j14]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): 67-87 (2022) - [c37]Adam Pease, Stephan Schulz:
Contradiction Detection and Repair in a Large Theory. FLAIRS 2022 - [c36]Stephan Schulz:
Empirical Properties of Term Orderings for Superposition. PAAR@IJCAR 2022 - 2020
- [j13]Didier Galmiche, Stephan Schulz, Roberto Sebastiani:
Preface: Special Issue of Selected Extended Papers from IJCAR 2018. J. Autom. Reason. 64(7): 1165-1167 (2020) - [c35]Constantin Ruhdorfer, Stephan Schulz:
Efficient Implementation of Large-Scale Watchlists. PAAR+SC²@IJCAR 2020: 120-133 - [c34]Nahku Saidy, Hanna Siegfried, Stephan Schulz, Geoff Sutcliffe:
Cutting Down the TPTP Language (And Others). PAAR+SC²@IJCAR 2020: 134-147 - [c33]Stephan Schulz, Adam Pease:
Teaching Automated Theorem Proving by Example: PyRes 1.2 - (System Description). IJCAR (2) 2020: 158-166
2010 – 2019
- 2019
- [c32]Stephan Schulz, Simon Cruanes, Petar Vukmirovic:
Faster, Higher, Stronger: E 2.3. CADE 2019: 495-507 - [c31]Petar Vukmirovic, Jasmin Christian Blanchette, Simon Cruanes, Stephan Schulz:
Extending a Brainiac Prover to Lambda-Free Higher-Order Logic. TACAS (1) 2019: 192-210 - 2018
- [j12]Pascal Fontaine, Cezary Kaliszyk, Stephan Schulz, Josef Urban:
Foreword to the Special Issue on Automated Reasoning. AI Commun. 31(3): 235-236 (2018) - [c30]Zarathustra Amadeus Goertzel, Jan Jakubuv, Stephan Schulz, Josef Urban:
ProofWatch: Watchlist Guidance for Large Theories in E. ITP 2018: 270-288 - [e12]Didier Galmiche, Stephan Schulz, Roberto Sebastiani:
Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. Lecture Notes in Computer Science 10900, Springer 2018, ISBN 978-3-319-94204-9 [contents] - [e11]Gilles Barthe, Konstantin Korovin, Stephan Schulz, Martin Suda, Geoff Sutcliffe, Margus Veanes:
LPAR-22 Workshop and Short Paper Proceedings, Awassa, Ethiopia, 16-21 November 2018. Kalpa Publications in Computing 9, EasyChair 2018 [contents] - [i2]Zarathustra Amadeus Goertzel, Jan Jakubuv, Stephan Schulz, Josef Urban:
ProofWatch: Watchlist Guidance for Large Theories in E. CoRR abs/1802.04007 (2018) - 2017
- [c29]Jasmin Christian Blanchette, Pascal Fontaine, Stephan Schulz, Uwe Waldmann:
Towards Strong Higher-Order Automation for Fast Interactive Verification. ARCADE@CADE 2017: 16-23 - [c28]Stephan Schulz:
We know (nearly) nothing!l But can we learn? ARCADE@CADE 2017: 29-32 - [c27]Stephan Schulz, Geoff Sutcliffe, Josef Urban, Adam Pease:
Detecting Inconsistencies in Large First-Order Knowledge Bases. CADE 2017: 310-325 - 2016
- [c26]Mohamed Hassona, Stephan Schulz:
Deduction as a Service. PAAR@IJCAR 2016: 32-40 - [c25]Stephan Schulz, Martin Möhrmann:
Performance of Clause Selection Heuristics for Saturation-Based Theorem Proving. IJCAR 2016: 330-345 - [e10]Pascal Fontaine, Stephan Schulz, Josef Urban:
Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), Coimbra, Portugal, July 2nd, 2016. CEUR Workshop Proceedings 1635, CEUR-WS.org 2016 [contents] - [e9]Boris Konev, Stephan Schulz, Laurent Simon:
IWIL@LPAR 2015, 11th International Workshop on the Implementation of Logics, Suva, Fiji, November 23, 2015. EPiC Series in Computing 40, EasyChair 2016 [contents] - 2015
- [c24]Cezary Kaliszyk, Stephan Schulz, Josef Urban, Jirí Vyskocil:
System Description: E.T. 0.1. CADE 2015: 389-398 - [c23]Simon Schäfer, Stephan Schulz:
Breeding Theorem Proving Heuristics with Genetic Algorithms. GCAI 2015: 263-274 - [c22]Geoff Sutcliffe, Stephan Schulz:
The Thousands of Models for Theorem Provers (TMTP) Model Library - First Steps. IWIL@LPAR 2015: 106-121 - [e8]Stephan Schulz, Leonardo de Moura, Boris Konev:
4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR 2014, Vienna, Austria, 2014. EPiC Series in Computing 31, EasyChair 2015 [contents] - 2014
- [c21]Adam Pease, Stephan Schulz:
Knowledge Engineering for Large Ontologies with Sigma KEE 3.0. IJCAR 2014: 519-525 - 2013
- [c20]Stephan Schulz:
Simple and Efficient Clause Subsumption with Feature Vector Indexing. Automated Reasoning and Mathematics 2013: 45-67 - [c19]Daniel Kühlwein, Stephan Schulz, Josef Urban:
E-MaLeS 1.1. CADE 2013: 407-413 - [c18]Stephan Schulz:
System Description: E 1.8. LPAR 2013: 735-743 - [e7]Pascal Fontaine, Renate A. Schmidt, Stephan Schulz:
Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012, Manchester, UK, June 30 - July 1, 2012. EPiC Series in Computing 21, EasyChair 2013 [contents] - [e6]Konstantin Korovin, Stephan Schulz, Eugenia Ternovska:
IWIL 2012: The 9th International Workshop on the Implementation of Logics, Merida, Venezuela, March 10, 2012. EPiC Series in Computing 22, EasyChair 2013 [contents] - 2012
- [c17]Stephan Schulz:
Fingerprint Indexing for Paramodulation and Rewriting. IJCAR 2012: 477-483 - [c16]Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Peter Baumgartner:
The TPTP Typed First-Order Form with Arithmetic. LPAR 2012: 406-419 - [e5]Renate A. Schmidt, Stephan Schulz, Boris Konev:
Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010. EPiC Series in Computing 9, EasyChair 2012 [contents] - [e4]Geoff Sutcliffe, Stephan Schulz, Eugenia Ternovska:
The 8th International Workshop on the Implementation of Logics, IWIL 2010, Yogyakarta, Indonesia, October 9, 2011. EPiC Series in Computing 2, EasyChair 2012 [contents] - 2010
- [j11]Boris Konev, Renate A. Schmidt, Stephan Schulz:
Special issue on practical aspects of automated reasoning. AI Commun. 23(2-3): 67-68 (2010)
2000 – 2009
- 2009
- [j10]Renate A. Schmidt, Geoff Sutcliffe, Stephan Schulz:
Empirically successful computerized reasoning. J. Appl. Log. 7(1): 1 (2009) - [j9]Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz:
New results on rewrite-based satisfiability procedures. ACM Trans. Comput. Log. 10(1): 4:1-4:51 (2009) - 2008
- [e3]Boris Konev, Renate A. Schmidt, Stephan Schulz:
Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, Sydney, Australia, August 10-11, 2008. CEUR Workshop Proceedings 373, CEUR-WS.org 2008 [contents] - [e2]Piotr Rudnicki, Geoff Sutcliffe, Boris Konev, Renate A. Schmidt, Stephan Schulz:
Proceedings of the LPAR 2008 Workshops, Knowledge Exchange: Automated Provers and Proof Assistants, and the 7th International Workshop on the Implementation of Logics, Doha, Qatar, November 22, 2008. CEUR Workshop Proceedings 418, CEUR-WS.org 2008 [contents] - 2007
- [e1]Geoff Sutcliffe, Josef Urban, Stephan Schulz:
Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, Bremen, Germany, 17th July 2007. CEUR Workshop Proceedings 257, CEUR-WS.org 2007 [contents] - 2006
- [j8]Stephan Schulz, Geoff Sutcliffe, Tanel Tammet:
Preface. Int. J. Artif. Intell. Tools 15(1): 1-2 (2006) - [j7]Bernd Fischer, Geoff Sutcliffe, Stephan Schulz:
Empirically Successful Automated Reasoning: Systems Issue. J. Autom. Reason. 36(4): 287 (2006) - [j6]Bernd Fischer, Geoff Sutcliffe, Stephan Schulz:
Empirically Successful Automated Reasoning: Applications Issue. J. Autom. Reason. 37(1-2): 1 (2006) - [c15]Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Allen Van Gelder:
Using the TPTP Language for Writing Derivations and Finite Interpretations. IJCAR 2006: 67-81 - [i1]Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz:
New results on rewrite-based satisfiability procedures. CoRR abs/cs/0604054 (2006) - 2005
- [j5]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): 265-293 (2005) - [c14]Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani:
The MathSAT 3 System. CADE 2005: 315-321 - [c13]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: 65-80 - [c12]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: 317-333 - 2004
- [c11]Stephan Schulz:
System Description: E 0.81. IJCAR 2004: 223-228 - 2002
- [j4]Stephan Schulz:
E - a brainiac theorem prover. AI Commun. 15(2-3): 111-126 (2002) - [c10]Stephan Schulz, Geoff Sutcliffe:
System Description: GrAnDe 1.0. CADE 2002: 280-284 - [c9]Stephan Schulz:
A Comparison of Different Techniques for Grounding Near-Propositional CNF Formulae. FLAIRS 2002: 72-76 - 2001
- [c8]Stephan Schulz:
System Abstract: E 0.61. IJCAR 2001: 370-375 - [c7]Joachim Draeger, Stephan Schulz:
Improving the Performance of Automated Theorem Provers by Redundancy-Free Lemmatization. FLAIRS 2001: 345-349 - [c6]Stephan Schulz:
Information-Based Selection of Abstraction Levels. FLAIRS 2001: 402-406 - [c5]Stephan Schulz:
Learning Search Control Knowledge for Equational Theorem Proving. KI/ÖGAI 2001: 320-334 - 2000
- [b1]Stephan Schulz:
Learning search control knowledge for equational deduction. Technical University Munich, Germany, DISKI 230, Infix Akademische Verlagsgesellschaft 2000, ISBN 978-3-89838-230-4, pp. I-XIII, 1-182 - [j3]Jörg Denzinger, Stephan Schulz:
Automatic Acquisition of Search Control Knowledge from Multiple Proof Attempts. Inf. Comput. 162(1-2): 59-79 (2000)
1990 – 1999
- 1999
- [c4]Stephan Schulz:
System Abstract: E 0.3. CADE 1999: 297-301 - [c3]Stephan Schulz, Felix Brandt:
Using Term Space Maps to Capture Search Control Knowledge in Equational Theorem Proving. FLAIRS 1999: 244-248 - 1997
- [j2]Jörg Denzinger, Martin Kronenburg, Stephan Schulz:
DISCOUNT - A Distributed and Learning Equational Prover. J. Autom. Reason. 18(2): 189-198 (1997) - 1996
- [j1]Jörg Denzinger, Stephan Schulz:
Recording and Analysing Knowledge-Based Distributed Deduction Processes. J. Symb. Comput. 21(4): 523-541 (1996) - [c2]Jörg Denzinger, Stephan Schulz:
Learning Domain Knowledge to Improve Theorem Proving. CADE 1996: 62-76 - 1994
- [c1]Jörg Denzinger, Stephan Schulz:
Recording, Analyzing and Presenting Distributed Deduction Processes. PASCO 1994: 114-123
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
