Vampire23: BibTeX Entries

Volume

@proceedings{Vampire23,
  title     = {Proceedings of the 7th and 8th Vampire Workshop},
  editor    = {Laura Kovács and Michael Rawson},
  series    = {EPiC Series in Computing},
  volume    = {99},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  year      = {2024}}

Papers

@inproceedings{Vampire23:Spawns_Saturation_Framework,
  author    = {Sophie Tourret},
  title     = {The Spawns of the Saturation Framework},
  booktitle = {Proceedings of the 7th and 8th Vampire Workshop},
  editor    = {Laura Kovács and Michael Rawson},
  series    = {EPiC Series in Computing},
  volume    = {99},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/7LvD},
  doi       = {10.29007/5v9j},
  pages     = {1-6},
  year      = {2024}}


@inproceedings{Vampire23:Lazy_Eager_Patterns_High,
  author    = {Stephan Schulz},
  title     = {Lazy and Eager Patterns in High-Performance Automated Theorem Proving},
  booktitle = {Proceedings of the 7th and 8th Vampire Workshop},
  editor    = {Laura Kovács and Michael Rawson},
  series    = {EPiC Series in Computing},
  volume    = {99},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/jkCj},
  doi       = {10.29007/9hw9},
  pages     = {7-12},
  year      = {2024}}


@inproceedings{Vampire23:Integrating_Answer_Literals_with,
  author    = {Petra Hozzová},
  title     = {Integrating Answer Literals with AVATAR for Program Synthesis},
  booktitle = {Proceedings of the 7th and 8th Vampire Workshop},
  editor    = {Laura Kovács and Michael Rawson},
  series    = {EPiC Series in Computing},
  volume    = {99},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/v4CXq},
  doi       = {10.29007/vmn9},
  pages     = {13-20},
  year      = {2024}}