A Canonical Generalization of OBDD

Re:A Canonical Generalization of OBDD by fcholf on Monday April 13, 2026 @04:31AM (#47749331)

Hi, author here! Also positively surprised to see this on HN haha

We (well mainly Guy, if he's around) are working on an implementation, which will be made open source at some point (still rounding the edges a bit). We have very encouraging preliminary results, it does compare well wrt SDD and CUDD. There is still some ideas we would like to try, specifically for model counting.

[ Parent | on HN ]

Re:A Canonical Generalization of OBDD by gignico on Monday April 13, 2026 @05:09AM (#47749566)

Thanks!

The arXiv submission says the paper is submitted to SAT26, did it get accepted?

[ Parent | on HN ]

Re:A Canonical Generalization of OBDD by fcholf on Monday April 13, 2026 @05:16AM (#47749609)

We are still waiting for the reviews. The rebuttal phase should start soon, we'll see!

[ Parent | on HN ]