Santanu S. Dey, Sebastian Pokutta. Design and Verify: A New Scheme for Generating Cutting-Planes. In Oktay Günlük, Gerhard J. Woeginger, editors, Integer Programming and Combinatoral Optimization - 15th International Conference, IPCO 2011, New York, NY, USA, June 15-17, 2011. Proceedings. Volume 6655 of Lecture Notes in Computer Science, pages 143-155, Springer, 2011. [doi]
@inproceedings{DeyP11, title = {Design and Verify: A New Scheme for Generating Cutting-Planes}, author = {Santanu S. Dey and Sebastian Pokutta}, year = {2011}, doi = {10.1007/978-3-642-20807-2_12}, url = {http://dx.doi.org/10.1007/978-3-642-20807-2_12}, tags = {design}, researchr = {https://researchr.org/publication/DeyP11}, cites = {0}, citedby = {0}, pages = {143-155}, booktitle = {Integer Programming and Combinatoral Optimization - 15th International Conference, IPCO 2011, New York, NY, USA, June 15-17, 2011. Proceedings}, editor = {Oktay Günlük and Gerhard J. Woeginger}, volume = {6655}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-20806-5}, }