1 citations · 1 across the 1 of their papers we have counts for
2 papers
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…
cs.AI2018
Approximate Model Counting by Partial Knowledge Compilation
Yong Lai
Model counting is the problem of computing the number of satisfying assignments of a given propositional formula. Although exact model counters can be naturally furnished by most o…