@inproceedings{DeyPokutta2011, author = {Santanu Sabush Dey and Sebastian Pokutta}, title = {Design and verify: a new scheme for generating cutting-planes}, booktitle = {Proceedings of IPCO, Lecture Notes in Computer Science}, volume = {6655}, pages = {143 -- 155}, url = {http://www.optimization-online.org/DB_HTML/2011/04/3002.html}, year = {2011}, }