Sherali-Adams and the Binary Encoding of Combinatorial Principles. - Stefan S. Dantchev; Abdul Ghani 001; Barnaby Martin (LATIN, 2020)

Depth lower bounds in Stabbing Planes for combinatorial principles. - Stefan S. Dantchev; Nicola Galesi; Abdul Ghani 001; Barnaby Martin (Electron. Colloquium Comput. Complex., 2021)

Proof Complexity and the Binary Encoding of Combinatorial Principles. - Stefan S. Dantchev; Nicola Galesi; Abdul Ghani 001; Barnaby Martin (SIAM J. Comput., 2024)