A Canonical Generalization of OBDD

 (arxiv.org)

11 points | by luu 3 hours ago

2 comments

  • throwaway81523 1 hour ago
    Can someone give a quick explanation of why this is important? It looks interesting but that it would take a lot of background to really understand it.
  • gignico 1 hour ago
    Positively surprised to see stuff like these on HN first page!

    If any author is around, do you have an implementation that can be compared with CUDD and similar BDD libraries?