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

Company

3SAT / BT / AMD / /

/

Facility

Computer Science National University / Max-SAT Hai Leong Chieu Wee Sun Lee Singapore MIT Alliance National University / /

/

Holiday

Assumption / /

IndustryTerm

binary networks / local search procedures / systematic search / energy minimization / local search algorithms / sum-product algorithm / energy density / population dynamics algorithm / ground state energy / equal energy / sum-product belief propagation algorithm / local search solvers / dichotomic search / Minimum energy configurations / propagation algorithm / energy / /

Organization

National University of Singapore / MIT / Artificial Copyright Intelligence / Association for the Advancement / /

Person

Wee Sun Lee / Hai Leong Chieu Wee Sun / /

PublishedMedium

IEEE Transactions on Information Theory / /

Technology

SP algorithms / sum-product belief propagation algorithm / sum-product algorithm / alternative algorithm / SP-y algorithm / local search algorithms / warning propagation algorithm / SP algorithm / population dynamics algorithm / RSP algorithm / SLS algorithms / /

URL

www.aaai.org / /

SocialTag