Login / Signup
Exact algorithms for output encoding, state assignment, and four-level Boolean minimization.
Srinivas Devadas
A. Richard Newton
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1991)
Keyphrases
</>
exact algorithms
knapsack problem
real valued
objective function
boolean functions
vehicle routing problem with time windows
data structure
approximation algorithms
heuristic methods
information retrieval
state space
upper bound
combinatorial optimization problems
state transition
computational problems