Knowledge Compilation meets Uniform Sampling.

Shubham Sharma Rahul Gupta Subhajit Roy Kuldeep S. Meel

Published in: LPAR (2018)

Keyphrases

knowledge compilation
uniform sampling
product configuration
computational geometry
sample size
prime implicates
normal form
target language
decision support
image based rendering
decomposable negation normal form
database
search space
np hard
active sampling