Stephan Schulz

Cited by

	All	Since 2019
Citations	3247	1125
h-index	28	15
i10-index	46	25

240

120

180

1995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320248 15 20 32 32 24 54 35 43 41 84 115 114 123 109 128 90 109 152 111 157 128 161 187 223 149 200 186 216 146

Public access

View all

9 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Geoff SutcliffeDepartment of Computer Science, University of MiamiVerified email at cs.miami.edu
Jörg DenzingerDepartment of Computer Science, University of CalgaryVerified email at cpsc.ucalgary.ca
Roberto SebastianiFull Professor in Computer Science, DISI, University of Trento, ItalyVerified email at unitn.it
Petar VukmirovicVrije Universiteit AmsterdamVerified email at vu.nl
Alessandro ArmandoUniversity of GenovaVerified email at unige.it
Josef UrbanDistinguished Researcher at Czech Technical University in PragueVerified email at cvut.cz
Maria Paola BonacinaProfessor of Computer Science, Università degli Studi di VeronaVerified email at univr.it
Jasmin BlanchetteLudwig-Maximilians-Universität MünchenVerified email at ifi.lmu.de
Alessandro CimattiFondazione Bruno KesslerVerified email at fbk.eu
Peter van RossumVerified email at cs.ru.nl
Adam PeaseNaval Postgraduate SchoolVerified email at articulatesoftware.com
Koen ClaessenChalmers University of TechnologyVerified email at chalmers.se
Cezary KaliszykUniversity of MelbourneVerified email at unimelb.edu.au
Peter BaumgartnerData61|CSIROVerified email at data61.csiro.au
Daniel KuehlweinCapgeminiVerified email at cs.ru.nl
Zarathustra GoertzelCIIRC/CVUT/Global MindVerified email at cvut.cz
Jan JakubuvCzech Technical University in Prague, CIIRCVerified email at cvut.cz
Simon SchäferDHBW StuttgartVerified email at simon-schaefer.net
Jiří VyskočilCzech Technical University in PragueVerified email at cvut.cz
Volker SorgeProfessor in Document Analysis and Accessibility, University of BirminghamVerified email at cs.bham.ac.uk

Stephan Schulz

Professor of Computer Science, DHBW Stuttgart

Verified email at eprover.org - Homepage

Automated Deduction Theorem Proving Machine Learning Automated Reasoning


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
E–a brainiac theorem prover S Schulz Ai Communications 15 (2-3), 111-126, 2002	681	2002
System description: E 1.8 S Schulz International Conference on Logic for Programming Artificial Intelligence …, 2013	344	2013
Faster, higher, stronger: E 2.3 S Schulz, S Cruanes, P Vukmirović Automated Deduction–CADE 27: 27th International Conference on Automated …, 2019	177	2019
New results on rewrite-based satisfiability procedures A Armando, MP Bonacina, S Ranise, S Schulz ACM Transactions on Computational Logic (TOCL) 10 (1), 1-51, 2009	126	2009
System description: E 0.81 S Schulz Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork …, 2004	112	2004
Discount-a distributed and learning equational prover J Denzinger, M Kronenburg, S Schulz Journal of Automated Reasoning 18, 189-198, 1997	105	1997
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures M Bozzano, R Bruttomesso, A Cimatti, T Junttila, P Van Rossum, S Schulz, ... Journal of Automated Reasoning 35 (1), 265-293, 2005	104	2005
An incremental and layered procedure for the satisfiability of linear arithmetic logic M Bozzano, R Bruttomesso, A Cimatti, T Junttila, P Van Rossum, S Schulz, ... Tools and Algorithms for the Construction and Analysis of Systems: 11th …, 2005	96	2005
The TPTP typed first-order form with arithmetic G Sutcliffe, S Schulz, K Claessen, P Baumgartner Logic for Programming, Artificial Intelligence, and Reasoning: 18th …, 2012	92	2012
TSTP data-exchange formats for automated theorem proving tools G Sutcliffe, J Zimmer, S Schulz Distributed Constraint Problem Solving and Reasoning in Multi-Agent Systems …, 2004	84	2004
Using the TPTP language for writing derivations and finite interpretations G Sutcliffe, S Schulz, K Claessen, A Van Gelder Automated Reasoning: Third International Joint Conference, IJCAR 2006 …, 2006	82	2006
The mathsat 3 system M Bozzano, R Bruttomesso, A Cimatti, T Junttila, P Van Rossum, S Schulz, ... Automated Deduction–CADE-20: 20th International Conference on Automated …, 2005	78	2005
Simple and efficient clause subsumption with feature vector indexing S Schulz Automated Reasoning and Mathematics: Essays in Memory of William W. McCune …, 2013	77	2013
Performance of clause selection heuristics for saturation-based theorem proving S Schulz, M Möhrmann Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra …, 2016	74	2016
System abstract: E 0.61 S Schulz Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena …, 2001	57	2001
Learning domain knowledge to improve theorem proving J Denzinger, S Schulz International Conference on Automated Deduction, 62-76, 1996	57	1996
Extending a brainiac prover to lambda-free higher-order logic P Vukmirović, J Blanchette, S Cruanes, S Schulz International Journal on Software Tools for Technology Transfer 24 (1), 67-87, 2022	50	2022
On a rewriting approach to satisfiability procedures: extension, combination of theories and an experimental appraisal A Armando, MP Bonacina, S Ranise, S Schulz International Workshop on Frontiers of Combining Systems, 65-80, 2005	50	2005
Recording and analysing knowledge-based distributed deduction processes J Denzinger, S Schulz Journal of Symbolic Computation 21 (4-6), 523-541, 1996	49	1996
Learning from previous proof experience J Denzinger, M Fuchs, C Goller, S Schulz Technical Report AR99–4, Institut für Informatik, Technische Universität München, 1999	46*	1999

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors