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

Fan Yang Yici Cai Qiang Zhou Jiang Hu

Published in: DATE (2010)

Keyphrases

manufacturing systems
sat solvers
answer set programming
quality control
early warning
manufacturing processes
planning domains
constraint solver
genetic algorithm
ai planning
manufacturing companies