A Cube-and-Conquer framework compiles CNF formulas into a virtual d-DNNF distributed across workers, enabling counting, direct access, and uniform sampling under conditioning.
Carmosino and Russell Impagliazzo and Valentine Kabanets and Antonina Kolokolova , editor =
1 Pith paper cite this work, alongside 37 external citations. Polarity classification is still indexing.
1
Pith paper citing it
37
external citations · OpenAlex
fields
cs.DC 1years
2026 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
A Distributed Framework for Compiling and Reasoning with d-DNNF
A Cube-and-Conquer framework compiles CNF formulas into a virtual d-DNNF distributed across workers, enabling counting, direct access, and uniform sampling under conditioning.