Induction with Generalization in Superposition Reasoning

EasyChair Preprint no. 2468, version history

VersionDatePagesVersion notes
1January 27, 20206
2August 2, 202014

A lot of material was changed and a new author was added.

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

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
  author = {Márton Hajdu and Petra Hozzová and Laura Kovács and Johannes Schoisswohl and Andrei Voronkov},
  title = {Induction with Generalization in Superposition Reasoning},
  howpublished = {EasyChair Preprint no. 2468},

  year = {EasyChair, 2020}}