Stephan Schulz

Cited by

	All	Since 2016
Citations	2572	867
h-index	25	14
i10-index	39	22

240

120

180

1995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020218 15 20 31 36 24 43 34 36 49 81 116 131 130 119 142 110 121 148 114 153 147 157 176 224 159 1

Co-authors

Jörg DenzingerDepartment of Computer Science, University of CalgaryVerified email at cpsc.ucalgary.ca
Geoff SutcliffeDepartment of Computer Science, University of MiamiVerified email at cs.miami.edu
Alessandro ArmandoUniversity of GenovaVerified email at unige.it
Maria Paola BonacinaProfessor of Computer Science, Università degli Studi di VeronaVerified email at univr.it
Roberto SebastianiAssociate 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 UrbanPrincipal Researcher at Czech Technical University in PragueVerified email at cvut.cz
Koen ClaessenChalmers University of TechnologyVerified email at chalmers.se
Petar VukmirovicVrije Universiteit AmsterdamVerified email at vu.nl
Jasmin BlanchetteVrije Universiteit AmsterdamVerified email at vu.nl
Adam PeaseOwner, Articulate SoftwareVerified email at articulatesoftware.com
Volker SorgeReader in Scientific Document Analysis, University of BirminghamVerified email at cs.bham.ac.uk
Peter BaumgartnerData61|CSIROVerified email at data61.csiro.au
Daniel KuehlweinCapgeminiVerified email at cs.ru.nl
Cezary KaliszykUniversity of InnsbruckVerified email at uibk.ac.at
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
Jiří VyskočilCzech Technical University in Prague

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	566	2002
System description: E 1.8 S Schulz International Conference on Logic for Programming Artificial Intelligence …, 2013	267	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	123	2009
System description: E 0.81 S Schulz International Joint Conference on Automated Reasoning, 223-228, 2004	119	2004
Discount-a distributed and learning equational prover J Denzinger, M Kronenburg, S Schulz Journal of Automated Reasoning 18 (2), 189-198, 1997	96	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-3), 265-293, 2005	95	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, ... International Conference on Tools and Algorithms for the Construction and …, 2005	87	2005
Using the TPTP language for writing derivations and finite interpretations G Sutcliffe, S Schulz, K Claessen, A Van Gelder International Joint Conference on Automated Reasoning, 67-81, 2006	80	2006
The mathsat 3 system M Bozzano, R Bruttomesso, A Cimatti, T Junttila, P Van Rossum, S Schulz, ... International Conference on Automated Deduction, 315-321, 2005	69	2005
TSTP data-exchange formats for automated theorem proving tools W Zhang, V Sorge Distributed Constraint Problem Solving and Reasoning in Multi-Agent Systems …, 2004	67	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	66	2012
Recording and analysing knowledge-based distributed deduction processes J Denzinger, S Schulz Journal of Symbolic Computation 21 (4-6), 523-541, 1996	59	1996
System abstract: E 0.61 S Schulz International Joint Conference on Automated Reasoning, 370-375, 2001	54	2001
Learning domain knowledge to improve theorem proving J Denzinger, S Schulz International Conference on Automated Deduction, 62-76, 1996	51	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	49	2005
Simple and efficient clause subsumption with feature vector indexing S Schulz Automated Reasoning and Mathematics, 45-67, 2013	46	2013
Learning search control knowledge for equational theorem proving S Schulz Annual Conference on Artificial Intelligence, 320-334, 2001	43	2001
A Comparison of Different Techniques for Grounding Near-Propositional CNF Formulae. S Schulz FLAIRS Conference, 72-76, 2002	41	2002
Learning search control knowledge for equational deduction, volume 230 of DISKI S Schulz Infix Akademische Verlagsgesellschaft, 2000	40	2000
System abstract: E 0.3 S Schulz International Conference on Automated Deduction, 297-301, 1999	40	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

Upload PDF

Follow this author

Cited by

Co-authors