%0 Conference Paper %1 conf/iscopt/KoppeZ16 %A Köppe, Matthias %A Zhou, Yuan %B ISCO %D 2016 %E Cerulli, Raffaele %E Fujishige, Satoru %E Mahjoub, Ali Ridha %I Springer %K dblp %P 332-344 %T Toward Computer-Assisted Discovery and Automated Proofs of Cutting Plane Theorems. %U http://dblp.uni-trier.de/db/conf/iscopt/isco2016.html#KoppeZ16 %V 9849 %@ 978-3-319-45586-0

@inproceedings{conf/iscopt/KoppeZ16, added-at = {2017-06-26T00:00:00.000+0200}, author = {Köppe, Matthias and Zhou, Yuan}, biburl = {https://www.bibsonomy.org/bibtex/2d9c3a97bb49bc1288a837c1a4b7c3c91/dblp}, booktitle = {ISCO}, crossref = {conf/iscopt/2016}, editor = {Cerulli, Raffaele and Fujishige, Satoru and Mahjoub, Ali Ridha}, ee = {https://doi.org/10.1007/978-3-319-45587-7_29}, interhash = {81547708d0df360a098ce6edca6cc44c}, intrahash = {d9c3a97bb49bc1288a837c1a4b7c3c91}, isbn = {978-3-319-45586-0}, keywords = {dblp}, pages = {332-344}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:39:44.000+0200}, title = {Toward Computer-Assisted Discovery and Automated Proofs of Cutting Plane Theorems.}, url = {http://dblp.uni-trier.de/db/conf/iscopt/isco2016.html#KoppeZ16}, volume = 9849, year = 2016 }