1995 Daghstuhl Workshop on Binary Decision Diagrams, Germany

二叉判定图在数字电路的综合、形式化验证和测试中得到了广泛的应用。EDA研究领域的这种成功催生了许多前沿的研究工作，包括算法和复杂性的理论研究，应用于人工智能和逻辑编程等领域，以及超越布尔函数表示矩阵、马尔可夫系统和多元多项式的扩展。这次研讨会(1995年2月13日至17日)是第一次专门就这项重要技术举行的研讨会。

Binary Decision Diagrams (BDD's) have found widespread use in synthesis, formal verification and testing of digital circuits. This success in the EDA research area has spawned research efforts on a number of fronts, including theoretical studies of algorithms and complexity, applications to such areas as artificial intelligence and logic programming, and extensions beyond Boolean functions to represent matrices, Markov systems, and multi-variate polynomials. This workshop (February 13-17, 1995) is the first ever held specifically on this important technology.