Vampire23: Volume Information

Proceedings of the 7th and 8th Vampire Workshop

Papers

Keyphrases

answer literals, automated reasoning, automated theorem proving, Avatar, efficient algorithms, first-order theorem proving², implementation of logics, Isabelle, program synthesis, saturation, superposition.