A New Proof of the Assmus-Mattson Theorem for Non-Binary Codes.

Kenichiro Tanabe

Published in: Des. Codes Cryptogr. (2001)

Keyphrases

non binary
decoding algorithm
interactive theorem proving
constraint satisfaction problems
ldpc codes
binary representation
arc consistency
frequent pattern mining
constraint satisfaction
error correction
constraint propagation
data mining
prior knowledge
binary constraints