Andrei Voronkov
Visiting Professor
| Group | Automated Program Reasoning |
|---|---|
| Websites |
http://voronkov.com/ |
| Other links |
Publications
2020
Induction with generalization in superposition reasoning
Marton Hajdu, Petra Hozzova, Laura Kovacs, Johannes Schoisswohl, Andrei Voronkov.
Proceedings of the 13th international conference on intelligent computer mathematics, pages 123-137, 2020.
[pdf] [doi]
Marton Hajdu, Petra Hozzova, Laura Kovacs, Johannes Schoisswohl, Andrei Voronkov.
Proceedings of the 13th international conference on intelligent computer mathematics, pages 123-137, 2020.
[pdf] [doi]
2018
A FOOLish encoding of the next state relations of imperative programs.
Evgenii Kotelnikov, Laura Kovacs, Andrei Voronkov.
Proceedings of the 9th international joint conference on automated reasoning (IJCAR) 2018, pages 405-421, 2018.
[doi]
Evgenii Kotelnikov, Laura Kovacs, Andrei Voronkov.
Proceedings of the 9th international joint conference on automated reasoning (IJCAR) 2018, pages 405-421, 2018.
[doi]
Unification with abstraction and theory instantiation in saturation-based reasoning
Giles Reger, Martin Suda, Andrei Voronkov.
Proceedings of the 24th international conference on tools and algorithms for the construction and analysis of systems (TACAS), pages 3-22, 2018.
[pdf]
Giles Reger, Martin Suda, Andrei Voronkov.
Proceedings of the 24th international conference on tools and algorithms for the construction and analysis of systems (TACAS), pages 3-22, 2018.
[pdf]
2017
First-order interpolation and interpolating proof systems
Laura Kovacs, Andrei Voronkov.
LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, pages 49-64, 2017.
Laura Kovacs, Andrei Voronkov.
LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, pages 49-64, 2017.
Testing a saturation-based theorem prover: Experiences and challenges
Giles Reger, Martin Suda, Andrei Voronkov.
Tests and proofs - 11th international conference, TAP 2017, held as part of STAF 2017, marburg, germany, july 19-20, 2017, proceedings, pages 152-161, 2017.
[pdf] [doi]
Giles Reger, Martin Suda, Andrei Voronkov.
Tests and proofs - 11th international conference, TAP 2017, held as part of STAF 2017, marburg, germany, july 19-20, 2017, proceedings, pages 152-161, 2017.
[pdf] [doi]
Coming to terms with quantified reasoning
Laura Kovacs, Simon Robillard, Andrei Voronkov.
Proceedings of the 44th ACM SIGPLAN symposium on principles of programming languages (POPL), pages 260-270, 2017.
[pdf] [doi]
Laura Kovacs, Simon Robillard, Andrei Voronkov.
Proceedings of the 44th ACM SIGPLAN symposium on principles of programming languages (POPL), pages 260-270, 2017.
[pdf] [doi]
Instantiation and pretending to be an SMT solver with vampire
Giles Reger, Martin Suda, Andrei Voronkov.
2017.
Giles Reger, Martin Suda, Andrei Voronkov.
2017.
2016
AVATAR modulo theories
Giles Reger, Nikolaj Bjorner, Martin Suda, Andrei Voronkov.
GCAI 2016. 2nd global conference on artificial intelligence, pages 39-52, 2016.
[pdf]
Giles Reger, Nikolaj Bjorner, Martin Suda, Andrei Voronkov.
GCAI 2016. 2nd global conference on artificial intelligence, pages 39-52, 2016.
[pdf]
New techniques in clausal form generation
Giles Reger, Martin Suda, Andrei Voronkov.
GCAI 2016. 2nd global conference on artificial intelligence, pages 11-23, 2016.
[pdf]
Giles Reger, Martin Suda, Andrei Voronkov.
GCAI 2016. 2nd global conference on artificial intelligence, pages 11-23, 2016.
[pdf]
Finding finite models in multi-sorted first-order logic
Giles Reger, Martin Suda, Andrei Voronkov.
Theory and applications of satisfiability testing - SAT 2016 - 19th international conference, bordeaux, france, july 5-8, 2016, proceedings, pages 323-341, 2016.
[pdf] [doi]
Giles Reger, Martin Suda, Andrei Voronkov.
Theory and applications of satisfiability testing - SAT 2016 - 19th international conference, bordeaux, france, july 5-8, 2016, proceedings, pages 323-341, 2016.
[pdf] [doi]
Selecting the selection
Krystof Hoder, Giles Reger, Martin Suda, Andrei Voronkov.
Automated reasoning - 8th international joint conference, IJCAR 2016, coimbra, portugal, june 27 - july 2, 2016, proceedings, pages 313-329, 2016.
[pdf] [doi]
Krystof Hoder, Giles Reger, Martin Suda, Andrei Voronkov.
Automated reasoning - 8th international joint conference, IJCAR 2016, coimbra, portugal, june 27 - july 2, 2016, proceedings, pages 313-329, 2016.
[pdf] [doi]
The vampire and the FOOL
Evgenii Kotelnikov, Laura Kovacs, Giles Reger, Andrei Voronkov.
Proceedings of the 5th ACM SIGPLAN conference on certified programs and proofs (CPP), pages 37-48, 2016.
[pdf] [doi]
Evgenii Kotelnikov, Laura Kovacs, Giles Reger, Andrei Voronkov.
Proceedings of the 5th ACM SIGPLAN conference on certified programs and proofs (CPP), pages 37-48, 2016.
[pdf] [doi]
A clausal normal form translation for FOOL
Evgenii Kotelnikov, Laura Kovacs, Martin Suda, Andrei Voronkov.
GCAI 2016. 2nd global conference on artificial intelligence, pages 53-71, 2016.
[pdf]
Evgenii Kotelnikov, Laura Kovacs, Martin Suda, Andrei Voronkov.
GCAI 2016. 2nd global conference on artificial intelligence, pages 53-71, 2016.
[pdf]
2012
Vinter: A vampire-based tool for interpolation
Krystof Hoder, Andreas Holzer, Laura Kovacs, Andrei Voronkov.
APLAS, pages 148-156, 2012.
[doi]
Krystof Hoder, Andreas Holzer, Laura Kovacs, Andrei Voronkov.
APLAS, pages 148-156, 2012.
[doi]
2011
Decision procedures in soft, hard and bio-ware - follow up (dagstuhl seminar 11272)
Nikolaj Bjorner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov.
Dagstuhl Reports, volume 1, pages 23-35, 2011.
[pdf] [doi]
Nikolaj Bjorner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov.
Dagstuhl Reports, volume 1, pages 23-35, 2011.
[pdf] [doi]