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]

@inproceedings{YangCZH10,
  title = {SAT based multi-net rip-up-and-reroute for manufacturing hotspot removal},
  author = {Fan Yang and Yici Cai and Qiang Zhou and Jiang Hu},
  year = {2010},
  url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5457024},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/YangCZH10},
  cites = {0},
  citedby = {0},
  pages = {1369-1372},
  booktitle = {Design, Automation and Test in Europe, DATE 2010, Dresden, Germany, March 8-12, 2010},
  publisher = {IEEE},
}