Design and Verify: A New Scheme for Generating Cutting-Planes.

Santanu S. Dey, Sebastian Pokutta

Browse the full IPCO paper archive.