Separation of partition inequalities with terminalsFrancisco BarahonaHervé Kerivin2004Discrete Optimization