Keyword:saturation-based theorem proving

Papers
Vampire Getting Noisy: Will Random Bits Help Conquer Chaos? (System Description) Martin Suda EasyChair Preprint no. 7719
Integer Induction in Saturation Petra Hozzová, Laura Kovács and Andrei Voronkov EasyChair Preprint no. 5176