225 citations · 617 across the 17 of their papers we have counts for
1 paper · 1 filter
Pashootan Vaezipoor, Gil Lederman, Yuhuai Wu +4
Propositional model counting, or #SAT, is the problem of computing the number of satisfying assignments of a Boolean formula. Many problems from different application areas, includ…