Author:Laura Kovács

Publications
Induction with Generalization in Superposition Reasoning Márton Hajdu, Petra Hozzová, Laura Kovács, Johannes Schoisswohl and Andrei Voronkov EasyChair Preprint no. 2468
LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning Elvira Albert and Laura Kovács (editors) EPiC Series in Computing, volume 73
Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops Laura Kovács and Andrei Voronkov (editors) EPiC Series in Computing, volume 71
ANDREI-60. Automated New-era Deductive Reasoning Event in Iberia Laura Kovács, Konstantin Korovin and Giles Reger (editors) EPiC Series in Computing, volume 68
Loop Analysis by Quantification over Iterations Bernhard Gleiss, Laura Kovács and Simon Robillard In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
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
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
Theory-Specific Reasoning about Loops with Arrays using Vampire Yuting Chen, Laura Kovács and Simon Robillard In:Vampire 2016. Proceedings of the 3rd Vampire Workshop
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
Reasoning About Loops Using Vampire Laura Kovács and Simon Robillard In:Proceedings of the 1st and 2nd Vampire Workshops
WWV 2010. 6th International Workshop on Automated Specification and Verification of Web Systems Laura Kovács and Temur Kutsia (editors) EPiC Series in Computing, volume 18
SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science Laura Kovács and Temur Kutsia (editors) EPiC Series in Computing, volume 15
WING 2010. Workshop on Invariant Generation 2010 Andrei Voronkov, Laura Kovács and Nikolaj Bjorner (editors) EPiC Series in Computing, volume 1

Keyphrases

automated reasoning³, automated theorem prover, automated theorem proving², Avatar, AVATAR architecture, clause normal form, consequence finding, first-order logic², first-order theorem prover, first-order theorem proving², FOOL, fool formula, induction, induction with generalization, interpolation, invariant generation³, loop, next state relation, polymorphic arrays, program analysis², program verification³, Resolution Calculus, SAT solving, saturation based proof search, static analysis, structural induction, superposition, superposition reasoning, symbol elimination, term algebra, termination, theorem prover, theorem proving, translation, Vampire³.