Author:Stephan Schulz
Keyphrasesautomated reasoning2, automated theorem proving4, automatic theorem provers, deduction, equational theorem proving2, first-order logic2, Genetic Algorithms, heuristic search, Heuristics, higher-order logic, interpretation, machine learning, model, Satisfiability Modulo Theories (SMT), search, superposition calculus, TPTP. |