@ariadne that is what I like to phrase as "optimizing the BOM"
J
jevinskie@mastodon.social
@jevinskie@mastodon.social
Posts
-
i threw an entire can of deoxit at that razer keyboard and it was still underwhelming -
A new decision diagram appears!A new decision diagram appears!
We introduce Tree Decision Diagrams (TDD) as a model for Boolean functions that generalizes OBDD. … We show that TDDs enjoy the same tractability properties as OBDD, such as model counting, enumeration, and apply, and are more succinct.
A canonical generalization of OBDD
Abstract page for arXiv paper 2604.05537v1: A canonical generalization of OBDD
arXiv.org (arxiv.org)