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: IJCAI (2020)

Keyphrases

vector quantization
theorem prover
hamming distance
weight assignment
data sets
neural network
search algorithm
computational complexity
viterbi algorithm
weight function
formal proof
mathematical proofs