Reviving erroneous stability-based clock-gating using partial Max-SAT.
Bao LeDipanjan SenguptaAndreas G. VenerisPublished in: ASP-DAC (2013)
Keyphrases
- max sat
- weighted max sat
- lower bound
- sat solvers
- branch and bound algorithm
- tabu search
- branch and bound
- search algorithm
- sat problem
- satisfiability problem
- maximum satisfiability
- constraint satisfaction
- linear programming
- power consumption
- max sat solver
- boolean satisfiability
- power reduction
- upper bound
- unsatisfiable cores
- retrieval effectiveness
- optimal solution
- cnf formula