BibTeX
CSL-JSON
MLA
Harvard
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
Stage
Year 2016
article-journal
Stage
unknown
Year 2016
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links