TY  - RPRT
TI  - Towards the shortest DRAT proof of the Pigeonhole Principle
AU  - Isaac Grosof
AU  - Naifeng Zhang
AU  - Marijn J. H. Heule
PY  - 2022
UR  - https://arxiv.org/abs/2207.11284
ID  - 2207.11284
ER  -