Login / Signup

A Comparison of Heterogeneous Multi-valued Decision Diagram Machines for Multiple-Output Logic Functions.

Hiroki NakaharaTsutomu SasaoMunehiro Matsuura
Published in: ISMVL (2011)
Keyphrases
  • multi valued
  • decision diagrams
  • multiple output
  • single valued
  • logic synthesis
  • multiple input
  • normal form
  • boolean functions
  • truth values
  • lower bound
  • graphical models
  • markov decision processes
  • velocity field