Matthias Köppe, Yuan Zhou. Toward Computer-Assisted Discovery and Automated Proofs of Cutting Plane Theorems. In Raffaele Cerulli, Satoru Fujishige, Ali Ridha Mahjoub, editors, Combinatorial Optimization - 4th International Symposium, ISCO 2016, Vietri sul Mare, Italy, May 16-18, 2016, Revised Selected Papers. Volume 9849 of Lecture Notes in Computer Science, pages 332-344, Springer, 2016. [doi]
Abstract is missing.