Depth Lower Bounds in Stabbing Planes for Combinatorial Principles.

Stefan S. Dantchev, Nicola Galesi, Abdul Ghani, Barnaby Martin

Browse the full STACS paper archive.