FRINK Linked Data Fragments server

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

• W157230443 endingPage "345" @default.
• W157230443 startingPage "340" @default.
• W157230443 abstract "Many problem ensembles exhibit a phase transition that is associated with a large peak in the average cost of solving the problem instances. However, this peak is not necessarily due to a lack of solutions: indeed the average number of solutions is typically exponentially large. Here, we study this situation within the context of the satisfiability transition in Random 3SAT. We find that a significant subclass of instances emerges as we cross the phase transition. These instances are characterized by having about 85-95% of their variables occurring in unary prime implicates (UPIs), with their remaining variables being subject to few constraints. In such instances the models are not randomly distributed but all lie in a cluster that is exponentially large, but still admits a simple description. Studying the effect of UPIs on the local search algorithm WSAT shows that these single-cluster instances are harder to solve, and we relate their appearance at the phase transition to the peak in search cost." @default.
• W157230443 created "2016-06-24" @default.
• W157230443 creator A5049853918 @default.
• W157230443 date "1997-07-27" @default.
• W157230443 modified "2023-09-24" @default.
• W157230443 title "Clustering at the phase transition" @default.
• W157230443 cites W118708968 @default.
• W157230443 cites W1549740976 @default.
• W157230443 cites W1620410031 @default.
• W157230443 cites W1700222499 @default.
• W157230443 cites W1968198053 @default.
• W157230443 cites W2002627038 @default.
• W157230443 cites W2010267345 @default.
• W157230443 cites W2122856906 @default.
• W157230443 cites W2137154807 @default.
• W157230443 cites W2155218845 @default.
• W157230443 cites W21597398 @default.
• W157230443 cites W2165372647 @default.
• W157230443 cites W2905110430 @default.
• W157230443 cites W31244557 @default.
• W157230443 cites W4983232 @default.
• W157230443 hasPublicationYear "1997" @default.
• W157230443 type Work @default.
• W157230443 sameAs 157230443 @default.
• W157230443 citedByCount "37" @default.
• W157230443 countsByYear W1572304432014 @default.
• W157230443 countsByYear W1572304432015 @default.
• W157230443 countsByYear W1572304432016 @default.
• W157230443 countsByYear W1572304432018 @default.
• W157230443 countsByYear W1572304432021 @default.
• W157230443 crossrefType "proceedings-article" @default.
• W157230443 hasAuthorship W157230443A5049853918 @default.
• W157230443 hasConcept C105795698 @default.
• W157230443 hasConcept C111472728 @default.
• W157230443 hasConcept C11413529 @default.
• W157230443 hasConcept C114614502 @default.
• W157230443 hasConcept C118615104 @default.
• W157230443 hasConcept C121332964 @default.
• W157230443 hasConcept C126255220 @default.
• W157230443 hasConcept C138885662 @default.
• W157230443 hasConcept C149288129 @default.
• W157230443 hasConcept C151730666 @default.
• W157230443 hasConcept C164866538 @default.
• W157230443 hasConcept C168773769 @default.
• W157230443 hasConcept C173801870 @default.
• W157230443 hasConcept C199360897 @default.
• W157230443 hasConcept C2779343474 @default.
• W157230443 hasConcept C2780586882 @default.
• W157230443 hasConcept C33923547 @default.
• W157230443 hasConcept C41008148 @default.
• W157230443 hasConcept C62520636 @default.
• W157230443 hasConcept C6943359 @default.
• W157230443 hasConcept C73555534 @default.
• W157230443 hasConcept C78023250 @default.
• W157230443 hasConcept C86803240 @default.
• W157230443 hasConceptScore W157230443C105795698 @default.
• W157230443 hasConceptScore W157230443C111472728 @default.
• W157230443 hasConceptScore W157230443C11413529 @default.
• W157230443 hasConceptScore W157230443C114614502 @default.
• W157230443 hasConceptScore W157230443C118615104 @default.
• W157230443 hasConceptScore W157230443C121332964 @default.
• W157230443 hasConceptScore W157230443C126255220 @default.
• W157230443 hasConceptScore W157230443C138885662 @default.
• W157230443 hasConceptScore W157230443C149288129 @default.
• W157230443 hasConceptScore W157230443C151730666 @default.
• W157230443 hasConceptScore W157230443C164866538 @default.
• W157230443 hasConceptScore W157230443C168773769 @default.
• W157230443 hasConceptScore W157230443C173801870 @default.
• W157230443 hasConceptScore W157230443C199360897 @default.
• W157230443 hasConceptScore W157230443C2779343474 @default.
• W157230443 hasConceptScore W157230443C2780586882 @default.
• W157230443 hasConceptScore W157230443C33923547 @default.
• W157230443 hasConceptScore W157230443C41008148 @default.
• W157230443 hasConceptScore W157230443C62520636 @default.
• W157230443 hasConceptScore W157230443C6943359 @default.
• W157230443 hasConceptScore W157230443C73555534 @default.
• W157230443 hasConceptScore W157230443C78023250 @default.
• W157230443 hasConceptScore W157230443C86803240 @default.
• W157230443 hasLocation W1572304431 @default.
• W157230443 hasOpenAccess W157230443 @default.
• W157230443 hasPrimaryLocation W1572304431 @default.
• W157230443 hasRelatedWork W1538237753 @default.
• W157230443 hasRelatedWork W1549740976 @default.
• W157230443 hasRelatedWork W1620410031 @default.
• W157230443 hasRelatedWork W1650993530 @default.
• W157230443 hasRelatedWork W1822195155 @default.
• W157230443 hasRelatedWork W1865464712 @default.
• W157230443 hasRelatedWork W1898297283 @default.
• W157230443 hasRelatedWork W1968198053 @default.
• W157230443 hasRelatedWork W2011039300 @default.
• W157230443 hasRelatedWork W2023379267 @default.
• W157230443 hasRelatedWork W2039557216 @default.
• W157230443 hasRelatedWork W2057361103 @default.
• W157230443 hasRelatedWork W2092520161 @default.
• W157230443 hasRelatedWork W2122856906 @default.
• W157230443 hasRelatedWork W2142785340 @default.
• W157230443 hasRelatedWork W2150353295 @default.
• W157230443 hasRelatedWork W2157280385 @default.

• next