Matches in SemOpenAlex for { <https://semopenalex.org/work/W2486012368> ?p ?o ?g. }
- W2486012368 endingPage "492" @default.
- W2486012368 startingPage "467" @default.
- W2486012368 abstract "Abstract This chapter studies an ensemble of random satisfiability problems, ‘random K-satisfiability’ (K-SAT). Applying the 1RSB cavity method, it first derives the phase diagram in the limit of large N, in particular the location of the SAT-UNSAT threshold. Within the SAT phase, the chapter focuses on the intermediate clustered phase close, and computes the number of clusters to leading exponential order in N. The application of survey propagation to this problem is then described. Combined with a simple decimation procedure, the chapter provides an efficient method for finding satisfiable assignments in the clustered phase. The whole chapter is based on heuristic arguments. There is not yet any rigorous proof of the results presented, neither concerning the phase diagram, nor the convergence properties of message passing algorithms and their use in decimation procedures." @default.
- W2486012368 created "2016-08-23" @default.
- W2486012368 creator A5011999109 @default.
- W2486012368 creator A5037000437 @default.
- W2486012368 date "2009-01-22" @default.
- W2486012368 modified "2023-10-06" @default.
- W2486012368 title "Random K-satisfiability" @default.
- W2486012368 cites W1504317671 @default.
- W2486012368 cites W1508206977 @default.
- W2486012368 cites W1510746324 @default.
- W2486012368 cites W1517461401 @default.
- W2486012368 cites W1518885151 @default.
- W2486012368 cites W1522182004 @default.
- W2486012368 cites W1527520754 @default.
- W2486012368 cites W1533562602 @default.
- W2486012368 cites W1536930200 @default.
- W2486012368 cites W1559492868 @default.
- W2486012368 cites W1562473198 @default.
- W2486012368 cites W1568745098 @default.
- W2486012368 cites W1590095801 @default.
- W2486012368 cites W1605912633 @default.
- W2486012368 cites W1619771112 @default.
- W2486012368 cites W1622584740 @default.
- W2486012368 cites W1650993530 @default.
- W2486012368 cites W1746680969 @default.
- W2486012368 cites W1846857138 @default.
- W2486012368 cites W1854875838 @default.
- W2486012368 cites W187371506 @default.
- W2486012368 cites W1964009083 @default.
- W2486012368 cites W1964281249 @default.
- W2486012368 cites W1967084746 @default.
- W2486012368 cites W1967744239 @default.
- W2486012368 cites W1968198053 @default.
- W2486012368 cites W1968246340 @default.
- W2486012368 cites W1968964926 @default.
- W2486012368 cites W1971018670 @default.
- W2486012368 cites W1971082326 @default.
- W2486012368 cites W1971378428 @default.
- W2486012368 cites W1972710889 @default.
- W2486012368 cites W1972884424 @default.
- W2486012368 cites W1973149840 @default.
- W2486012368 cites W1973670813 @default.
- W2486012368 cites W1974572752 @default.
- W2486012368 cites W1976418263 @default.
- W2486012368 cites W1976870689 @default.
- W2486012368 cites W1977327092 @default.
- W2486012368 cites W1977759320 @default.
- W2486012368 cites W1978113428 @default.
- W2486012368 cites W1979005517 @default.
- W2486012368 cites W1979483474 @default.
- W2486012368 cites W1980130379 @default.
- W2486012368 cites W1980452149 @default.
- W2486012368 cites W1980848544 @default.
- W2486012368 cites W1982157728 @default.
- W2486012368 cites W1984178196 @default.
- W2486012368 cites W1985667642 @default.
- W2486012368 cites W1986683861 @default.
- W2486012368 cites W1989168829 @default.
- W2486012368 cites W1989677679 @default.
- W2486012368 cites W1990755770 @default.
- W2486012368 cites W1991431422 @default.
- W2486012368 cites W1991904924 @default.
- W2486012368 cites W1993944611 @default.
- W2486012368 cites W1996199671 @default.
- W2486012368 cites W1996612205 @default.
- W2486012368 cites W1997698259 @default.
- W2486012368 cites W1999432334 @default.
- W2486012368 cites W1999851970 @default.
- W2486012368 cites W2000449275 @default.
- W2486012368 cites W2000943155 @default.
- W2486012368 cites W2001226941 @default.
- W2486012368 cites W2001732758 @default.
- W2486012368 cites W2003351966 @default.
- W2486012368 cites W2006424894 @default.
- W2486012368 cites W2007480625 @default.
- W2486012368 cites W2007995670 @default.
- W2486012368 cites W2008065986 @default.
- W2486012368 cites W2009070933 @default.
- W2486012368 cites W2010142728 @default.
- W2486012368 cites W2012613296 @default.
- W2486012368 cites W2015028593 @default.
- W2486012368 cites W2015593939 @default.
- W2486012368 cites W2016506539 @default.
- W2486012368 cites W2017816219 @default.
- W2486012368 cites W2018251959 @default.
- W2486012368 cites W2019194947 @default.
- W2486012368 cites W2019219533 @default.
- W2486012368 cites W2019705392 @default.
- W2486012368 cites W2022083710 @default.
- W2486012368 cites W2022314698 @default.
- W2486012368 cites W2022494241 @default.
- W2486012368 cites W2022820481 @default.
- W2486012368 cites W2023313458 @default.
- W2486012368 cites W2023360441 @default.
- W2486012368 cites W2023463028 @default.
- W2486012368 cites W2024060531 @default.
- W2486012368 cites W2026129786 @default.
- W2486012368 cites W2028457175 @default.