TY  - RPRT
TI  - Proof complexity and the binary encoding of combinatorial principles
AU  - Stefan Dantchev
AU  - Nicola Galesi
AU  - Abdul Ghani
AU  - Barnaby Martin
PY  - 2022
UR  - https://arxiv.org/abs/2008.02138
ID  - 2008.02138
ER  -