Describir: Cutting planes in combinatorics