Yuan Zhou

University of California Davis
, BH 227

Abstract

Cutting plane theorems for Integer Optimization and computer-assisted proofs