Back to Results
First PageMeta Content
Applied mathematics / Logic in computer science / Maximum satisfiability problem / MAX-3SAT / Belief propagation / Conjunctive normal form / Local search / WalkSAT / Local consistency / Theoretical computer science / Constraint programming / Mathematics


Relaxed Survey Propagation: A Sum-Product Algorithm for Max-SAT Hai Leong Chieu Wee Sun Lee Singapore MIT Alliance
Add to Reading List

Document Date: 2008-11-06 22:58:52

Open Document

File Size: 1,33 MB

Share Result on Facebook
UPDATE