Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Volume
•
Abstracts
•
Preface
•
Authors
•
Keywords
•
BibTex Entries
Proceedings of the 7th and 8th Vampire Workshop
Editors:
Laura Kovács
and
Michael Rawson
EPiC Series in Computing
•
Volume 99
3 articles
•
20 pages
•
Published: April 11, 2024
Papers
The Spawns of the Saturation Framework
Sophie Tourret
Pages 1-6
Lazy and Eager Patterns in High-Performance Automated Theorem Proving
Stephan Schulz
Pages 7-12
Integrating Answer Literals with AVATAR for Program Synthesis
Petra Hozzová
Pages 13-20
Keyphrases
answer literals
,
automated reasoning
,
automated theorem proving
,
Avatar
,
efficient algorithms
,
first-order theorem proving
^{2}
,
implementation of logics
,
Isabelle
,
program synthesis
,
saturation
,
superposition
Copyright © 2012-2024 easychair.org. All rights reserved.