EasyChair Publications
Search
Author Information
Author:Laura Kovacs

Publications

AuthorsTitleVolumePDF
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)
Laura Kovacs and Simon RobillardReasoning About Loops Using VampireLaura Kovács and Andrei Voronkov (editors). Proceedings of the 1st and 2nd Vampire Workshops (EPiC Series in Computing, Volume 38)
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)
Yuting Chen, Laura Kovacs and Simon RobillardTheory-Specific Reasoning about Loops with Arrays using VampireLaura Kovacs and Andrei Voronkov (editors). Vampire 2016. Proceedings of the 3rd Vampire Workshop (EPiC Series in Computing, Volume 44)
Andrei Voronkov, Laura Kovacs and Nikolaj Bjorner (editors)WING 2010. Workshop on Invariant Generation 2010EPiC Series, Volume 1
Laura Kovacs and Temur Kutsia (editors)SCSS 2013. 5th International Symposium on Symbolic Computation in Software ScienceEPiC Series, Volume 15
Laura Kovacs and Temur Kutsia (editors)WWV 2010. 6th International Workshop on Automated Specification and Verification of Web SystemsEPiC Series, Volume 18
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
2invariant generation, program analysis
1automated reasoning, automated theorem proving, avatar, clause normal form, consequence finding, first order theorem proving, fool, polymorphic arrays, program verification, sat solving, symbol elimination, theorem proving, translation, vampire