Multiple constraint satisfaction by belief propagation: An example using Sudoku

2006 IEEE Mountain Workshop on Adaptive and Learning Systems, SMCals 2006

Volumn , Issue , 2006, Pages 122-126

  Moon, Todd K ^a   Gunther, Jacob H ^a  

^a UTAH STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BELIEF PROPAGATION; COMPUTER BASED SOLVERS; CONSTRAINT SATISFACTION; SUDOKU APPLICATION;

CONSTRAINT THEORY; DECODING; ERROR CORRECTION; GRAPHIC METHODS; PROBLEM SOLVING;

ITERATIVE METHODS;

EID: 34250734531     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SMCALS.2006.250702     Document Type: Conference Paper

References (11)

1. S. M. Aji and R. J. McEliece, "The Generalized Distributive Law," IEEE Trans. Info. Theory, vol. 46, pp. 325-343, Mar. 2000.
2. F. R. Kschischang, B. J. Frey, and H.-A. Loeliger, "Factor Graphs and the Sum-Product Algorithm," IEEE Trans. Info. Theory, vol. 47, pp. 498-519, Feb. 2001.
3. J. Pearl, Probabilistic Reasoning in Intelligent Systems. San Mateo, CA: Morgan Kaufmann, 1988.
4. Y. Weiss, "Correctness of Local Probability Propagation in Graphical Models with Loops," Neural Computation, vol. 12, pp. 1-41, 2000.
5. Y. Weiss and W. T. Freeman, "Correctness of Belief Propagation in Gaussian Graphical Models of Arbitrary Topology," Neural Computation, vol. 13, pp. 2173-2200, 2001.
6. R. G. Gallager, "Low-Density Parity-Check Codes," IRE Trans. on Info. Theory, vol. IT-8, pp. 21-28, Jan. 1962.
7. L. Aaronson, "Sudoku science," IEEE Spectrum, Feb. 2006.
8. E. R. Berlekamp, R. J. McEliece, and H. C. van Tilborg, "On the Inherent Intractability of Certain Coding Problems," IEEE Trans. Info. Theory, vol. 24, pp. 384-386, May 1978.
9. T. Moon, "On general linear block code decoding using the sum-product iterative decoder," IEEE Comm. Lett., 2005.
10. R. Tanner, "A Recursive Approach To Low Complexity Codes," IEEE Trans. Info. Theory, vol. 27, pp. 533-547, Sept. 1981.
11. T. K. Moon, Error Correction Coding: Mathematical Methods and Algorithms. Wiley, 2005.