Editing Binary decision diagram (section)

== Further reading ==
*{{cite journal |first=R. |last=Ubar |title=Test Generation for Digital Circuits Using Alternative Graphs |language=ru |journal=Proc. Tallinn Technical University |issue=409 |pages=75–81 |date=1976 |location=Tallinn, Estonia |url=}}
*{{cite book |first1=C. |last1=Meinel |first2=T. |last2=Theobald |title=Algorithms and Data Structures in VLSI-Design: OBDD – Foundations and Applications |publisher=Springer |orig-year=1998 |date=2012 |isbn=978-3-642-58940-9 |url=http://www.hpi.uni-potsdam.de/fileadmin/hpi/FG_ITS/books/OBDD-Book.pdf}} Complete textbook available for download.
* {{cite book |author-first1=Rüdiger |author-last1=Ebendt |author-first2=Görschwin |author-last2=Fey |author-first3=Rolf |author-last3=Drechsler |title=Advanced BDD optimization |date=2005 |publisher=Springer |isbn=978-0-387-25453-1}}
* {{cite book |author-first1=Bernd |author-last1=Becker |author-first2=Rolf |author-last2=Drechsler |title=Binary Decision Diagrams: Theory and Implementation |date=1998 |publisher=Springer |isbn=978-1-4419-5047-5}}