TY - CONF A1 - Dey, Santanu Sabush A1 - Pokutta, Sebastian T1 - Design and verify: a new scheme for generating cutting-planes T2 - Proceedings of IPCO, Lecture Notes in Computer Science Y1 - 2011 UR - https://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/7603 UR - http://www.optimization-online.org/DB_HTML/2011/04/3002.html N1 - Additional Note: DOI: 10.1007/978-3-642-20807-2_12 VL - 6655 SP - 143 EP - 155 ER -