二元决策图：修订间差异

求闻百科，共笔求闻
以互动方式浏览历史
添加的内容 删除的内容
可视化wikitext
小 （机器人：删除1个模板：Wayback）
小 （机器人：清理不当的来源、移除无用的模板参数）
第7行： 第7行：
== 延伸阅读 ==
== 延伸阅读 ==
* D. E. Knuth, "The Art of Computer Programming Volume 4, Fascicle 1: Bitwise tricks & techniques; Binary Decision Diagrams" (Addison–Wesley Professional, March 27, 2009) viii+260pp, ISBN 0-321-58050-8. [http://www-cs-faculty.stanford.edu/~knuth/fasc1b.ps.gz Draft of Fascicle 1b] available for download.
* D. E. Knuth, "The Art of Computer Programming Volume 4, Fascicle 1: Bitwise tricks & techniques; Binary Decision Diagrams" (Addison–Wesley Professional, March 27, 2009) viii+260pp, ISBN 0-321-58050-8. [http://www-cs-faculty.stanford.edu/~knuth/fasc1b.ps.gz Draft of Fascicle 1b] available for download.
* H. R. Andersen "[https://web.archive.org/web/20140222052815/http://configit.com/configit_wordpress/wp-content/uploads/2013/07/bdd-eap.pdf An Introduction to Binary Decision Diagrams,]" Lecture Notes, 1999, IT University of Copenhagen.
* H. R. Andersen "[http://configit.com/configit_wordpress/wp-content/uploads/2013/07/bdd-eap.pdf An Introduction to Binary Decision Diagrams,]" Lecture Notes, 1999, IT University of Copenhagen.
* Ch. Meinel, T. Theobald, "[http://www.hpi.uni-potsdam.de/fileadmin/hpi/FG_ITS/books/OBDD-Book.pdf Algorithms and Data Structures in VLSI-Design: OBDD – Foundations and Applications"], Springer-Verlag, Berlin, Heidelberg, New York, 1998. Complete textbook available for download.
* Ch. Meinel, T. Theobald, "[http://www.hpi.uni-potsdam.de/fileadmin/hpi/FG_ITS/books/OBDD-Book.pdf Algorithms and Data Structures in VLSI-Design: OBDD – Foundations and Applications"], Springer-Verlag, Berlin, Heidelberg, New York, 1998. Complete textbook available for download.
* {{cite book|author1=Rüdiger Ebendt|author2=Görschwin Fey|author3=Rolf Drechsler|title=Advanced BDD optimization|year=2005|publisher=Springer|isbn=978-0-387-25453-1}}
* {{cite book|author1=Rüdiger Ebendt|author2=Görschwin Fey|author3=Rolf Drechsler|title=Advanced BDD optimization|year=2005|publisher=Springer|isbn=978-0-387-25453-1}}
第18行： 第18行：
* [http://buddy.sourceforge.net/manual/ BuDDy]: A BDD package by Jørn Lind-Nielsen
* [http://buddy.sourceforge.net/manual/ BuDDy]: A BDD package by Jørn Lind-Nielsen
* [http://biddy.meolic.com/ Biddy]: Academic multiplatform BDD package, University of Maribor
* [http://biddy.meolic.com/ Biddy]: Academic multiplatform BDD package, University of Maribor
* [https://web.archive.org/web/20080603164118/http://vlsi.colorado.edu/~fabio/CUDD/ CUDD]: BDD package, University of Colorado, Boulder
* [http://vlsi.colorado.edu/~fabio/CUDD/ CUDD]: BDD package, University of Colorado, Boulder
* [http://javabdd.sourceforge.net JavaBDD], a Java port of BuDDy that also interfaces to CUDD, CAL, and JDD
* [http://javabdd.sourceforge.net JavaBDD], a Java port of BuDDy that also interfaces to CUDD, CAL, and JDD
* [http://javaddlib.sourceforge.net/jdd/ JDD] is a pure java implementation of BDD and ZBDD. [http://javaddlib.sourceforge.net/jbdd/ JBDD] by the same author has a similar API but is a Java interface to BuDDy and CUDD
* [http://javaddlib.sourceforge.net/jdd/ JDD] is a pure java implementation of BDD and ZBDD. [http://javaddlib.sourceforge.net/jbdd/ JBDD] by the same author has a similar API but is a Java interface to BuDDy and CUDD
* The Berkeley [https://web.archive.org/web/20140223023856/http://embedded.eecs.berkeley.edu/Research/cal_bdd/ CAL] package which does breadth-first manipulation
* The Berkeley [http://embedded.eecs.berkeley.edu/Research/cal_bdd/ CAL] package which does breadth-first manipulation
* [http://ddd.lip6.fr DDD]: A C++ library with support for integer valued and hierarchical decision diagrams.
* [http://ddd.lip6.fr DDD]: A C++ library with support for integer valued and hierarchical decision diagrams.
* [https://archive.is/20130105201510/http://www.jossowski.de/projects/jinc/jinc.html JINC]: A C++ library developed at University of Bonn, Germany, supporting several BDD variants and multi-threading.
* [https://archive.is/20130105201510/http://www.jossowski.de/projects/jinc/jinc.html JINC]: A C++ library developed at University of Bonn, Germany, supporting several BDD variants and multi-threading.
* [https://web.archive.org/web/20111101143950/http://myvideos.stanford.edu/player/slplayer.aspx?coll=ea60314a-53b3-4be2-8552-dcf190ca0c0b&co=18bcd3a8-965a-4a63-a516-a1ad74af1119&o=true Fun With Binary Decision Diagrams (BDDs)], lecture by [[Donald Knuth]]
* [http://myvideos.stanford.edu/player/slplayer.aspx?coll=ea60314a-53b3-4be2-8552-dcf190ca0c0b&co=18bcd3a8-965a-4a63-a516-a1ad74af1119&o=true Fun With Binary Decision Diagrams (BDDs)], lecture by [[Donald Knuth]]


[[Category:布尔代数]]
[[Category:布尔代数]]
取自“https://www.qiuwenbaike.cn/wiki/二元决策图”