Sound Probabilistic #SAT with Projection

Vladimir Klebanov, Alexander Weigl, Jörg Weisbarth

We present an improved method for a sound probabilistic estimation of the model count of a boolean formula under projection. The problem solved can be used to encode a variety of q…