Henceτis not a model ofg′

But this is not possible by induction

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 4
TDDs generalize OBDDs while preserving tractability properties and providing FPT succinctness for treewidth-bounded CNFs, unlike OBDDs.