EasyChair Publications
Search
Author Information
Author:Andrei Voronkov

Publications

AuthorsTitleVolumePDF
Andrei VoronkovEasyChairLaura Kovacs and Temur Kutsia (editors). WWV 2010. 6th International Workshop on Automated Specification and Verification of Web Systems (EPiC Series in Computing, Volume 18)
Armin Biere, Ioan Dragan, Laura Kovacs and Andrei VoronkovSAT solving experiments in VampireLaura Kovács and Andrei Voronkov (editors). Proceedings of the 1st and 2nd Vampire Workshops (EPiC Series in Computing, Volume 38)
Giles Reger, Martin Suda and Andrei VoronkovThe Challenges of Evaluating a New Feature in VampireLaura Kovács and Andrei Voronkov (editors). Proceedings of the 1st and 2nd Vampire Workshops (EPiC Series in Computing, Volume 38)
Giles Reger, Martin Suda and Andrei VoronkovNew Techniques in Clausal Form GenerationChristoph Benzmüller, Geoff Sutcliffe and Raul Rojas (editors). GCAI 2016. 2nd Global Conference on Artificial Intelligence (EPiC Series in Computing, Volume 41)
Giles Reger, Nikolaj Bjorner, Martin Suda and Andrei VoronkovAVATAR Modulo TheoriesChristoph Benzmüller, Geoff Sutcliffe and Raul Rojas (editors). GCAI 2016. 2nd Global Conference on Artificial Intelligence (EPiC Series in Computing, Volume 41)
Evgenii Kotelnikov, Laura Kovacs, Martin Suda and Andrei VoronkovA Clausal Normal Form Translation for FOOLChristoph Benzmüller, Geoff Sutcliffe and Raul Rojas (editors). GCAI 2016. 2nd Global Conference on Artificial Intelligence (EPiC Series in Computing, Volume 41)
Andrei Voronkov, Laura Kovacs and Nikolaj Bjorner (editors)WING 2010. Workshop on Invariant Generation 2010EPiC Series, Volume 1
Andrei Voronkov (editor)Turing-100. The Alan Turing CentenaryEPiC Series, Volume 10
Andrei Voronkov, Geoff Sutcliffe, Matthias Baaz and Christian Fermüller (editors)LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.EPiC Series, Volume 13
Andrei Voronkov and Margarita Korovina (editors)HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th BirthdayEPiC Series, Volume 42
Irina Virbitskaite and Andrei Voronkov (editors)PSI 2014. Ershov Informatics ConferenceEPiC Series, Volume 23
Ken Mcmillan, Aart Middeldorp, Geoff Sutcliffe and Andrei Voronkov (editors)LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and ReasoningEPiC Series, Volume 26
Temur Kutsia and Andrei Voronkov (editors)SCSS 2014. 6th International Symposium on Symbolic Computation in Software ScienceEPiC Series, Volume 30
Ansgar Fehnker, Annabelle McIver, Geoff Sutcliffe and Andrei Voronkov (editors)LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short PresentationsEPiC Series, Volume 35
Georg Gottlob, Geoff Sutcliffe and Andrei Voronkov (editors)GCAI 2015. Global Conference on Artificial IntelligenceEPiC Series, Volume 36
Laura Kovács and Andrei Voronkov (editors)Proceedings of the 1st and 2nd Vampire WorkshopsEPiC Series, Volume 38
Laura Kovacs and Andrei Voronkov (editors)Vampire 2016. Proceedings of the 3rd Vampire WorkshopEPiC Series, Volume 44

Keyphrases

CountKeyphrase
3theorem proving, vampire
2automated reasoning, avatar, first order logic
1automated theorem proving, clausal normal form, clause normal form, clausification, conference management, easychair, first order theorem proving, fool, sat solving, satisfiability modulo theories, saturation algorithms, translation, web services, z3