EPiC Series in Computing The Challenges of Evaluating a New Feature in Vampire * release_vlhzsmmfcnftllw2emgaxc3f5u

by Giles Reger, Martin Suda, Andrei Voronkov

Released as a article-journal .

2016   Volume 38

Abstract

This paper was originally called Playing with AVATAR and was meant to present and explore experimental results examining the usage of a new feature in Vampire: the AVATAR (Advanced Vampire Architecture for Theories and Resolution) [9] approach to splitting. The results and analysis from this original study have been extended and published elsewhere [6] and instead we use this space to briefly discuss the issues that arise when attempting to evaluate a new feature in Vampire. We suggest four different approaches to evaluating new features.
In text/plain format

Archived Files and Locations

application/pdf  289.9 kB
file_3e6ofzqncnb4rdnxkjrdrolnka
web.archive.org (webarchive)
easychair.org (web)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   unknown
Year   2016
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: cb72e2ab-a07f-4c28-b9a3-1f7e69e5d8b4
API URL: JSON