Login / Signup
WWW.BDD-Portal.ORG: An Experimentation Platform for Binary Decision Diagram Algorithms.
Christoph Meinel
Harald Sack
Arno Wagner
Published in:
Experimental Algorithmics (2000)
Keyphrases
</>
binary decision diagrams
orders of magnitude
learning algorithm
knowledge discovery
general purpose
database
data streams
lower bound
logic programming
search strategies
exact solution
decision diagrams
pseudo boolean constraints