Automata and Binary Decision Diagrams.

Jean-Francis Michon Jean-Marc Champarnaud

Published in: Workshop on Implementing Automata (1998)

Keyphrases

binary decision diagrams
boolean functions
symbolic model checking
cellular automata
variable ordering
planning problems
model checking
finite state
finite automata
data sets
data mining
knowledge compilation
artificial intelligence
knowledge base
state space
heuristic search