On locally optimal breaking of nondisjoint cyclic vertical constraints in VLSI channel routing | IEEE Conference Publication | IEEE Xplore