%0 Journal Article %1 journals/mp/Cook90 %A Cook, William J. %D 1990 %J Math. Program. %K dblp %P 11-18 %T Cutting-Plane Proofs in Polynomial Space. %U http://dblp.uni-trier.de/db/journals/mp/mp47.html#Cook90 %V 47

@article{journals/mp/Cook90, added-at = {2015-05-07T00:00:00.000+0200}, author = {Cook, William J.}, biburl = {https://www.bibsonomy.org/bibtex/25c9be99689cd1ca1c6f7d7f075f9d5b0/dblp}, ee = {http://dx.doi.org/10.1007/BF01580849}, interhash = {3f1a806f2a394877f28af456f829cdc8}, intrahash = {5c9be99689cd1ca1c6f7d7f075f9d5b0}, journal = {Math. Program.}, keywords = {dblp}, pages = {11-18}, timestamp = {2015-06-18T02:47:31.000+0200}, title = {Cutting-Plane Proofs in Polynomial Space.}, url = {http://dblp.uni-trier.de/db/journals/mp/mp47.html#Cook90}, volume = 47, year = 1990 }