MINI: A Heuristic Approach for Logic Minimization.

Se June Hong Robert G. Cain Daniel L. Ostapko

Published in: IBM J. Res. Dev. (1974)

Keyphrases

optimal solution
dynamic programming
objective function
modal logic
heuristic solution
logic programming
neural network
tabu search
asynchronous circuits
deontic logic
logical framework
heuristic methods
solution quality
search strategies
simulated annealing
np hard
reinforcement learning
decision trees