Majority logic decoding using combinatorial designs (Corresp.).

Mushfiqur Rahman Ian F. Blake

Published in: IEEE Trans. Inf. Theory (1975)

Keyphrases

modal logic
classical logic
proof theory
logic programming
multi valued
automated reasoning
data sets
computational properties
predicate logic
probabilistic logic
programs written
asynchronous circuits
decoding algorithm
nonmonotonic logics
design space
expert systems
multi agent systems
website