Author:Andrei Voronkov

Publications
Logic Programming with Bounded Quantifiers Andrei Voronkov EasyChair Preprint no. 3169
Implementing Bottom-up Procedures with Code Trees: a Case Study of Forward Subsumption Andrei Voronkov EasyChair Preprint no. 3148
Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops Laura Kovács and Andrei Voronkov (editors) EPiC Series in Computing, volume 71
Induction with Generalization in Superposition Reasoning Petra Hozzová, Laura Kovács, Johannes Schoisswohl and Andrei Voronkov EasyChair Preprint no. 2468
Induction in Saturation-Based Proof Search Giles Reger and Andrei Voronkov EasyChair Preprint no. 826
Vampire 2017. Proceedings of the 4th Vampire Workshop Laura Kovács and Andrei Voronkov (editors) EPiC Series in Computing, volume 53
A FOOLish Encoding of the Next State Relations of Imperative Programs Evgenii Kotelnikov, Laura Kovács and Andrei Voronkov EasyChair Preprint no. 98
Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning Giles Reger, Martin Suda and Andrei Voronkov EasyChair Preprint no. 1
IWIL Workshop and LPAR Short Presentations Thomas Eiter, David Sands, Geoff Sutcliffe and Andrei Voronkov (editors) Kalpa Publications in Computing, volume 1
First-Order Interpolation and Interpolating Proof Systems Laura Kovács and Andrei Voronkov In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Vampire 2016. Proceedings of the 3rd Vampire Workshop Laura Kovács and Andrei Voronkov (editors) EPiC Series in Computing, volume 44
New Techniques in Clausal Form Generation Giles Reger, Martin Suda and Andrei Voronkov In:GCAI 2016. 2nd Global Conference on Artificial Intelligence
AVATAR Modulo Theories Giles Reger, Nikolaj Bjorner, Martin Suda and Andrei Voronkov In:GCAI 2016. 2nd Global Conference on Artificial Intelligence
A Clausal Normal Form Translation for FOOL Evgenii Kotelnikov, Laura Kovács, Martin Suda and Andrei Voronkov In:GCAI 2016. 2nd Global Conference on Artificial Intelligence
Proceedings of the 1st and 2nd Vampire Workshops Laura Kovács and Andrei Voronkov (editors) EPiC Series in Computing, volume 38
SAT solving experiments in Vampire Armin Biere, Ioan Dragan, Laura Kovács and Andrei Voronkov In:Proceedings of the 1st and 2nd Vampire Workshops
The Challenges of Evaluating a New Feature in Vampire Giles Reger, Martin Suda and Andrei Voronkov In:Proceedings of the 1st and 2nd Vampire Workshops
GCAI 2015. Global Conference on Artificial Intelligence Georg Gottlob, Geoff Sutcliffe and Andrei Voronkov (editors) EPiC Series in Computing, volume 36
LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations Ansgar Fehnker, Annabelle McIver, Geoff Sutcliffe and Andrei Voronkov (editors) EPiC Series in Computing, volume 35
SCSS 2014. 6th International Symposium on Symbolic Computation in Software Science Temur Kutsia and Andrei Voronkov (editors) EPiC Series in Computing, volume 30
LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning Kenneth L. McMillan, Aart Middeldorp, Geoff Sutcliffe and Andrei Voronkov (editors) EPiC Series in Computing, volume 26
PSI 2014. Ershov Informatics Conference Irina Virbitskaite and Andrei Voronkov (editors) EPiC Series in Computing, volume 23
HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday Andrei Voronkov and Margarita Korovina (editors) EPiC Series in Computing, volume 42
EasyChair Andrei Voronkov In:WWV 2010. 6th International Workshop on Automated Specification and Verification of Web Systems
LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning. Andrei Voronkov, Geoff Sutcliffe, Matthias Baaz and Christian Fermüller (editors) EPiC Series in Computing, volume 13
Turing-100. The Alan Turing Centenary Andrei Voronkov (editors) EPiC Series in Computing, volume 10
WING 2010. Workshop on Invariant Generation 2010 Andrei Voronkov, Laura Kovács and Nikolaj Bjorner (editors) EPiC Series in Computing, volume 1

Keyphrases

automated induction, automated reasoning⁵, automated theorem prover, automated theorem proving², Avatar³, AVATAR architecture², bounded quantifiers, Clausal Normal Form, clause normal form, Clausification, code trees, computability, conference management, easychair, first-order logic⁵, first-order theorem prover, first-order theorem proving³, FOOL, fool formula, forward subsumption, hereditarily finite sets, induction, induction with generalization, interpolation, logic programming, next state relation, program verification, Resolution Calculus, runtime algorithm specialization, SAT solving, Satisfiability Modulo Theories², Saturation Algorithms³, saturation based proof search, SMT, SMT solving, static analysis, structural induction, Subsumption algorithm, superposition, superposition calculus, superposition reasoning, term algebra, term indexing, theorem prover, theorem proving⁴, theory reasoning, translation, Vampire⁶, Web Services, Z3.