Biconditional Binary Decision Diagrams: A Novel Canonical Logic Representation Form

Luca Gaetano AmarĂ¹, Pierre-Emmanuel Gaillardon, Giovanni De Micheli. Biconditional Binary Decision Diagrams: A Novel Canonical Logic Representation Form. IEEE J. Emerg. Sel. Topics Circuits Syst., 4(4):487-500, 2014. [doi]

Abstract

Abstract is missing.