7th July 2003 - Survey Propagation
We'll be discussing Survey Propagation with the Cambridge inference group.
Please read the preprint on Survey Propagation.
Please try and read the above material, as (as far as I am aware) there are no experts on this topic amongst us.
Further reading:
http://lanl.arXiv.org/cs.CC/0212002
Further reading on state of the art SAT solvers:
http://ai.uwaterloo.ca/~dale/software.html
http://www.cs.unh.edu/ccc/archive/constraints/links/sat.html
http://www.intellektik.informatik.tu-darmstadt.de/SATLIB/
http://www.satlib.org/
Further background reading on the use of sum-product algorithm
for SAT problems:
http://www.inference.phy.cam.ac.uk/is/papers/
see Solving the Satisfiability Problem using Message-Passing Techniques
Sam J Pumphrey (2001)
Solving Combinatorial Problems using Message-Passing
Ben Young (2001)
Two of Dale Schuurman's papers on SAT-solving here:
http://www.inference.phy.cam.ac.uk/is/donut/surveyprop/