A heuristic for decomposition in multilevel logic optimization.
Vinaya Kumar SinghAjit Arvind DiwanPublished in: IEEE Trans. Very Large Scale Integr. Syst. (1993)
Keyphrases
- optimization algorithm
- optimization problems
- optimization methods
- combinatorial optimization
- optimization process
- search algorithm
- decomposition method
- global optimization
- deontic logic
- classical logic
- multi valued
- modal logic
- optimization method
- linear programming
- optimal solution
- tabu search
- efficient computation
- automated reasoning
- simulated annealing
- logical framework
- data sets