Stephan Schulz

Available identifiers

zbMath Open schulz.stephanMaRDI QIDQ862394

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Stephan Schulz