|
|
Proceedings of the 7th and 8th Vampire Workshop3 articles•20 pages•Published: April 11, 2024 PapersPages 1-6 | Pages 7-12 | Pages 13-20 |
Keyphrasesanswer literals, automated reasoning, automated theorem proving, Avatar, efficient algorithms, first-order theorem proving2, implementation of logics, Isabelle, program synthesis, saturation, superposition |
|
|