Login / Signup
CCDD: A Tractable Representation for Model Counting and Uniform Sampling.
Yong Lai
Kuldeep S. Meel
Roland H. C. Yap
Published in:
CoRR (2022)
Keyphrases
</>
uniform sampling
model counting
computer vision
np complete
computational complexity
knowledge compilation