82 citations · 369 across the 63 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.LO2013★ 20 cited
A Scalable Approximate Model Counter
Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi
Propositional model counting} (#SAT), i.e., counting the number of satisfying assignments of a propositional formula, is a problem of significant theoretical and practical interest…
cs.LO2013
A Scalable and Nearly Uniform Generator of SAT Witnesses
Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi
Functional verification constitutes one of the most challenging tasks in the development of modern hardware systems, and simulation-based verification techniques dominate the funct…