Separating type-I odd-cycle inequalities for a binary-encoded edge-coloring formulationJon LeeJanny Leunget al.2005J Combin Optim