Computer Design: VLSI in Computers and Processors, 1997. ICCD '97. Proceedings., 1997 IEEE International Conference onDutt, at al., “If Software is King for Systems-in-Silicon, What's New in Compilers?,” IEEE,
It turns out that there is an elegant inequality that does precisely this, known as the crossing number inequality. It was first discovered by Ajtai-Chvátal-Newborn-Szemerédi and by Leighton (the latter being motivated by optimising VLSI designs). Nowadays it can be proven by two elegant ampl...