Author:Andrei Voronkov

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

Keyphrases

automated induction, automated reasoning5, automated theorem prover, automated theorem proving2, Avatar3, AVATAR architecture2, Clausal Normal Form, clause normal form, Clausification, conference management, easychair, first-order logic5, first-order theorem prover, first-order theorem proving2, FOOL, fool formula, induction, induction with generalization, interpolation, next state relation, program verification, Resolution Calculus, SAT solving, Satisfiability Modulo Theories2, Saturation Algorithms2, saturation based proof search, SMT, SMT solving, static analysis, structural induction, superposition, superposition calculus, superposition reasoning, term algebra, theorem prover, theorem proving4, theory reasoning, translation, Vampire6, Web Services, Z3.