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

30-37

Aiming for the Goal with SInE

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 proving², Bayesian optimisation, computer algebra, first-order theorem proving², Heuristic Configuration, large theory problems, Multiplier circuits, Natural Language Processing, Ontologies, polynomial reasoning, premise selection², proof certificates, SAT, semantic mappings, sine, SMT, SUMO, Sumo Inference Engine (SInE), theory instantiation, Vampire².