Login / Signup

Ancilla-free synthesis of large reversible functions using binary decision diagrams.

Mathias SoekenLaura TagueGerhard W. DueckRolf Drechsler
Published in: J. Symb. Comput. (2016)
Keyphrases
  • binary decision diagrams
  • markov chain
  • boolean functions
  • symbolic model checking
  • functional programs
  • data mining
  • small number
  • planning problems
  • knowledge compilation
  • variable ordering