1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Jiong Yang, Supratik Chakraborty, Kuldeep S. Meel
The past decade has witnessed a surge of interest in practical techniques for projected model counting. Despite significant advancements, however, performance scaling remains the A…