Volume
@proceedings{Vampire23,
title = {Proceedings of the 7th and 8th Vampire Workshop},
editor = {Laura Kov\textbackslash{}'acs and Michael Rawson},
series = {EPiC Series in Computing},
volume = {99},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340}}
Papers
@inproceedings{Vampire23:Spawns_of_Saturation_Framework,
author = {Sophie Tourret},
title = {The Spawns of the Saturation Framework},
booktitle = {Proceedings of the 7th and 8th Vampire Workshop},
editor = {Laura Kov\textbackslash{}'acs and Michael Rawson},
series = {EPiC Series in Computing},
volume = {99},
pages = {1--6},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/7LvD},
doi = {10.29007/5v9j}}
@inproceedings{Vampire23:Lazy_and_Eager_Patterns,
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\textbackslash{}'acs and Michael Rawson},
series = {EPiC Series in Computing},
volume = {99},
pages = {7--12},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/jkCj},
doi = {10.29007/9hw9}}
@inproceedings{Vampire23:Integrating_Answer_Literals_with,
author = {Petra Hozzov\textbackslash{}'a},
title = {Integrating Answer Literals with AVATAR for Program Synthesis},
booktitle = {Proceedings of the 7th and 8th Vampire Workshop},
editor = {Laura Kov\textbackslash{}'acs and Michael Rawson},
series = {EPiC Series in Computing},
volume = {99},
pages = {13--20},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/v4CXq},
doi = {10.29007/vmn9}}