Login / Signup
A boolean satisfiability-based incremental rerouting approach with application to FPGAs.
Gi-Joon Nam
Karem A. Sakallah
Rob A. Rutenbar
Published in:
DATE (2001)
Keyphrases
</>
boolean satisfiability
lower bound
orders of magnitude
branch and bound algorithm
boolean optimization