Sign in
Sequence binary decision diagram: Minimization, relationship to acyclic automata, and complexities of Boolean set operations.
Shuhei Denzumi
Ryo Yoshinaka
Hiroki Arimura
Shin-ichi Minato
Published in:
Discret. Appl. Math. (2016)
Keyphrases
</>
binary decision diagrams
boolean functions
decision diagrams
objective function
boolean formula
np complete
reinforcement learning
finite state machines
multi valued
pseudo boolean constraints
search algorithm
state space
logic programming
planning problems