Login / Signup
WWW.BDD-PORTAL.ORG: An Experimentation Platform for Binary Decision Diagram Algorithms
Christoph Meinel
Harald Sack
Arno Wagner
Published in:
Universität Trier, Mathematik/Informatik, Forschungsbericht (2001)
Keyphrases
</>
binary decision diagrams
boolean functions
learning algorithm
data structure
orders of magnitude
database
optimal solution
knowledge representation