SAT based multi-net rip-up-and-reroute for manufacturing hotspot removal.

Fan Yang, Yici Cai, Qiang Zhou, Jiang Hu

Browse the full DATE paper archive.