Stephan Schulz

Cited by

	All	Since 2017
Citations	2869	1009
h-index	29	15
i10-index	40	24

240

120

180

199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202210 16 22 32 30 24 45 33 41 48 81 116 132 131 117 143 108 122 149 119 154 146 163 178 235 142 209 81

Public access

View all

6 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
Alessandro ArmandoUniversity of GenovaVerified email at unige.it
Maria Paola BonacinaProfessor of Computer Science, Università degli Studi di VeronaVerified email at univr.it
Roberto SebastianiFull Professor in Computer Science, DISI, University of Trento, ItalyVerified email at unitn.it
Alessandro CimattiHead of Unit, Fondazione Bruno KesslerVerified email at fbk.eu
Peter van RossumVerified email at cs.ru.nl
Josef UrbanDistinguished Researcher at Czech Technical University in PragueVerified email at cvut.cz
Petar VukmirovicVrije Universiteit AmsterdamVerified email at vu.nl
Koen ClaessenChalmers University of TechnologyVerified email at chalmers.se
Adam PeaseOwner, Articulate SoftwareVerified email at articulatesoftware.com
Jasmin BlanchetteVrije Universiteit AmsterdamVerified email at vu.nl
Peter BaumgartnerData61|CSIROVerified email at data61.csiro.au
Daniel KuehlweinCapgeminiVerified email at cs.ru.nl
Cezary KaliszykUniversity of InnsbruckVerified email at uibk.ac.at
Jiří VyskočilCzech Technical University in PragueVerified email at cvut.cz
Simon SchäferDHBW StuttgartVerified email at simon-schaefer.net
Zarathustra GoertzelCIIRC/CVUT/Global MindVerified email at cvut.cz
Jan JakubuvCzech Technical University in Prague, CIIRCVerified 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	618	2002
System description: E 1.8 S Schulz International Conference on Logic for Programming Artificial Intelligence …, 2013	301	2013
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	127	2009
System description: E 0.81 S Schulz International Joint Conference on Automated Reasoning, 223-228, 2004	121	2004
Discount-a distributed and learning equational prover J Denzinger, M Kronenburg, S Schulz Journal of Automated Reasoning 18 (2), 189-198, 1997	104	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	100	2005
An incremental and layered procedure for the satisfiability of linear arithmetic logic M Bozzano, R Bruttomesso, A Cimatti, T Junttila, P Rossum, S Schulz, ... International Conference on Tools and Algorithms for the Construction and …, 2005	92	2005
Using the TPTP language for writing derivations and finite interpretations G Sutcliffe, S Schulz, K Claessen, AV Gelder International Joint Conference on Automated Reasoning, 67-81, 2006	79	2006
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	78	2004
The TPTP typed first-order form with arithmetic G Sutcliffe, S Schulz, K Claessen, P Baumgartner International Conference on Logic for Programming Artificial Intelligence …, 2012	76	2012
The mathsat 3 system M Bozzano, R Bruttomesso, A Cimatti, T Junttila, P Rossum, S Schulz, ... International Conference on Automated Deduction, 315-321, 2005	74	2005
Faster, higher, stronger: E 2.3 S Schulz, S Cruanes, P Vukmirović International Conference on Automated Deduction, 495-507, 2019	69	2019
Recording and analysing knowledge-based distributed deduction processes J Denzinger, S Schulz Journal of Symbolic Computation 21 (4-6), 523-541, 1996	60	1996
Simple and efficient clause subsumption with feature vector indexing S Schulz Automated Reasoning and Mathematics, 45-67, 2013	57	2013
System abstract: E 0.61 S Schulz International Joint Conference on Automated Reasoning, 370-375, 2001	55	2001
Learning domain knowledge to improve theorem proving J Denzinger, S Schulz International Conference on Automated Deduction, 62-76, 1996	53	1996
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	51	2005
Performance of clause selection heuristics for saturation-based theorem proving S Schulz, M Möhrmann International Joint Conference on Automated Reasoning, 330-345, 2016	47	2016
A Comparison of Different Techniques for Grounding Near-Propositional CNF Formulae. S Schulz FLAIRS Conference, 72-76, 2002	47	2002
Learning search control knowledge for equational deduction, volume 230 of DISKI S Schulz Infix Akademische Verlagsgesellschaft, 2000	45	2000

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 this author

Cited by

Co-authors