Login / Signup
Accelerating OBDD-Minimization by Means of Structural and Semantical Properties
Christoph Meinel
Anna Slobodová
Published in:
Universität Trier, Mathematik/Informatik, Forschungsbericht (1998)
Keyphrases
</>
structural information
boolean functions
desirable properties
structural analysis
real time
objective function
structural properties
neural network
data mining
website
reinforcement learning
image restoration
knowledge compilation