Л. К. Гліненко and В. М. Фаст, “Automatization of solving the extremal problems on graphs in radioelectronic apparatus design”, RADAP, no. 54, pp. 90-101, Nov. 2013.