Vampire 2019:BibTeX Entries

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}}