Depth Lower Bounds in Stabbing Planes for Combinatorial Principles
- Publication date
- 15 February 2021
- Publisher
- LIPIcs - Leibniz International Proceedings in Informatics. 39th International Symposium on Theoretical Aspects of Computer Science (STACS 2022)