Sign in

Computational Complexity Analysis of Determinant Decision Diagram.

Guoyong Shi
Published in: IEEE Trans. Circuits Syst. II Express Briefs (2010)
Keyphrases
  • complexity analysis
  • theoretical analysis
  • lower bound
  • decision diagrams
  • computational complexity
  • first order logic
  • multi valued decision diagrams
  • markov decision processes
  • efficient computation