Author:Stephan Schulz

Publications

Keyphrases

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