TY  - RPRT
TI  - Sound Probabilistic #SAT with Projection
AU  - Vladimir Klebanov
AU  - Alexander Weigl
AU  - Jörg Weisbarth
PY  - 2016
DO  - 10.4204/eptcs.227.2
UR  - https://arxiv.org/abs/1610.08167
ID  - 1610.08167
ER  -