Links to other Decision Diagram related sites.
Personal homepages and
homepages of specific research projects are
page with links to introductory material for
different Decision Diagram related topics. Also has
links to software and
- A demonstration
that builds OBDDs by Bryants method and via a DNF. Results
are displayed graphically.
Forbes D. Lewis.
- Robert Meolic's
in Slovenia, with introductory material, some Info about
drawing BDDs and the EST BDD package. Some pages are in english, but
most are in slovenian.
of people involved with model cheking.
General Scientific Links:
If your know of some site that should
be listed on this page, please contact the
An excellent search engine for scientific articles.