Depth lower bounds in Stabbing Planes for combinatorial principles

Stefan Dantchev, Nicola Galesi, Abdul Ghani +1

Stabbing Planes (also known as Branch and Cut) is a proof system introduced very recently which, informally speaking, extends the DPLL method by branching on integer linear inequal…