Interesting to see it posted on HN. My favourite book on the subject is Branching Programs and Binary Decision Diagrams by Ingo Wegener: https://doi.org/10.1137/1.9780898719789. There have been recent exciting developments of the same underlying idea for more complicated data structures (consisting in syntactic restrictions…
I can now elaborate on my comment above a bit more... Ingo Wegener's "Branching Programs and Binary Decision Diagrams" copyright year 2000, is considered the introductory work on all BDD related matters. On the front cover are two BDDs: BOTH of these implement the hidden weighted bit function (HWB-4) introduced in the…
真有意思，居然在 HN 上看到了这个。我最喜欢的一本关于这方面主题的书是 Ingo Wegener 写的《Branching Programs and Binary Decision Diagrams》：https://doi.org/10.1137/1.9780898719789。最近，同样的基础思想在更复杂的数据结构上有了令人兴奋的新进展（主要是通过语法限制……
Interesting to see it posted on HN. My favourite book on the subject is Branching Programs and Binary Decision Diagrams by Ingo Wegener: https://doi.org/10.1137/1.9780898719789. There have been recent exciting developments of the same underlying idea for more complicated data structures (consisting in syntactic restrictions…
我现在可以对我上面的评论多做点详细展开了……Ingo Wegener 2000 年版权所有的《Branching Programs and Binary Decision Diagrams》，被公认为是所有 BDD 相关领域的入门经典之作。封面上画着两个 BDD：这两个都实现了文中介绍的隐式加权位函数（HWB-4）……
I can now elaborate on my comment above a bit more... Ingo Wegener's "Branching Programs and Binary Decision Diagrams" copyright year 2000, is considered the introductory work on all BDD related matters. On the front cover are two BDDs: BOTH of these implement the hidden weighted bit function (HWB-4) introduced in the…