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)
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

Keyphrases

CountKeyphrase
1automated reasoning, automated theorem proving, avatar, clause normal form, first order theorem proving, fool, invariant generation, program analysis, sat solving, symbol elimination, theorem proving, translation, vampire