Login / Signup
Linear Sifting of Decision Diagrams.
Christoph Meinel
Fabio Somenzi
Thorsten Theobald
Published in:
DAC (1997)
Keyphrases
</>
decision diagrams
search algorithm
data sets
computational complexity
markov decision processes
efficient computation