Research in decision diagrams has been fruitful in recent years. There are a lot of new heuristics being developed and a lot of software tools have been created. What seems to be missing however is one central attraction point, that links all the researchers, conferences and workshops in the area, as well as providing access to tools and benchmarks. This site aims to be such an one-stop Portal, that provides all this information and in addition permits online evaluation of BDD-based tools!

View Online presentations of the Dagstuhl Seminar Design & Test

New: Online version of the RTL-Partitioning method (C. Stangier, Ch. Meinel) implemented in VIS.
New: Evaluation study of the most common benchmark sets (combinatorial and sequential experiments).