works on
direct access 1functional dependencies 1information-theoretic bounds 1join queries 1preprocessing complexity 1

From the 1 of 3 linked papers with an AI index.

collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2026

A canonical generalization of OBDD

Florent Capelli, YooJung Choi, Stefan Mengel +2

We introduce Tree Decision Diagrams (TDD) as a model for Boolean functions that generalizes OBDD. They can be seen as a restriction of structured d-DNNF; that is, d-DNNF that respe…