Finite Energy Survey Propagation for Constraint Satisfaction Problems

The Survey Propagation (SP) algorithm [1] has recently been shown to work well in the hard region for random K-SAT problems. SP has its origins in sophisticated arguments in statistical physics, and can be derived from an approach known as the cavity method, when applied at what is called the one-st...

Full description

Bibliographic Details
Main Author: Chieu, Hai Leong
Format: Article
Language:English
Published: 2007
Subjects:
Online Access:http://hdl.handle.net/1721.1/35807