DJ
jevinskie@mastodon.social
<p>KEYWORDS ➡︎ cats, program synthesis, reverse engineering, the rest of the technical crap doesn’t really matter. Friend-shaped and loving. </p><p>she/her 🏳️🌈🏳️⚧️<br />Lafayette, Indiana</p>
Posts
-
Post #1141049
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. https://arxiv.org/abs/2604.05537v1