Using SAT-based techniques in power estimation.

Assim Sagahyroon Fadi A. Aloul

Published in: Microelectron. J. (2007)

Keyphrases

estimation algorithm
sat solvers
answer set programming
ai planning
np complete
power consumption
robust estimation
accurate estimation
estimation accuracy
estimation process