Sign in
Mountain-mover: An intuitive logic shifting heuristic for improving timing slack violating paths.
Xing Wei
Wai-Chung Tang
Yu-Liang Wu
Cliff C. N. Sze
Charles J. Alpert
Published in:
ASP-DAC (2013)
Keyphrases
</>
asynchronous circuits
multi valued
logic programming
simulated annealing
shortest path
loss function
constraint satisfaction
modal logic
heuristic methods
predicate logic
neural network
knowledge base
search algorithm
dynamic programming
path length
computational properties