FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W6869665> ?p ?o ?g. }

• W6869665 endingPage "252" @default.
• W6869665 startingPage "247" @default.
• W6869665 abstract "The survey propagation (SP) algorithm has been shown to work well on large instances of the random 3-SAT problem near its phase transition. It was shown that SP estimates marginals over covers, using joker states to represent clusters of configurations. The SP-y algorithm generalizes SP to work on the Max-SAT problem, but the cover interpretation of SP does not generalize to SP-y. Recently, a relaxed survey propagation (RSP) algorithm has been proposed for inference in Markov random fields (MRF). RSP for MRFs assigns zero probability to joker states, and hence the cover interpretation is also inapplicable. We adapt RSP to solve Max-SAT problems, and show that it has an interpretation of estimating marginals over covers violating a minimum number of clauses. This naturally generalizes the cover interpretation of SP. Empirically, we show that RSP out-performs SP-y and other state-of-the-art solvers on random as well as benchmark instances of Max-SAT." @default.
• W6869665 created "2016-06-24" @default.
• W6869665 creator A5017326180 @default.
• W6869665 creator A5052637103 @default.
• W6869665 date "2008-07-13" @default.
• W6869665 modified "2023-09-24" @default.
• W6869665 title "Relaxed survey propagation: a sum-product algorithm for Max-SAT" @default.
• W6869665 cites W1546338010 @default.
• W6869665 cites W156070842 @default.
• W6869665 cites W1622584740 @default.
• W6869665 cites W1776207179 @default.
• W6869665 cites W1832647480 @default.
• W6869665 cites W1865464712 @default.
• W6869665 cites W1982531027 @default.
• W6869665 cites W2075423090 @default.
• W6869665 cites W2137813581 @default.
• W6869665 cites W2151213817 @default.
• W6869665 cites W2621271919 @default.
• W6869665 cites W2963773273 @default.
• W6869665 cites W3140660692 @default.
• W6869665 cites W46786713 @default.
• W6869665 hasPublicationYear "2008" @default.
• W6869665 type Work @default.
• W6869665 sameAs 6869665 @default.
• W6869665 citedByCount "1" @default.
• W6869665 crossrefType "proceedings-article" @default.
• W6869665 hasAuthorship W6869665A5017326180 @default.
• W6869665 hasAuthorship W6869665A5052637103 @default.
• W6869665 hasConcept C105795698 @default.
• W6869665 hasConcept C11413529 @default.
• W6869665 hasConcept C114614502 @default.
• W6869665 hasConcept C118615104 @default.
• W6869665 hasConcept C124504099 @default.
• W6869665 hasConcept C127413603 @default.
• W6869665 hasConcept C13280743 @default.
• W6869665 hasConcept C154945302 @default.
• W6869665 hasConcept C185798385 @default.
• W6869665 hasConcept C199360897 @default.
• W6869665 hasConcept C205649164 @default.
• W6869665 hasConcept C2524010 @default.
• W6869665 hasConcept C2776214188 @default.
• W6869665 hasConcept C2778045648 @default.
• W6869665 hasConcept C2780428219 @default.
• W6869665 hasConcept C33923547 @default.
• W6869665 hasConcept C41008148 @default.
• W6869665 hasConcept C48103436 @default.
• W6869665 hasConcept C527412718 @default.
• W6869665 hasConcept C78519656 @default.
• W6869665 hasConcept C89600930 @default.
• W6869665 hasConcept C90673727 @default.
• W6869665 hasConcept C98763669 @default.
• W6869665 hasConceptScore W6869665C105795698 @default.
• W6869665 hasConceptScore W6869665C11413529 @default.
• W6869665 hasConceptScore W6869665C114614502 @default.
• W6869665 hasConceptScore W6869665C118615104 @default.
• W6869665 hasConceptScore W6869665C124504099 @default.
• W6869665 hasConceptScore W6869665C127413603 @default.
• W6869665 hasConceptScore W6869665C13280743 @default.
• W6869665 hasConceptScore W6869665C154945302 @default.
• W6869665 hasConceptScore W6869665C185798385 @default.
• W6869665 hasConceptScore W6869665C199360897 @default.
• W6869665 hasConceptScore W6869665C205649164 @default.
• W6869665 hasConceptScore W6869665C2524010 @default.
• W6869665 hasConceptScore W6869665C2776214188 @default.
• W6869665 hasConceptScore W6869665C2778045648 @default.
• W6869665 hasConceptScore W6869665C2780428219 @default.
• W6869665 hasConceptScore W6869665C33923547 @default.
• W6869665 hasConceptScore W6869665C41008148 @default.
• W6869665 hasConceptScore W6869665C48103436 @default.
• W6869665 hasConceptScore W6869665C527412718 @default.
• W6869665 hasConceptScore W6869665C78519656 @default.
• W6869665 hasConceptScore W6869665C89600930 @default.
• W6869665 hasConceptScore W6869665C90673727 @default.
• W6869665 hasConceptScore W6869665C98763669 @default.
• W6869665 hasLocation W68696651 @default.
• W6869665 hasOpenAccess W6869665 @default.
• W6869665 hasPrimaryLocation W68696651 @default.
• W6869665 hasRelatedWork W1989094632 @default.
• W6869665 hasRelatedWork W2008310023 @default.
• W6869665 hasRelatedWork W2058172940 @default.
• W6869665 hasRelatedWork W2069875786 @default.
• W6869665 hasRelatedWork W2081642252 @default.
• W6869665 hasRelatedWork W2083244749 @default.
• W6869665 hasRelatedWork W2084156819 @default.
• W6869665 hasRelatedWork W2098823658 @default.
• W6869665 hasRelatedWork W2108619558 @default.
• W6869665 hasRelatedWork W2124221524 @default.
• W6869665 hasRelatedWork W2134282564 @default.
• W6869665 hasRelatedWork W2139057562 @default.
• W6869665 hasRelatedWork W2154227688 @default.
• W6869665 hasRelatedWork W2259577537 @default.
• W6869665 hasRelatedWork W2324480576 @default.
• W6869665 hasRelatedWork W2484830021 @default.
• W6869665 hasRelatedWork W2585449849 @default.
• W6869665 hasRelatedWork W2601449229 @default.
• W6869665 hasRelatedWork W2949177852 @default.
• W6869665 hasRelatedWork W2963705438 @default.
• W6869665 isParatext "false" @default.

• next