Stefan S. Dantchev, Nicola Galesi, Abdul Ghani, Barnaby Martin. Depth Lower Bounds in Stabbing Planes for Combinatorial Principles. In Petra Berenbrink, Benjamin Monmege, editors, 39th International Symposium on Theoretical Aspects of Computer Science, STACS 2022, March 15-18, 2022, Marseille, France (Virtual Conference). Volume 219 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]
Abstract is missing.