Using SAT-based Craig interpolation to enlarge clock gating functions.

Ting-Hao Lin Chung-Yang (Ric) Huang

Published in: DAC (2011)

Keyphrases

piecewise polynomial
image processing
sat solvers
answer set programming
real time
pattern recognition
state space
signal processing
orders of magnitude
power consumption
ai planning
version space