Login / Signup

Linear sifting of decision diagrams and its application insynthesis.

Christoph MeinelFabio SomenziThorsten Theobald
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2000)
Keyphrases
  • decision diagrams
  • markov decision processes
  • multi dimensional
  • multi valued
  • binary decision diagrams