Author:Stephan Schulz

Publications
Lazy and Eager Patterns in High-Performance Automated Theorem Proving Stephan Schulz EasyChair Preprint 10510
E 2.4 User Manual Stephan Schulz EasyChair Preprint 2272
E 2.0 User Manual Stephan Schulz EasyChair Preprint 8
Some Experiments with Twee-Style Goal-Directedness Stephan Schulz In:Proceedings of 16th International Workshop on the Implementation on Logics. Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning (short papers)
Shared Terms and Cached Rewriting Stephan Schulz In:Proceedings of the 14th and 15th International Workshops on the Implementation of Logics
Lazy and Eager Patterns in High-Performance Automated Theorem Proving Stephan Schulz In:Proceedings of the 7th and 8th Vampire Workshop
Light-Weight Integration of SAT Solving into First-Order Reasoners – First Experiments Stephan Schulz In:Vampire 2017. Proceedings of the 4th Vampire Workshop
We know (nearly) nothing!l But can we learn? Stephan Schulz In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
Towards Strong Higher-Order Automation for Fast Interactive Verification Jasmin Christian Blanchette, Pascal Fontaine, Stephan Schulz and Uwe Waldmann In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
The Thousands of Models for Theorem Provers (TMTP) Model Library - First Steps Geoff Sutcliffe and Stephan Schulz In:IWIL-2015. 11th International Workshop on the Implementation of Logics
Breeding Theorem Proving Heuristics with Genetic Algorithms Simon Schäfer and Stephan Schulz In:GCAI 2015. Global Conference on Artificial Intelligence
Proceedings of 16th International Workshop on the Implementation on Logics. Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning (short papers) Stephan Schulz, Konstantin Korovin and Michael Rawson (editors) Kalpa Publications in Computing, volume 23
Proceedings of the 14th and 15th International Workshops on the Implementation of Logics Konstantin Korovin, Stephan Schulz and Michael Rawson (editors) Kalpa Publications in Computing, volume 21
LPAR-22 Workshop and Short Paper Proceedings Gilles Barthe, Konstantin Korovin, Stephan Schulz, Martin Suda, Geoff Sutcliffe and Margus Veanes (editors) Kalpa Publications in Computing, volume 9
IWIL-2015. 11th International Workshop on the Implementation of Logics Boris Konev, Stephan Schulz and Laurent Simon (editors) EPiC Series in Computing, volume 40
PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning Stephan Schulz, Leonardo De Moura and Boris Konev (editors) EPiC Series in Computing, volume 31
IWIL 2012. The 9th International Workshop on the Implementation of Logics Konstantin Korovin, Stephan Schulz and Eugenia Ternovska (editors) EPiC Series in Computing, volume 22
PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning Pascal Fontaine, Renate A. Schmidt and Stephan Schulz (editors) EPiC Series in Computing, volume 21
PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning Renate A. Schmidt, Stephan Schulz and Boris Konev (editors) EPiC Series in Computing, volume 9
IWIL 2010. The 8th International Workshop on the Implementation of Logics Geoff Sutcliffe, Stephan Schulz and Eugenia Ternovska (editors) EPiC Series in Computing, volume 2

Keyphrases

automated reasoning², automated theorem proving⁷, automatic theorem provers, data structures, deduction, efficient algorithms², equational theorem proving², first-order logic³, Genetic Algorithms, goal-directed search, heuristic search, Heuristics, higher-order logic, implementation of logics³, interpretation, machine learning, model, Satisfiability Modulo Theories (SMT), search, search heuristics, shared terms, superposition calculus, terms, TPTP.