NAE-SAT-based probabilistic membership filters.

Chao Fang Zheng Zhu Helmut G. Katzgraber

Published in: CoRR (2018)

Keyphrases

answer set programming
generative model
probabilistic model
uncertain data
ai planning
bayesian networks
multiresolution
active learning
gabor filters
bounded model checking