Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950654313> ?p ?o ?g. }
- W2950654313 endingPage "226" @default.
- W2950654313 startingPage "201" @default.
- W2950654313 abstract "Abstract We study the satisfiability of randomly generated formulas formed by M clauses of exactly K literals over N Boolean variables. For a given value of N the problem is known to be most difficult when α = M/N is close to the experimental threshold α c separating the region where almost all formulas are SAT from the region where all formulas are UNSAT. Recent results from a statistical physics analysis suggest that the difficulty is related to the existence of a clustering phenomenon of the solutions when α is close to (but smaller than) α c . We introduce a new type of message passing algorithm which allows to find efficiently a satisfying assignment of the variables in this difficult region. This algorithm is iterative and composed of two main parts. The first is a message‐passing procedure which generalizes the usual methods like Sum‐Product or Belief Propagation: It passes messages that may be thought of as surveys over clusters of the ordinary messages. The second part uses the detailed probabilistic information obtained from the surveys in order to fix variables and simplify the problem. Eventually, the simplified problem that remains is solved by a conventional heuristic. © 2005 Wiley Periodicals, Inc. Random Struct. Alg., 2005" @default.
- W2950654313 created "2019-06-27" @default.
- W2950654313 creator A5037000437 @default.
- W2950654313 creator A5041685522 @default.
- W2950654313 creator A5067371775 @default.
- W2950654313 date "2005-03-04" @default.
- W2950654313 modified "2023-10-18" @default.
- W2950654313 title "Survey propagation: An algorithm for satisfiability" @default.
- W2950654313 cites W117707387 @default.
- W2950654313 cites W1510651616 @default.
- W2950654313 cites W1518885151 @default.
- W2950654313 cites W1533562602 @default.
- W2950654313 cites W1559492868 @default.
- W2950654313 cites W1650993530 @default.
- W2950654313 cites W1854875838 @default.
- W2950654313 cites W1968198053 @default.
- W2950654313 cites W1984178196 @default.
- W2950654313 cites W2008310023 @default.
- W2950654313 cites W2019156476 @default.
- W2950654313 cites W2022083710 @default.
- W2950654313 cites W2035089769 @default.
- W2950654313 cites W2064241454 @default.
- W2950654313 cites W2114351639 @default.
- W2950654313 cites W2137813581 @default.
- W2950654313 cites W2155218845 @default.
- W2950654313 cites W3143264742 @default.
- W2950654313 cites W4205240937 @default.
- W2950654313 cites W4300188436 @default.
- W2950654313 cites W67367170 @default.
- W2950654313 doi "https://doi.org/10.1002/rsa.20057" @default.
- W2950654313 hasPublicationYear "2005" @default.
- W2950654313 type Work @default.
- W2950654313 sameAs 2950654313 @default.
- W2950654313 citedByCount "268" @default.
- W2950654313 countsByYear W29506543132012 @default.
- W2950654313 countsByYear W29506543132013 @default.
- W2950654313 countsByYear W29506543132014 @default.
- W2950654313 countsByYear W29506543132015 @default.
- W2950654313 countsByYear W29506543132016 @default.
- W2950654313 countsByYear W29506543132017 @default.
- W2950654313 countsByYear W29506543132018 @default.
- W2950654313 countsByYear W29506543132019 @default.
- W2950654313 countsByYear W29506543132020 @default.
- W2950654313 countsByYear W29506543132021 @default.
- W2950654313 countsByYear W29506543132022 @default.
- W2950654313 countsByYear W29506543132023 @default.
- W2950654313 crossrefType "journal-article" @default.
- W2950654313 hasAuthorship W2950654313A5037000437 @default.
- W2950654313 hasAuthorship W2950654313A5041685522 @default.
- W2950654313 hasAuthorship W2950654313A5067371775 @default.
- W2950654313 hasBestOaLocation W29506543134 @default.
- W2950654313 hasConcept C10138342 @default.
- W2950654313 hasConcept C105795698 @default.
- W2950654313 hasConcept C111797529 @default.
- W2950654313 hasConcept C11413529 @default.
- W2950654313 hasConcept C114614502 @default.
- W2950654313 hasConcept C118615104 @default.
- W2950654313 hasConcept C126255220 @default.
- W2950654313 hasConcept C152948882 @default.
- W2950654313 hasConcept C16221470 @default.
- W2950654313 hasConcept C162324750 @default.
- W2950654313 hasConcept C168773769 @default.
- W2950654313 hasConcept C173801870 @default.
- W2950654313 hasConcept C182306322 @default.
- W2950654313 hasConcept C187455244 @default.
- W2950654313 hasConcept C2524010 @default.
- W2950654313 hasConcept C33923547 @default.
- W2950654313 hasConcept C41008148 @default.
- W2950654313 hasConcept C49937458 @default.
- W2950654313 hasConcept C57273362 @default.
- W2950654313 hasConcept C6943359 @default.
- W2950654313 hasConcept C73555534 @default.
- W2950654313 hasConcept C90673727 @default.
- W2950654313 hasConceptScore W2950654313C10138342 @default.
- W2950654313 hasConceptScore W2950654313C105795698 @default.
- W2950654313 hasConceptScore W2950654313C111797529 @default.
- W2950654313 hasConceptScore W2950654313C11413529 @default.
- W2950654313 hasConceptScore W2950654313C114614502 @default.
- W2950654313 hasConceptScore W2950654313C118615104 @default.
- W2950654313 hasConceptScore W2950654313C126255220 @default.
- W2950654313 hasConceptScore W2950654313C152948882 @default.
- W2950654313 hasConceptScore W2950654313C16221470 @default.
- W2950654313 hasConceptScore W2950654313C162324750 @default.
- W2950654313 hasConceptScore W2950654313C168773769 @default.
- W2950654313 hasConceptScore W2950654313C173801870 @default.
- W2950654313 hasConceptScore W2950654313C182306322 @default.
- W2950654313 hasConceptScore W2950654313C187455244 @default.
- W2950654313 hasConceptScore W2950654313C2524010 @default.
- W2950654313 hasConceptScore W2950654313C33923547 @default.
- W2950654313 hasConceptScore W2950654313C41008148 @default.
- W2950654313 hasConceptScore W2950654313C49937458 @default.
- W2950654313 hasConceptScore W2950654313C57273362 @default.
- W2950654313 hasConceptScore W2950654313C6943359 @default.
- W2950654313 hasConceptScore W2950654313C73555534 @default.
- W2950654313 hasConceptScore W2950654313C90673727 @default.
- W2950654313 hasIssue "2" @default.
- W2950654313 hasLocation W29506543131 @default.
- W2950654313 hasLocation W29506543132 @default.