Vampire
Manual
Downloads
Licence
Publications
Updates
Authors
Tropheys
Features
Interpolation
Vinter

Publications About Vampire

This is a list of publications related to Vampire:

2009

  • Krystof Hoder, Andrei Voronkov. Comparing Unification Algorithms in First-Order Theorem Proving. KI 2009
  • Laura Kovacs, Andrei Voronkov. Finding Loop Invariants for Programs over Arrays Using a Theorem Prover. FASE 2009
  • Laura Kovacs, Andrei Voronkov. Interpolation and Symbol Elimination. CADE 2009

    • 2006

  • Ian Horrocks, Andrei Voronkov. Reasoning Support for Expressive Ontology Languages Using a Theorem Prover. FoIKS 2006
  • Alexandre Riazanov, Andrei Voronkov. Efficient Instance Retrieval with Standard and Relational Path Indexing. Information and Computation, vol. 199

    • 2004

  • Ullrich Hustadt, Boris Konev, Alexandre Riazanov, Andrei Voronkov. TeMP: A Temporal Monodic Prover. IJCAR 2004
  • Alexandre Riazanov, Andrei Voronkov. Efficient Checking of Term Ordering Constraints. IJCAR 2004
  • Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer, Ian Horrocks. Using Vampire to Reason with OWL. ISWC 2004

    • 2003

  • Alexandre Riazanov, Andrei Voronkov. Limited Resource Strategy in Resolution Theorem Proving. Journal of Symbolic Computation

    • 2002

  • Alexandre Riazanov, Andrei Voronkov. The Design and Implementation of Vampire. AI Commun. 15

    • 2001

  • Alexandre Riazanov, Andrei Voronkov. Splitting without Backtracking. IJCAI 2001
  • Andrei Voronkov. Algorithms, Datastructures, and Other Issues in Efficient Automated Deduction. IJCAR 2001
  • Robert Nieuwenhuis, Thomas Hillenbrand, Alexandre Riazanov, Andrei Voronkov. On the Evaluation of Indexing Techniques for Theorem Proving. IJCAR 2001
  • Alexandre Riazanov, Andrei Voronkov. Adaptive Saturation-Based Reasoning. Ershov Memorial Conference 2001
  • Alexandre Riazanov, Andrei Voronkov. Vampire 1.1 (System Description). IJCAR 2001

    • 2000

  • Alexandre Riazanov, Andrei Voronkov. Partially Adaptive Code Trees. JELIA 2000

    • 1999

  • Alexandre Riazanov, Andrei Voronkov. Vampire. CADE 1999

    • 1995

  • Andrei Voronkov. Implementing Bottom-Up Procedures with Code Trees. Journal of Automated Reasoning, vol. 15