Induction with Generalization in Superposition Reasoning

EasyChair Preprint 2468, version history

VersionDatePagesVersion notes
1
January 27, 2020
6
2
August 2, 2020
14

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

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

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
@booklet{EasyChair:2468,
  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 2468},
  year      = {EasyChair, 2020}}