Inductive Benchmarks for Automated Reasoning (bibtex)
by Márton Hajdu, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei Voronkov
Reference:
Inductive Benchmarks for Automated ReasoningMárton Hajdu, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei VoronkovIntelligent Computer Mathematics (Fairouz Kamareddine, Claudio Sacerdoti Coen, eds.), pages 124–129, 2021, Springer International Publishing.
Bibtex Entry:
@inproceedings{HajHozKovSchVor21,
  author="Hajdu, M{\'a}rton
and Hozzov{\'a}, Petra
and Kov{\'a}cs, Laura
and Schoisswohl, Johannes
and Voronkov, Andrei",
  editor="Kamareddine, Fairouz
and Sacerdoti Coen, Claudio",
  title="Inductive Benchmarks for Automated Reasoning",
  booktitle="Intelligent Computer Mathematics",
  year="2021",
  publisher="Springer International Publishing",
  address="Cham",
  pages="124--129",
  isbn="978-3-030-81097-9",
  url={https://link.springer.com/content/pdf/10.1007/978-3-030-81097-9\_9.pdf},
}
Powered by bibtexbrowser