Author:Giles Reger

Publications
EasyChair Preprint no. 1

Keyphrases

automated reasoning3, automated theorem proving, Avatar4, AVATAR architecture, Clausal Normal Form, Clausification, first-order logic6, first-order theorem proving, Interpolants, local proofs, proof checking, proof output, Question Answering, Satisfiability Modulo Theories2, Saturation Algorithms2, SMT, SMT solving2, superposition calculus, theorem proving8, theory reasoning, Vampire8, Z3.