"Lower Bounds for Cutting Planes Proofs with Small Coefficients."

Maria Luisa Bonet, Toniann Pitassi, Ran Raz (1997)

Details and statistics

DOI: 10.2307/2275569

access: closed

type: Journal Article

metadata version: 2023-09-30

a service of  Schloss Dagstuhl - Leibniz Center for Informatics