EasyChair Publications
Search
Author Information
Author:Stephan Schulz

Publications

AuthorsTitleVolumePDF
Simon Schäfer and Stephan SchulzBreeding Theorem Proving Heuristics with Genetic AlgorithmsGeorg Gottlob, Geoff Sutcliffe and Andrei Voronkov (editors). GCAI 2015. Global Conference on Artificial Intelligence (EPiC Series in Computing, Volume 36)
Geoff Sutcliffe and Stephan SchulzThe Thousands of Models for Theorem Provers (TMTP) Model Library - First StepsBoris Konev, Stephan Schulz and Laurent Simon (editors). IWIL-2015. 11th International Workshop on the Implementation of Logics (EPiC Series in Computing, Volume 40)
Geoff Sutcliffe, Stephan Schulz and Eugenia Ternovska (editors)IWIL 2010. The 8th International Workshop on the Implementation of LogicsEPiC Series, Volume 2
Renate A. Schmidt, Stephan Schulz and Boris Konev (editors)PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated ReasoningEPiC Series, Volume 9
Pascal Fontaine, Renate A. Schmidt and Stephan Schulz (editors)PAAR-2012. Third Workshop on Practical Aspects of Automated ReasoningEPiC Series, Volume 21
Konstantin Korovin, Stephan Schulz and Eugenia Ternovska (editors)IWIL 2012. The 9th International Workshop on the Implementation of LogicsEPiC Series, Volume 22
Stephan Schulz, Leonardo De Moura and Boris Konev (editors)PAAR-2014. 4th Workshop on Practical Aspects of Automated ReasoningEPiC Series, Volume 31
Boris Konev, Stephan Schulz and Laurent Simon (editors)IWIL-2015. 11th International Workshop on the Implementation of LogicsEPiC Series, Volume 40

Keyphrases

CountKeyphrase
1automated theorem proving, genetic algorithms, heuristic search, interpretation, model, tptp