51 citations · 96 across the 12 of their papers we have counts for
Showing 2022 · cs.AIShow all
2 papers · 2 filters
cs.AI2022
Fast Converging Anytime Model Counting
Yong Lai, Kuldeep S. Meel, Roland H. C. Yap
Model counting is a fundamental problem which has been influential in many applications, from artificial intelligence to formal verification. Due to the intrinsic hardness of model…
cs.AI2022★ 1 cited
CCDD: A Tractable Representation for Model Counting and Uniform Sampling
Yong Lai, Kuldeep S. Meel, Roland H. C. Yap
Knowledge compilation concerns with the compilation of representation languages to target languages supporting a wide range of tractable operations arising from diverse areas of co…