A Canonical Generalization of OBDD

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 ]