TY  - RPRT
TI  - Depth lower bounds in Stabbing Planes for combinatorial principles
AU  - Stefan Dantchev
AU  - Nicola Galesi
AU  - Abdul Ghani
AU  - Barnaby Martin
PY  - 2024
DO  - 10.46298/lmcs-20(1:1)2024
UR  - https://arxiv.org/abs/2102.07622
ID  - 2102.07622
ER  -