Publications of Alexandre Riazanov

Selected publications of Alexandre Riazanov

PhD thesis

A. Riazanov, Implementing an Efficient Theorem Prover, PhD thesis, The University of Manchester, 2003 [abstract]

Journal articles

A. Riazanov and A. Voronkov, The Design and Implementation of Vampire, AI Communications 15:2-3, 2002 [abstract]

A. Riazanov and A. Voronkov, Limited Resource Strategy in Resolution Theorem Proving, Journal of Symbolic Computation, 36:1-2, 2003 [abstract]

A. Riazanov and A. Voronkov, Efficient Instance Retrieval with Standard and Relational Path Indexing, Information and Computation, Vol. 199, Issues 1-2, 2005 [abstract]

Conference papers

A. Riazanov and A. Voronkov, Vampire, Proc. CADE-16, LNAI 1632, 1999

A. Riazanov and A. Voronkov, Partially Adaptive Code Trees, Proc. JELIA, LNAI 1919, 2000 [abstract]

A. Riazanov and A. Voronkov, Vampire 1.1 (System Description), Proc. IJCAR-1, LNAI 2083, 2001

R. Nieuwenhuis, T. Hillenbrand, A. Riazanov and A. Voronkov, On the Evaluation of Indexing Techniques for Theorem Proving, Proc. IJCAR-1, LNAI 2083, 2001

A. Riazanov and A. Voronkov, Splitting without Backtracking, Proc. IJCAI-17, vol. 1, 2001 [abstract]

A. Riazanov and A. Voronkov, Adaptive Saturation-Based Reasoning, Proc. PSI 2001, LNCS 2244, 2001 [abstract]

A. Riazanov and A. Voronkov, Efficient Instance Retrieval with Standard and Relational Path Indexing, Proc. CADE-19, LNAI 2741, 2003 [abstract]

A. Riazanov and A. Voronkov, Efficient Checking of Term Ordering Constraints, Proc. IJCAR 2004, LNAI 3097, 2004 [abstract]

U. Hustatdt and B. Konev and A. Riazanov and A. Voronkov, TeMP: A Temporal Monodic Prover, Proc. IJCAR 2004, LNAI 3097, 2004

D. Tsarkov and A. Riazanov and S. Bechhofer and I. Horrocks, Using Vampire to Reason with OWL, Proc. ISWC 2004, 2004 [abstract]

A. Riazanov, Efficient Semantic Querying of Relational Databases with Resolution, Proc. CSWWS 2009, 2009 [abstract]

[to Alexandre Riazanov's home page]