Login / Signup

Compact Representations of Logic Functions using Heterogeneous MDDs.

Shinobu NagayamaTsutomu Sasao
Published in: ISMVL (2003)
Keyphrases
  • compact representations
  • decision diagrams
  • knowledge compilation
  • multi valued
  • digital circuits
  • markov decision processes
  • binary decision diagrams
  • planning problems