Hence HWBn[a∗]and HWBn[b∗]are distinct subfunctions

But thena∗×cis a model ofHWBn since a∗(xi) = 1but b∗×cis not sinceb∗(xi) = 0 · 2016

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

browse 1 citing papers

representative citing papers

cs.AI · 2026-04-07 · unverdicted · novelty 8.0

TDDs generalize OBDDs while preserving tractability properties and providing FPT succinctness for treewidth-bounded CNFs, unlike OBDDs.

Showing 1 of 1 citing paper.

A canonical generalization of OBDD cs.AI · 2026-04-07 · unverdicted · none · ref 9
TDDs generalize OBDDs while preserving tractability properties and providing FPT succinctness for treewidth-bounded CNFs, unlike OBDDs.