@misc{indiciaea67a673df822, title = {On the maximal minimal cube lengths in distinct DNF tautologies}, author = {Manuel Kauers and Martina Seidl and Doron Zeilberger}, year = {2019}, url = {https://arxiv.org/abs/1902.03431}, note = {Source identifier: 1902.03431} }