Stephan Schulz

Cited by

	All	Since 2019
Citations	3185	1071
h-index	28	15
i10-index	45	23

240

120

180

1995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320248 15 20 32 32 24 56 35 43 41 84 115 114 123 109 127 90 109 150 111 156 127 161 186 225 147 202 181 198 113

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	666	2002
System description: E 1.8 S Schulz International Conference on Logic for Programming Artificial Intelligence …, 2013	335	2013
Faster, higher, stronger: E 2.3 S Schulz, S Cruanes, P Vukmirović Automated Deduction–CADE 27: 27th International Conference on Automated …, 2019	166	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	111	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	101	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	94	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	91	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	81	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	77	2005
Simple and efficient clause subsumption with feature vector indexing S Schulz Automated Reasoning and Mathematics: Essays in Memory of William W. McCune …, 2013	74	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	70	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	56	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	50	2005
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	49	2022
Recording and analysing knowledge-based distributed deduction processes J Denzinger, S Schulz Journal of Symbolic Computation 21 (4-6), 523-541, 1996	49	1996
A Comparison of Different Techniques for Grounding Near-Propositional CNF Formulae. S Schulz FLAIRS 2, 72-76, 2002	44	2002

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