HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors
Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

Vampire 2019: Volume Information

Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops

Editors: Laura Kovacs and Andrei Voronkov
EPiC Series in Computing•Volume 71
5 articles•51 pages•Published: March 11, 2020

Papers

SAT, Computer Algebra, Multipliers
Daniela Kaufmann, Armin Biere and Manuel Kauers
1-18
Towards Word Sense Disambiguation by Reasoning
Javier Álvez, Itziar Gonzalez-Dios and German Rigau
19-29
Experimenting with Theory Instantiation in Vampire
Martin Riener
30-37
Aiming for the Goal with SInE
Martin Suda
38-44
Bayesian Optimisation for Heuristic Configuration in Automated Theorem Proving
Agnieszka Słowik, Chaitanya Mangla, Mateja Jamnik, Sean Holden and Lawrence Paulson
45-51

Keyphrases

automated reasoning, automated theorem proving2, Bayesian optimisation, computer algebra, first-order theorem proving2, Heuristic Configuration, large theory problems, Multiplier circuits, Natural Language Processing, Ontologies, polynomial reasoning, premise selection2, proof certificates, SAT, semantic mappings, sine, SMT, SUMO, Sumo Inference Engine (SInE), theory instantiation, Vampire2.

Copyright © 2012-2025 easychair.org. All rights reserved.