A Canonical Generalization of OBDD (arxiv.org)

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?

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.

When I was writing biochemistry papers, it was a rule that you had to introduce the full spelling of a phrase along with the first use of its acronym in the full text. Is that not a thing anymore? This abstract reads like something out of a deep immunology subfield, and the first few paragraphs of the introduction didn’t help me out much either.