Login / Signup
Notes on Sequence Binary Decision Diagrams: Relationship to Acyclic Automata and Complexities of Binary Set Operations.
Shuhei Denzumi
Ryo Yoshinaka
Hiroki Arimura
Shin-ichi Minato
Published in:
Stringology (2011)
Keyphrases
</>
binary decision diagrams
binary valued
symbolic model checking
boolean functions
np hard
variable ordering
planning problems
finite state
databases
machine learning
reinforcement learning
data structure
general purpose
np complete