Login / Signup
Using error-correcting codes to construct solvable pebbling distributions.
David S. Herscovici
Published in:
Discret. Math. (2016)
Keyphrases
</>
error correcting codes
clause learning
error correction
error correcting
minimum distance
np complete
decoding algorithm
special case
np hard
sat solvers