Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem.

Curtis Bright Kevin K. H. Cheung Brett Stevens Ilias S. Kotsireas Vijay Ganesh

Published in: CoRR (2020)

Keyphrases

vector quantization
theorem prover
hamming distance
theorem proving
search algorithm
formal proof
weight function
error correcting codes
decision procedures
error correction
max sat
image compression
viterbi algorithm
logic programs
relational databases
natural deduction
learning algorithm
automated theorem provers