TY  - RPRT
TI  - On the maximal minimal cube lengths in distinct DNF tautologies
AU  - Manuel Kauers
AU  - Martina Seidl
AU  - Doron Zeilberger
PY  - 2019
UR  - https://arxiv.org/abs/1902.03431
ID  - 1902.03431
ER  -