Stefan S. Dantchev, Nicola Galesi, Barnaby Martin. Resolution and the Binary Encoding of Combinatorial Principles. In Amir Shpilka, editor, 34th Computational Complexity Conference, CCC 2019, July 18-20, 2019, New Brunswick, NJ, USA. Volume 137 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019. [doi]
Abstract is missing.