Design of low-density parity-check (ldpc) codes for deep-space applications
Correctness of Belief Propagation in Gaussian Graphical Models of Arbitrary Topology