TY  - RPRT
TI  - A Fixed-Parameter Algorithm for #SAT with Parameter Incidence Treewidth
AU  - Marko Samer
AU  - Stefan Szeider
PY  - 2007
UR  - https://arxiv.org/abs/cs/0610174
ID  - cs/0610174
ER  -