Non-Recursive Cut Generation