Vampire 2019: Volume InformationVampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops5 articles•51 pages•Published: March 11, 2020 Papers
Keyphrasesautomated reasoning, automated theorem proving^{2}, Bayesian optimisation, computer algebra, first-order theorem proving^{2}, Heuristic Configuration, large theory problems, Multiplier circuits, Natural Language Processing, Ontologies, polynomial reasoning, premise selection^{2}, proof certificates, SAT, semantic mappings, sine, SMT, SUMO, Sumo Inference Engine (SInE), theory instantiation, Vampire^{2}. |