Generalized SAT-sweeping for post-mapping optimization.

Tobias Welp Smita Krishnaswamy Andreas Kuehlmann

Published in: DAC (2012)

Keyphrases

global optimization
optimization algorithm
discrete optimization
optimization process
optimization problems
objective function
optimization method
max sat
sat solving