Text this: The intersection cut ; a new cutting plane for integer programming.