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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  year      = {2020}}

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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/bpc4},
  doi       = {10.29007/j8cm},
  pages     = {1-18},
  year      = {2020}}


@inproceedings{Vampire2019:Towards_Word_Sense_Disambiguation,
  author    = {Javier Álvez 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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/4KKM},
  doi       = {10.29007/s4th},
  pages     = {19-29},
  year      = {2020}}


@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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/7DGC},
  doi       = {10.29007/pf85},
  pages     = {30-37},
  year      = {2020}}


@inproceedings{Vampire2019:Aiming_Goal_with_SInE,
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/lZfv},
  doi       = {10.29007/q4pt},
  pages     = {38-44},
  year      = {2020}}


@inproceedings{Vampire2019:Bayesian_Optimisation_Heuristic_Configuration,
  author    = {Agnieszka Sł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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/K7Zd},
  doi       = {10.29007/q91g},
  pages     = {45-51},
  year      = {2020}}