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

Fan Yang, Yici Cai, Qiang Zhou, Jiang Hu. SAT based multi-net rip-up-and-reroute for manufacturing hotspot removal. In Design, Automation and Test in Europe, DATE 2010, Dresden, Germany, March 8-12, 2010. pages 1369-1372, IEEE, 2010. [doi]

Abstract

Abstract is missing.