Robust SAT-Based Search Algorithm for Leakage Power Reduction.

Fadi A. Aloul Soha Hassoun Karem A. Sakallah David T. Blaauw

Published in: PATMOS (2002)

Keyphrases

hidden markov models
search algorithm
power reduction
power consumption
search space
low power
scheduling problem
orders of magnitude
heuristic search
low complexity
parallel processing
ad hoc networks
sat solvers
computational power
power saving