Author:Stephan Schulz

Publications
EasyChair Preprint no. 8

Keyphrases

automated reasoning, automated theorem proving3, automatic theorem provers, deduction, equational theorem proving, first-order logic, Genetic Algorithms, heuristic search, Heuristics, higher-order logic, interpretation, machine learning, model, Satisfiability Modulo Theories (SMT), search, superposition calculus, TPTP.