BOOM - A Heuristic Boolean Minimizer.
Jan HlavickaPetr FiserPublished in: Comput. Artif. Intell. (2003)
Keyphrases
- cost function
- real valued
- optimal solution
- heuristic methods
- sufficient conditions
- tabu search
- search procedure
- tree search
- lower bound
- search strategies
- simulated annealing
- feasible solution
- boolean functions
- combinatorial optimization
- energy functional
- linear programming
- packing problem
- global minimum
- greedy heuristic
- boolean logic