TY  - RPRT
TI  - On OBDDs for CNFs of bounded treewidth
AU  - Igor Razgon
PY  - 2014
UR  - https://arxiv.org/abs/1308.3829
ID  - 1308.3829
ER  -