Andrei Voronkov
Andrei Voronkov
Verified email at cs.man.ac.uk - Homepage
Title
Cited by
Cited by
Year
Complexity and expressive power of logic programming
E Dantsin, T Eiter, G Gottlob, A Voronkov
ACM Computing Surveys (CSUR) 33 (3), 374-425, 2001
8772001
Handbook of automated reasoning
AJA Robinson, A Voronkov
Elsevier Science, 2001
6662001
The design and implementation of VAMPIRE
A Riazanov, A Voronkov
AI communications 15 (2, 3), 91-110, 2002
5882002
First-order theorem proving and Vampire
L Kovács, A Voronkov
International Conference on Computer Aided Verification, 1-35, 2013
3262013
Path feasibility analysis for string-manipulating programs
N Bjřrner, N Tillmann, A Voronkov
International Conference on Tools and Algorithms for the Construction and …, 2009
1912009
Finding loop invariants for programs over arrays using a theorem prover
L Kovács, A Voronkov
International Conference on Fundamental Approaches to Software Engineering …, 2009
1712009
Vampire 1.1
A Riazanov, A Voronkov
International Joint Conference on Automated Reasoning, 376-380, 2001
1442001
Sine qua non for large theory reasoning
K Hoder, A Voronkov
International Conference on Automated Deduction, 299-314, 2011
1392011
The anatomy of Vampire
A Voronkov
Journal of Automated Reasoning 15 (2), 237-265, 1995
1281995
Term Indexing.
IV Ramakrishnan, RC Sekar, A Voronkov
Handbook of Automated Reasoning 2, 1853-1964, 2001
117*2001
PDFX: fully-automated PDF-to-XML conversion of scientific literature
A Constantin, S Pettifer, A Voronkov
Proceedings of the 2013 ACM symposium on Document engineering, 177-180, 2013
982013
Splitting without backtracking
A Riazanov, A Voronkov
IJCAI, 611-617, 2001
952001
Limited resource strategy in resolution theorem proving
A Riazanov, A Voronkov
Journal of Symbolic Computation 36 (1-2), 101-115, 2003
802003
AVATAR: The architecture for first-order theorem provers
A Voronkov
International Conference on Computer Aided Verification, 696-710, 2014
792014
Vampire
A Riazanov, A Voronkov
International Conference on Automated Deduction, 292-296, 1999
771999
Term indexing
R Sekar, IV Ramakrishnan, A Voronkov
Handbook of automated reasoning, 1853-1964, 2001
672001
Interpolation and symbol elimination
L Kovács, A Voronkov
International Conference on Automated Deduction, 199-213, 2009
662009
The Inverse Method.
A Degtyarev, A Voronkov
Handbook of Automated Reasoning 1, 179-272, 2001
652001
Equality reasoning in sequent-based calculi
A Degtyarev, A Voronkov
Max-Planck-Institut für Informatik, 1998
651998
The undecidability of simultaneous rigid E-unification
A Degtyarev, A Voronkov
Theoretical Computer Science 166 (1-2), 291-300, 1996
651996
The system can't perform the operation now. Try again later.
Articles 1–20