Login / Signup
The Nonapproximability of OBDD Minimization.
Detlef Sieling
Published in:
Inf. Comput. (2002)
Keyphrases
</>
ordered binary decision diagrams
boolean functions
objective function
data sets
knowledge compilation
model counting
search algorithm
search space
first order logic
model checking
regularization term
error function
global minimization
deterministic domains