SAT based multi-net rip-up-and-reroute for manufacturing hotspot removal | IEEE Conference Publication | IEEE Xplore