On the Structure of Counterexamples to Symmetric Orderings for BDD's

DOI10.1016/S1571-0661(04)00307-XzbMath1268.68162WikidataQ124804701 ScholiaQ124804701MaRDI QIDQ2841260

Rakesh M. Verma, Sarah B. Hwang

Publication date: 24 July 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Knowledge representation (68T30) Boolean functions (06E30)

Cites Work

• Unnamed Item
• Unnamed Item
• Graph-Based Algorithms for Boolean Function Manipulation
• Binary Decision Diagrams
• Least upper bounds for the size of OBDDs using symmetry properties
• Variable orderings and the size of OBDDs for random partially symmetric Boolean functions

This page was built for publication: On the Structure of Counterexamples to Symmetric Orderings for BDD's