Approximate Model Counting, Sparse XOR Constraints and Minimum Distance.

Michele Boreale Daniele Gorla

Published in: The Art of Modelling Computational Systems (2019)

Keyphrases

minimum distance
model counting
upper bound
weighted model counting
nearest neighbor
constraint programming
satisfiability testing
neural network
machine learning
similarity measure
high dimensional
relational databases
integrity constraints