Towards finding longer proofs

From MaRDI portal
Publication:2142073

DOI10.1007/978-3-030-86059-2_10OpenAlexW3202968181MaRDI QIDQ2142073

Zsolt Zombori, Josef Urban, Cezary Kaliszyk, Henryk Michalewski, Adrián Csiszárik

Publication date: 25 May 2022

Full work available at URL: https://arxiv.org/abs/1905.13100





Uses Software


Cites Work




This page was built for publication: Towards finding longer proofs