Routing-Aware Standard Cell Placement Algorithm Applying Boolean Satisfiability.

Ckristian Duran Elkim Roa

Published in: ISCAS (2021)

Keyphrases

randomly generated
objective function
computational complexity
np hard
dynamic programming
boolean satisfiability
linear programming
learning algorithm
optimal solution
search space
maximum satisfiability
integer linear programming