7 citations · 7 across the 1 of their papers we have counts for
1 paper
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…