Author:Stephan Schulz

Publications
EasyChair Preprint 10510
EasyChair Preprint 2272
EasyChair Preprint 2272
EasyChair Preprint 8

Keyphrases

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