Sound Probabilistic #SAT with Projection. - Vladimir Klebanov; Alexander Weigl; Jörg Weisbarth (QAPL, 2016)