Author:Andrei Voronkov

Publications
EasyChair Preprint no. 1
Andrei Voronkov (editors)

Keyphrases

automated reasoning3, automated theorem proving, Avatar3, AVATAR architecture, Clausal Normal Form, clause normal form, Clausification, conference management, easychair, first-order logic3, first-order theorem proving, FOOL, interpolation, Resolution Calculus, SAT solving, Satisfiability Modulo Theories2, Saturation Algorithms2, SMT, SMT solving, superposition, superposition calculus, theorem proving4, theory reasoning, translation, Vampire4, Web Services, Z3.