Author:Stephan Schulz

Publications
EasyChair Preprint no. 10510
EasyChair Preprint no. 2272
EasyChair Preprint no. 8

Keyphrases

automated reasoning2, automated theorem proving5, automatic theorem provers, deduction, efficient algorithms, equational theorem proving2, first-order logic2, Genetic Algorithms, heuristic search, Heuristics, higher-order logic, implementation of logics, interpretation, machine learning, model, Satisfiability Modulo Theories (SMT), search, superposition calculus, TPTP.