Login / Signup

Depth lower bounds in Stabbing Planes for combinatorial principles.

Stefan S. DantchevNicola GalesiAbdul GhaniBarnaby Martin
Published in: Log. Methods Comput. Sci. (2024)
Keyphrases