Login / Signup
Biconditional Binary Decision Diagrams: A Novel Canonical Logic Representation Form.
Luca Gaetano Amarù
Pierre-Emmanuel Gaillardon
Giovanni De Micheli
Published in:
IEEE J. Emerg. Sel. Topics Circuits Syst. (2014)
Keyphrases
</>
binary decision diagrams
boolean functions
symbolic model checking
planning problems
model checking
variable ordering
multi valued
machine learning
object oriented
domain specific
multi dimensional
automated reasoning
model checker