Model counting with error-correcting codes.

Dimitris Achlioptas Panos Theodoropoulos

Published in: Constraints An Int. J. (2019)

Keyphrases

error correcting codes
model counting
weighted model counting
error correcting
polynomial size
error correction
knowledge compilation
satisfiability testing
minimum distance
decoding algorithm
propositional formulas
probabilistic inference