Vampire23: Volume InformationProceedings of the 7th and 8th Vampire Workshop3 articles•20 pages•Published: April 11, 2024 Papers
Keyphrasesanswer literals, automated reasoning, automated theorem proving, Avatar, efficient algorithms, first-order theorem proving2, implementation of logics, Isabelle, program synthesis, saturation, superposition. |