FRINK Linked Data Fragments server

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

• W2115885909 endingPage "279" @default.
• W2115885909 startingPage "260" @default.
• W2115885909 abstract "We investigate geometrical properties of the random K-satisfiability problem using the notion of x-satisfiability: a formula is x-satisfiable is there exist two SAT-assignments differing in Nx variables. We show the existence of a sharp threshold for this property as a function of the clause density. For large enough K, we prove that there exists a region of clause density, below the satisfiability threshold, where the landscape of Hamming distances between SAT-assignments experiences a gap: pairs of SAT-assignments exist at small x, and around x=12, but they do not exist at intermediate values of x. This result is consistent with the clustering scenario which is at the heart of the recent heuristic analysis of satisfiability using statistical physics analysis (the cavity method), and its algorithmic counterpart (the survey propagation algorithm). Our method uses elementary probabilistic arguments (first and second moment methods), and might be useful in other problems of computational and physical interest where similar phenomena appear." @default.
• W2115885909 created "2016-06-24" @default.
• W2115885909 creator A5037000437 @default.
• W2115885909 creator A5041685522 @default.
• W2115885909 creator A5053691016 @default.
• W2115885909 creator A5064369206 @default.
• W2115885909 date "2008-03-01" @default.
• W2115885909 modified "2023-10-06" @default.
• W2115885909 title "Pairs of SAT-assignments in random Boolean formulæ" @default.
• W2115885909 cites W1518885151 @default.
• W2115885909 cites W1533562602 @default.
• W2115885909 cites W1559492868 @default.
• W2115885909 cites W1650993530 @default.
• W2115885909 cites W1854875838 @default.
• W2115885909 cites W1968198053 @default.
• W2115885909 cites W1971578710 @default.
• W2115885909 cites W1980130379 @default.
• W2115885909 cites W1980276492 @default.
• W2115885909 cites W1991431422 @default.
• W2115885909 cites W2010142728 @default.
• W2115885909 cites W2019194947 @default.
• W2115885909 cites W2022083710 @default.
• W2115885909 cites W2035089769 @default.
• W2115885909 cites W2036265926 @default.
• W2115885909 cites W2039557216 @default.
• W2115885909 cites W2055340828 @default.
• W2115885909 cites W2063428816 @default.
• W2115885909 cites W2077648298 @default.
• W2115885909 cites W2078137578 @default.
• W2115885909 cites W2088486516 @default.
• W2115885909 cites W2093252122 @default.
• W2115885909 cites W2115730400 @default.
• W2115885909 cites W2126095574 @default.
• W2115885909 cites W2576557043 @default.
• W2115885909 cites W2949171506 @default.
• W2115885909 cites W2950654313 @default.
• W2115885909 cites W3105049882 @default.
• W2115885909 cites W3143264742 @default.
• W2115885909 cites W67367170 @default.
• W2115885909 doi "https://doi.org/10.1016/j.tcs.2008.01.005" @default.
• W2115885909 hasPublicationYear "2008" @default.
• W2115885909 type Work @default.
• W2115885909 sameAs 2115885909 @default.
• W2115885909 citedByCount "47" @default.
• W2115885909 countsByYear W21158859092012 @default.
• W2115885909 countsByYear W21158859092013 @default.
• W2115885909 countsByYear W21158859092014 @default.
• W2115885909 countsByYear W21158859092016 @default.
• W2115885909 countsByYear W21158859092017 @default.
• W2115885909 countsByYear W21158859092020 @default.
• W2115885909 countsByYear W21158859092022 @default.
• W2115885909 crossrefType "journal-article" @default.
• W2115885909 hasAuthorship W2115885909A5037000437 @default.
• W2115885909 hasAuthorship W2115885909A5041685522 @default.
• W2115885909 hasAuthorship W2115885909A5053691016 @default.
• W2115885909 hasAuthorship W2115885909A5064369206 @default.
• W2115885909 hasBestOaLocation W21158859091 @default.
• W2115885909 hasConcept C105795698 @default.
• W2115885909 hasConcept C111797529 @default.
• W2115885909 hasConcept C11413529 @default.
• W2115885909 hasConcept C114614502 @default.
• W2115885909 hasConcept C118615104 @default.
• W2115885909 hasConcept C126255220 @default.
• W2115885909 hasConcept C14036430 @default.
• W2115885909 hasConcept C16221470 @default.
• W2115885909 hasConcept C168773769 @default.
• W2115885909 hasConcept C173801870 @default.
• W2115885909 hasConcept C187455244 @default.
• W2115885909 hasConcept C193319292 @default.
• W2115885909 hasConcept C33923547 @default.
• W2115885909 hasConcept C49937458 @default.
• W2115885909 hasConcept C6943359 @default.
• W2115885909 hasConcept C78458016 @default.
• W2115885909 hasConcept C86803240 @default.
• W2115885909 hasConceptScore W2115885909C105795698 @default.
• W2115885909 hasConceptScore W2115885909C111797529 @default.
• W2115885909 hasConceptScore W2115885909C11413529 @default.
• W2115885909 hasConceptScore W2115885909C114614502 @default.
• W2115885909 hasConceptScore W2115885909C118615104 @default.
• W2115885909 hasConceptScore W2115885909C126255220 @default.
• W2115885909 hasConceptScore W2115885909C14036430 @default.
• W2115885909 hasConceptScore W2115885909C16221470 @default.
• W2115885909 hasConceptScore W2115885909C168773769 @default.
• W2115885909 hasConceptScore W2115885909C173801870 @default.
• W2115885909 hasConceptScore W2115885909C187455244 @default.
• W2115885909 hasConceptScore W2115885909C193319292 @default.
• W2115885909 hasConceptScore W2115885909C33923547 @default.
• W2115885909 hasConceptScore W2115885909C49937458 @default.
• W2115885909 hasConceptScore W2115885909C6943359 @default.
• W2115885909 hasConceptScore W2115885909C78458016 @default.
• W2115885909 hasConceptScore W2115885909C86803240 @default.
• W2115885909 hasIssue "1-3" @default.
• W2115885909 hasLocation W21158859091 @default.
• W2115885909 hasLocation W21158859092 @default.
• W2115885909 hasLocation W21158859093 @default.
• W2115885909 hasLocation W21158859094 @default.
• W2115885909 hasLocation W21158859095 @default.
• W2115885909 hasLocation W21158859096 @default.

• next