EasyChair Smart SlideUser guide
Conference: Vampire 2019 (The 6th Vampire Workshop)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Forward Subsumption Demodulation - Fast Conditional Rewriting in Vampire

Forward Subsumption Demodulation - Fast Conditional Rewriting in Vampire

Bernhard Gleiss, Laura Kovács and Jakob Rath

Bayesian Optimisation with Gaussian Processes for Premise Selection

Bayesian Optimisation with Gaussian Processes for Premise Selection

Agnieszka Słowik, Chaitanya Mangla, Mateja Jamnik, Sean Holden and Lawrence Paulson

Hints for AVATAR

Hints for AVATAR

Martin Suda

Induction in Saturation-Based Proof Search

Induction in Saturation-Based Proof Search

Giles Reger and Andrei Voronkov

SMT-Based Weighted Model Integration (joint invited talk with the SMT Workshop)

SMT-Based Weighted Model Integration (joint invited talk with the SMT Workshop)

Roberto Sebastiani

Presentations in this collection: 5
Copyright © 2002 – 2026 EasyChair