Stephan Schulz

Available identifiers

zbMath Open schulz.stephanMaRDI QIDQ862394

List of research outcomes

Publication	Date of Publication	Type
Mizar 60 for Mizar 50	2024-11-26	Paper
Extending a high-performance prover to higher-order logic	2024-04-05	Paper
Teaching Automated Theorem Proving by Example: PyRes 1.2	2022-11-09	Paper
Faster, higher, stronger: E 2.3	2020-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q5219924	2020-03-09	Paper
Learning domain knowledge to improve theorem proving	2019-01-15	Paper
ProofWatch: watchlist guidance for large theories in E	2018-10-04	Paper
Detecting inconsistencies in large first-order knowledge bases	2017-09-22	Paper
New results on rewrite-based satisfiability procedures	2017-07-12	Paper
Performance of Clause Selection Heuristics for Saturation-Based Theorem Proving	2016-09-05	Paper
System Description: E.T. 0.1	2015-12-02	Paper
System Description: E 1.8	2014-01-17	Paper
E-MaLeS 1.1	2013-06-14	Paper
Simple and Efficient Clause Subsumption with Feature Vector Indexing	2013-04-16	Paper
Fingerprint Indexing for Paramodulation and Rewriting	2012-09-05	Paper
The TPTP Typed First-Order Form with Arithmetic	2012-06-15	Paper
Using the TPTP Language for Writing Derivations and Finite Interpretations	2009-03-12	Paper
Automated Reasoning	2007-09-25	Paper
M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures	2007-01-24	Paper
Frontiers of Combining Systems	2006-10-10	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2005-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4809065	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4797437	2003-03-13	Paper
Automatic acquisition of search control knowledge from multiple proof attempts.	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q3150301	2002-09-30	Paper
https://portal.mardi4nfdi.de/entity/Q4539621	2002-07-10	Paper
https://portal.mardi4nfdi.de/entity/Q4529543	2002-05-03	Paper
An Embedded System's Design Verification Using Object-Oriented Simulation	1999-01-01	Paper
Recording and analysing knowledge-based distributed deduction processes	1997-01-22	Paper

Research outcomes over time

This page was built for person: Stephan Schulz