Article ID Journal Published Year Pages File Type
6944854 Microelectronics Journal 2018 11 Pages PDF
Abstract
In recent years, a wide range of heuristic as well as exact approaches has been proposed to solve these problems. While the NP-completeness of routing and pin assignment has already been conjectured in the literature, we present the first actual proofs. Thus, the use of general-purpose approaches like SAT solvers is indeed justified. We additionally prove the NP-completeness for variants of the routing problem.
Related Topics
Physical Sciences and Engineering Computer Science Hardware and Architecture
Authors
, , , ,