Author:Giles Reger

Publications
EasyChair Preprint no. 1

Keyphrases

automated reasoning3, automated theorem proving, Avatar3, AVATAR architecture, Clausal Normal Form, Clausification, first-order logic6, first-order theorem proving, proof checking, proof output, Satisfiability Modulo Theories2, Saturation Algorithms2, SMT, SMT solving, superposition calculus, theorem proving6, theory reasoning, Vampire6, Z3.