关注
Andrei Voronkov
Andrei Voronkov
The University of Manchester; EasyChair
在 cs.man.ac.uk 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Complexity and expressive power of logic programming
E Dantsin, T Eiter, G Gottlob, A Voronkov
ACM Computing Surveys (CSUR) 33 (3), 374-425, 2001
9572001
Handbook of automated reasoning
AJA Robinson, A Voronkov
Elsevier Science, 2001
8452001
First-Order Theorem Proving and Vampire
L Kovács, A Voronkov
International Conference on Computer Aided Verification, 1-35, 2013
7052013
The design and implementation of VAMPIRE
A Riazanov, A Voronkov
AI communications 15 (2-3), 91-110, 2002
6522002
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
2342009
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
2062009
Term indexing
R Sekar, IV Ramakrishnan, A Voronkov
Handbook of automated reasoning, 1853-1964, 2001
193*2001
Sine qua non for large theory reasoning
K Hoder, A Voronkov
International Conference on Automated Deduction, 299-314, 2011
1872011
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
1672013
Vampire 1.1
A Riazanov, A Voronkov
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena …, 2001
1542001
AVATAR: the architecture for first-order theorem provers
A Voronkov
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
1532014
The anatomy of Vampire: Implementing bottom-up procedures with code trees
A Voronkov
Journal of automated reasoning 15, 237-265, 1995
1431995
Complexity and expressive power of logic programming
E Dantsin, T Eiter, G Gottlob, A Voronkov
Proceedings of Computational Complexity. Twelfth Annual IEEE Conference, 82-101, 1997
1401997
Splitting without backtracking
A Riazanov, A Voronkov
IJCAI 1, 611-617, 2001
1102001
Limited resource strategy in resolution theorem proving
A Riazanov, A Voronkov
Journal of Symbolic Computation 36 (1-2), 101-115, 2003
982003
Vampire
A Riazanov, A Voronkov
Lecture notes in computer science 1632, 0292-0292, 1999
961999
Interpolation and symbol elimination
L Kovács, A Voronkov
International Conference on Automated Deduction, 199-213, 2009
902009
Equality reasoning in sequent-based calculi
A Degtyarev, A Voronkov
Max-Planck-Institut für Informatik, 1998
811998
The inverse method
A Degtyarev, A Voronkov
Handbook of Automated Reasoning, 179-272, 2001
792001
The undecidability of simultaneous rigid E-unification
A Degtyarev, A Voronkov
Theoretical Computer Science 166 (1-2), 291-300, 1996
741996
系统目前无法执行此操作，请稍后再试。
文章 1–20