Margin Propagation based XOR-SAT Solvers for Decoding of LDPC Codes.
Ankita NandiShantanu ChakrabarttyChetan Singh ThakurPublished in: CoRR (2024)
Keyphrases
- sat solvers
- ldpc codes
- decoding algorithm
- error correction
- low density parity check
- message passing
- orders of magnitude
- constraint satisfaction
- propositional satisfiability
- search strategies
- search space
- sat problem
- max sat
- sat instances
- rate allocation
- clause learning
- non binary
- channel coding
- image transmission
- forward error correction
- noise model
- source coding
- objective function
- end to end
- evolutionary algorithm
- graphical models
- distributed systems
- metaheuristic
- heuristic search
- belief propagation