Publications

This is a list of publications related to Vampire. This list is out of date, at the moment please refer to the team's personal or DBLP pages for related papers. Both Laura and Giles maintain preprints on their personal pages.

  1. 2017

  2. Set of Support for Theory Reasoning IWIL@LPAR 2017
  3. First-Order Interpolation and Interpolating Proof Systems LPAR 2017
  4. Coming to terms with quantified reasoning POPL 2017
  5. A Unifying Principle for Clause Elimination in First-Order Logic CADE 2017
  6. Splitting Proofs for Interpolation CADE 2017
  7. Testing a Saturation-Based Theorem Prover: Experiences and Challenges TAP 2017
  8. 2016

    (Currently Missing)
  9. 2015

    (Currently Missing)
  10. 2014

    (Currently Missing)
  11. 2013

  12. First-Order Theorem Proving and Vampire CAV 2013
  13. The 481 Ways to Split a Clause and Deal with Propositional Variables CADE 2013
  14. 2012

  15. Playing in the grey area of proofs POPL 2012
  16. Vinter: A Vampire-Based Tool for Interpolation APLAS 2012
  17. Preprocessing techniques for first-order clausification FMCAD 2012
  18. 2011

  19. Sine Qua Non for Large Theory Reasoning CADE 2011
  20. Case Studies on Invariant Generation Using a Saturation Theorem Prover MICAI 2011
  21. Invariant Generation in Vampire TACAS 2011
  22. Before 2011

    (Currently Missing)