Stephan Schulz

70 papers A 16B 4Misc 5Journal 18Unranked 15

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Case Study: Saturations as Explicit Models in Equational Theories. CoRR Mikolás Janota, Michael Rawson, Stephan Schulz
2023	—	`conf`	Extending a High-Performance Prover to Higher-Order Logic. TACAS (2) Petar Vukmirovic, Jasmin Blanchette, Stephan Schulz
2023	B	`conf`	MizAR 60 for Mizar 50. ITP Jan Jakubuv, Karel Chvalovský, Zarathustra Amadeus Goertzel, Cezary Kaliszyk, Mirek Olsák, Bartosz Piotrowski, Stephan Schulz, Martin Suda, Josef Urban
2023	J	`jnl`	MizAR 60 for Mizar 50. CoRR Jan Jakubuv, Karel Chvalovský, Zarathustra Amadeus Goertzel, Cezary Kaliszyk, Mirek Olsák, Bartosz Piotrowski, Stephan Schulz, Martin Suda, Josef Urban
2022	Misc	`conf`	Contradiction Detection and Repair in a Large Theory. FLAIRS Adam Pease, Stephan Schulz
2022	—	`conf`	Empirical Properties of Term Orderings for Superposition. PAAR@IJCAR Stephan Schulz
2022	J	`jnl`	Extending a brainiac prover to lambda-free higher-order logic. Int. J. Softw. Tools Technol. Transf. Petar Vukmirovic, Jasmin Blanchette, Simon Cruanes, Stephan Schulz
2020	—	`conf`	Cutting Down the TPTP Language (And Others). PAAR+SC²@IJCAR Nahku Saidy, Hanna Siegfried, Stephan Schulz, Geoff Sutcliffe
2020	—	`conf`	Efficient Implementation of Large-Scale Watchlists. PAAR+SC²@IJCAR Constantin Ruhdorfer, Stephan Schulz
2020	J	`jnl`	Preface: Special Issue of Selected Extended Papers from IJCAR 2018. J. Autom. Reason. Didier Galmiche, Stephan Schulz, Roberto Sebastiani
2020	—	`conf`	Teaching Automated Theorem Proving by Example: PyRes 1.2 - (System Description). IJCAR (2) Stephan Schulz, Adam Pease
2019	—	`conf`	Extending a Brainiac Prover to Lambda-Free Higher-Order Logic. TACAS (1) Petar Vukmirovic, Jasmin Christian Blanchette, Simon Cruanes, Stephan Schulz
2019	A	`conf`	Faster, Higher, Stronger: E 2.3. CADE Stephan Schulz, Simon Cruanes, Petar Vukmirovic
2018	A	`ed.`	Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings IJCAR Didier Galmiche, Stephan Schulz, Roberto Sebastiani
2018	J	`jnl`	Foreword to the Special Issue on Automated Reasoning. AI Commun. Pascal Fontaine, Cezary Kaliszyk, Stephan Schulz, Josef Urban
2018	—	`ed.`	LPAR-22 Workshop and Short Paper Proceedings, Awassa, Ethiopia, 16-21 November 2018 LPAR (Workshop and Short Papers) Gilles Barthe, Konstantin Korovin, Stephan Schulz, Martin Suda, Geoff Sutcliffe, Margus Veanes
2018	B	`conf`	ProofWatch: Watchlist Guidance for Large Theories in E. ITP Zarathustra Amadeus Goertzel, Jan Jakubuv, Stephan Schulz, Josef Urban
2018	J	`jnl`	ProofWatch: Watchlist Guidance for Large Theories in E. CoRR Zarathustra Amadeus Goertzel, Jan Jakubuv, Stephan Schulz, Josef Urban
2017	A	`conf`	Detecting Inconsistencies in Large First-Order Knowledge Bases. CADE Stephan Schulz, Geoff Sutcliffe, Josef Urban, Adam Pease
2017	—	`conf`	Towards Strong Higher-Order Automation for Fast Interactive Verification. ARCADE@CADE Jasmin Christian Blanchette, Pascal Fontaine, Stephan Schulz, Uwe Waldmann
2017	—	`conf`	We know (nearly) nothing!l But can we learn? ARCADE@CADE Stephan Schulz
2016	—	`conf`	Deduction as a Service. PAAR@IJCAR Mohamed Hassona, Stephan Schulz
2016	—	`ed.`	IWIL@LPAR 2015, 11th International Workshop on the Implementation of Logics, Suva, Fiji, November 23, 2015 IWIL@LPAR Boris Konev, Stephan Schulz, Laurent Simon
2016	A	`conf`	Performance of Clause Selection Heuristics for Saturation-Based Theorem Proving. IJCAR Stephan Schulz, Martin Möhrmann
2016	—	`ed.`	Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), Coimbra, Portugal, July 2nd, 2016. PAAR@IJCAR Pascal Fontaine, Stephan Schulz, Josef Urban
2015	—	`ed.`	4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR 2014, Vienna, Austria, 2014 PAAR@IJCAR Stephan Schulz, Leonardo de Moura, Boris Konev
2015	—	`conf`	Breeding Theorem Proving Heuristics with Genetic Algorithms. GCAI Simon Schäfer, Stephan Schulz
2015	A	`conf`	System Description: E.T. 0.1. CADE Cezary Kaliszyk, Stephan Schulz, Josef Urban, Jirí Vyskocil
2015	—	`conf`	The Thousands of Models for Theorem Provers (TMTP) Model Library - First Steps. IWIL@LPAR Geoff Sutcliffe, Stephan Schulz
2014	A	`conf`	Knowledge Engineering for Large Ontologies with Sigma KEE 3.0. IJCAR Adam Pease, Stephan Schulz
2013	A	`conf`	E-MaLeS 1.1. CADE Daniel Kühlwein, Stephan Schulz, Josef Urban
2013	—	`ed.`	IWIL 2012: The 9th International Workshop on the Implementation of Logics, Merida, Venezuela, March 10, 2012 IWIL@LPAR Konstantin Korovin, Stephan Schulz, Eugenia Ternovska
2013	—	`conf`	Simple and Efficient Clause Subsumption with Feature Vector Indexing. Automated Reasoning and Mathematics Stephan Schulz
2013	B	`conf`	System Description: E 1.8. LPAR Stephan Schulz
2013	—	`ed.`	Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012, Manchester, UK, June 30 - July 1, 2012 PAAR@IJCAR Pascal Fontaine, Renate A. Schmidt, Stephan Schulz
2012	A	`conf`	Fingerprint Indexing for Paramodulation and Rewriting. IJCAR Stephan Schulz
2012	—	`ed.`	Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010 PAAR@IJCAR Renate A. Schmidt, Stephan Schulz, Boris Konev
2012	—	`ed.`	The 8th International Workshop on the Implementation of Logics, IWIL 2010, Yogyakarta, Indonesia, October 9, 2011 IWIL@LPAR Geoff Sutcliffe, Stephan Schulz, Eugenia Ternovska
2012	B	`conf`	The TPTP Typed First-Order Form with Arithmetic. LPAR Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Peter Baumgartner
2010	J	`jnl`	Special issue on practical aspects of automated reasoning. AI Commun. Boris Konev, Renate A. Schmidt, Stephan Schulz
2009	J	`jnl`	Empirically successful computerized reasoning. J. Appl. Log. Renate A. Schmidt, Geoff Sutcliffe, Stephan Schulz
2009	J	`jnl`	New results on rewrite-based satisfiability procedures. ACM Trans. Comput. Log. Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz
2008	—	`ed.`	Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, Sydney, Australia, August 10-11, 2008 PAAR/ESHOL Boris Konev, Renate A. Schmidt, Stephan Schulz
2008	—	`ed.`	Proceedings of the LPAR 2008 Workshops, Knowledge Exchange: Automated Provers and Proof Assistants, and the 7th International Workshop on the Implementation of Logics, Doha, Qatar, November 22, 2008 LPAR Workshops Piotr Rudnicki, Geoff Sutcliffe, Boris Konev, Renate A. Schmidt, Stephan Schulz
2007	—	`ed.`	Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, Bremen, Germany, 17th July 2007 ESARLT Geoff Sutcliffe, Josef Urban, Stephan Schulz
2006	J	`jnl`	Empirically Successful Automated Reasoning: Applications Issue. J. Autom. Reason. Bernd Fischer, Geoff Sutcliffe, Stephan Schulz
2006	J	`jnl`	Empirically Successful Automated Reasoning: Systems Issue. J. Autom. Reason. Bernd Fischer, Geoff Sutcliffe, Stephan Schulz
2006	J	`jnl`	New results on rewrite-based satisfiability procedures CoRR Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz
2006	J	`jnl`	Preface. Int. J. Artif. Intell. Tools Stephan Schulz, Geoff Sutcliffe, Tanel Tammet
2006	A	`conf`	Using the TPTP Language for Writing Derivations and Finite Interpretations. IJCAR Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Allen Van Gelder
2005	A	`conf`	An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic. TACAS Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani
2005	J	`jnl`	MathSAT: Tight Integration of SAT and Mathematical Decision Procedures. J. Autom. Reason. Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani
2005	—	`conf`	On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal. FroCoS Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz
2005	A	`conf`	The MathSAT 3 System. CADE Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani
2004	A	`conf`	System Description: E 0.81. IJCAR Stephan Schulz
2002	Misc	`conf`	A Comparison of Different Techniques for Grounding Near-Propositional CNF Formulae. FLAIRS Stephan Schulz
2002	J	`jnl`	E - a brainiac theorem prover. AI Commun. Stephan Schulz
2002	A	`conf`	System Description: GrAnDe 1.0. CADE Stephan Schulz, Geoff Sutcliffe
2001	Misc	`conf`	Improving the Performance of Automated Theorem Provers by Redundancy-Free Lemmatization. FLAIRS Joachim Draeger, Stephan Schulz
2001	Misc	`conf`	Information-Based Selection of Abstraction Levels. FLAIRS Stephan Schulz
2001	—	`conf`	Learning Search Control Knowledge for Equational Theorem Proving. KI/ÖGAI Stephan Schulz
2001	A	`conf`	System Abstract: E 0.61. IJCAR Stephan Schulz
2000	J	`jnl`	Automatic Acquisition of Search Control Knowledge from Multiple Proof Attempts. Inf. Comput. Jörg Denzinger, Stephan Schulz
2000	—	`—`	Learning search control knowledge for equational deduction. Stephan Schulz
1999	A	`conf`	System Abstract: E 0.3. CADE Stephan Schulz
1999	Misc	`conf`	Using Term Space Maps to Capture Search Control Knowledge in Equational Theorem Proving. FLAIRS Stephan Schulz, Felix Brandt
1997	J	`jnl`	DISCOUNT - A Distributed and Learning Equational Prover. J. Autom. Reason. Jörg Denzinger, Martin Kronenburg, Stephan Schulz
1996	A	`conf`	Learning Domain Knowledge to Improve Theorem Proving. CADE Jörg Denzinger, Stephan Schulz
1996	J	`jnl`	Recording and Analysing Knowledge-Based Distributed Deduction Processes. J. Symb. Comput. Jörg Denzinger, Stephan Schulz
1994	—	`conf`	Recording, Analyzing and Presenting Distributed Deduction Processes. PASCO Jörg Denzinger, Stephan Schulz