Approximate Model Counting, Sparse XOR Constraints and Minimum Distance.

Michele Boreale Daniele Gorla

Published in: CoRR (2019)

Keyphrases

minimum distance
model counting
upper bound
weighted model counting
knn
euclidean distance
high dimensional
nearest neighbor
image segmentation
database systems
constraint satisfaction