Volume
@proceedings{Vampire2019,
title = {Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops},
editor = {Laura Kovacs and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {71},
year = {2020},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340}}
Papers
@inproceedings{Vampire2019:SAT_Computer_Algebra_Multipliers,
author = {Daniela Kaufmann and Armin Biere and Manuel Kauers},
title = {SAT, Computer Algebra, Multipliers},
booktitle = {Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops},
editor = {Laura Kovacs and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {71},
pages = {1--18},
year = {2020},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/bpc4},
doi = {10.29007/j8cm}}
@inproceedings{Vampire2019:Towards_Word_Sense_Disambiguation,
author = {Javier \textbackslash{}'Alvez and Itziar Gonzalez-Dios and German Rigau},
title = {Towards Word Sense Disambiguation by Reasoning},
booktitle = {Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops},
editor = {Laura Kovacs and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {71},
pages = {19--29},
year = {2020},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/4KKM},
doi = {10.29007/s4th}}
@inproceedings{Vampire2019:Experimenting_with_Theory_Instantiation,
author = {Martin Riener},
title = {Experimenting with Theory Instantiation in Vampire},
booktitle = {Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops},
editor = {Laura Kovacs and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {71},
pages = {30--37},
year = {2020},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/7DGC},
doi = {10.29007/pf85}}
@inproceedings{Vampire2019:Aiming_for_Goal_with,
author = {Martin Suda},
title = {Aiming for the Goal with SInE},
booktitle = {Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops},
editor = {Laura Kovacs and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {71},
pages = {38--44},
year = {2020},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/lZfv},
doi = {10.29007/q4pt}}
@inproceedings{Vampire2019:Bayesian_Optimisation_for_Heuristic,
author = {Agnieszka S\{\textbackslash{}l\}owik and Chaitanya Mangla and Mateja Jamnik and Sean Holden and Lawrence Paulson},
title = {Bayesian Optimisation for Heuristic Configuration in Automated Theorem Proving},
booktitle = {Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops},
editor = {Laura Kovacs and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {71},
pages = {45--51},
year = {2020},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/K7Zd},
doi = {10.29007/q91g}}