Author:Stephan Schulz
Keyphrasesautomated 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. |