Induction with Generalization in Superposition Reasoning

Hajdú, Márton; Hozzová, Petra; Schoisswohl, Johannes; Kovács, Laura; Voronkov, Andrei

by Márton Hajdú, Petra Hozzová, Johannes Schoisswohl, Laura Kovács, Andrei Voronkov

Reference:

Induction with Generalization in Superposition ReasoningMárton Hajdú, Petra Hozzová, Johannes Schoisswohl, Laura Kovács, Andrei VoronkovIntelligent Computer Mathematics - 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings, volume 12236 of Lecture Notes in Computer Science, pages 123–137, 2020, Springer.

Bibtex Entry:

@string{springer="Springer"}
@inproceedings{HajHozKovSchVor20,
  author    = {M{\'{a}}rton Hajd{\'{u}} and
               Petra Hozzov{\'{a}} and
               Johannes Schoisswohl and
               Laura Kov{\'{a}}cs and
               Andrei Voronkov},
  title     = {Induction with Generalization in Superposition Reasoning},
  booktitle = {Intelligent Computer Mathematics - 13th International Conference,
               {CICM} 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {12236},
  pages     = {123--137},
  publisher = {Springer},
  year      = {2020},
  url       = {https://link.springer.com/content/pdf/10.1007%2F978-3-030-53518-6_8.pdf}
}