Dantchev, Stefan, Galesi, Nicola, Ghani, Abdul, Martin, Barnaby, "Proof Complexity and the Binary Encoding of Combinatorial Principles", SIAM Journal on Computing, 2024