BOOM - A Heuristic Boolean Minimizer.

Jan Hlavicka Petr Fiser

Published in: ICCAD (2001)

Keyphrases

cost function
optimal solution
search algorithm
simulated annealing
dynamic programming
sufficient conditions
real valued
search procedure
tabu search
global minimum
bin packing