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