Author:Johannes Schoisswohl

Publications
Induction with Generalization in Superposition Reasoning Márton Hajdu, Petra Hozzová, Laura Kovács, Johannes Schoisswohl and Andrei Voronkov EasyChair Preprint no. 2468

Keyphrases

automated reasoning, AVATAR architecture, first-order theorem proving, induction, induction with generalization, saturation based proof search, structural induction, superposition reasoning, term algebra, Vampire.