Characterization of the Congestion Lemma on Layout Computation. (27th October 2021)