Author:Andrei Voronkov

Publications
EasyChair Preprint no. 98
EasyChair Preprint no. 1
Andrei Voronkov (editors)

Keyphrases

automated reasoning3, automated theorem prover, automated theorem proving2, Avatar3, AVATAR architecture, Clausal Normal Form, clause normal form, Clausification, conference management, easychair, first-order logic4, first-order theorem prover, first-order theorem proving, FOOL, fool formula, interpolation, next state relation, program verification, Resolution Calculus, SAT solving, Satisfiability Modulo Theories2, Saturation Algorithms2, SMT, SMT solving, static analysis, superposition, superposition calculus, theorem prover, theorem proving4, theory reasoning, translation, Vampire5, Web Services, Z3.