Follow
Towards the shortest DRAT proof of the Pigeonhole Principle. (arXiv:2207.11284v1 [cs.LO]) http://arxiv.org/abs/2207.11284
Towards the shortest DRAT proof of the Pigeonhole Principle. (arXiv:2207.11284v1 [cs.LO]) http://arxiv.org/abs/2207.11284