TY  - RPRT
TI  - CCDD: A Tractable Representation for Model Counting and Uniform Sampling
AU  - Yong Lai
AU  - Kuldeep S. Meel
AU  - Roland H. C. Yap
PY  - 2022
UR  - https://arxiv.org/abs/2202.10025
ID  - 2202.10025
ER  -