Author:Martin Suda

Publications
EasyChair Preprint no. 1

Keyphrases

automated reasoning4, automated theorem proving2, Avatar3, AVATAR architecture, blocked clauses, Clausal Normal Form, clause elimination, clause normal form, Clausification, first-order logic7, first-order theorem proving, FOOL, machine learning, Parameters Learning, Preprocessing, proof checking, proving strategy, SAT, Satisfiability Modulo Theories2, Saturation Algorithms2, SMT, SMT solving, strategy invention, superposition calculus, theorem proving7, theory reasoning, translation, Vampire5, Z3.