Matches in SemOpenAlex for { <https://semopenalex.org/work/W2553076216> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2553076216 abstract "Determining whether a propositional theory is satisfiable is a prototypical example of an NPcomplete problem. Further, a large number of problems that occur in knowledge representation, learning, planning, and other areas of AI are essentially satisfiability problems. This paper reports on a series of experiments to determine the location of the crossu2rer point - the point at which half the randomly generated propositional theories with a given number of variables and given number of clauses are satisfiable - and to assess the relationship of the crossover point to the difficulty of determining satisfiability. We have found empirically that, for Q-SAT, the number of clauses at the crossover point is a linear function of the number of variables. This result is of theoretical interest since it is not clear why such a linear relationship should exist, but it is also of practical interest since recent experiments [Mitchell et al. 92; Cheeseman et al. 911 indicate that the most computationally difficult problems tend to be found near the crossover point. We have also found that for random 3-SAT problems below the crossover point, the average time complexity of satisfiability problems seems empirically to grow linearly with problem size. At and above the crossover point the complexity seems to grow exponentially, but the rate of growth seems to be greatest near the crossover point." @default.
- W2553076216 created "2016-11-30" @default.
- W2553076216 creator A5070291862 @default.
- W2553076216 creator A5082248197 @default.
- W2553076216 date "1993-01-01" @default.
- W2553076216 modified "2023-09-23" @default.
- W2553076216 title "erimenta esults on over Point i ity" @default.
- W2553076216 cites W1536217426 @default.
- W2553076216 cites W1620410031 @default.
- W2553076216 cites W1667614912 @default.
- W2553076216 cites W1963913579 @default.
- W2553076216 cites W2011992362 @default.
- W2553076216 cites W2057361103 @default.
- W2553076216 cites W2126420408 @default.
- W2553076216 cites W2170826919 @default.
- W2553076216 cites W4326551 @default.
- W2553076216 cites W4983232 @default.
- W2553076216 hasPublicationYear "1993" @default.
- W2553076216 type Work @default.
- W2553076216 sameAs 2553076216 @default.
- W2553076216 citedByCount "0" @default.
- W2553076216 crossrefType "journal-article" @default.
- W2553076216 hasAuthorship W2553076216A5070291862 @default.
- W2553076216 hasAuthorship W2553076216A5082248197 @default.
- W2553076216 hasConcept C114614502 @default.
- W2553076216 hasConcept C118615104 @default.
- W2553076216 hasConcept C122507166 @default.
- W2553076216 hasConcept C14036430 @default.
- W2553076216 hasConcept C154945302 @default.
- W2553076216 hasConcept C168773769 @default.
- W2553076216 hasConcept C17744445 @default.
- W2553076216 hasConcept C199539241 @default.
- W2553076216 hasConcept C2524010 @default.
- W2553076216 hasConcept C2776359362 @default.
- W2553076216 hasConcept C28719098 @default.
- W2553076216 hasConcept C33923547 @default.
- W2553076216 hasConcept C41008148 @default.
- W2553076216 hasConcept C6943359 @default.
- W2553076216 hasConcept C78458016 @default.
- W2553076216 hasConcept C86803240 @default.
- W2553076216 hasConcept C94625758 @default.
- W2553076216 hasConceptScore W2553076216C114614502 @default.
- W2553076216 hasConceptScore W2553076216C118615104 @default.
- W2553076216 hasConceptScore W2553076216C122507166 @default.
- W2553076216 hasConceptScore W2553076216C14036430 @default.
- W2553076216 hasConceptScore W2553076216C154945302 @default.
- W2553076216 hasConceptScore W2553076216C168773769 @default.
- W2553076216 hasConceptScore W2553076216C17744445 @default.
- W2553076216 hasConceptScore W2553076216C199539241 @default.
- W2553076216 hasConceptScore W2553076216C2524010 @default.
- W2553076216 hasConceptScore W2553076216C2776359362 @default.
- W2553076216 hasConceptScore W2553076216C28719098 @default.
- W2553076216 hasConceptScore W2553076216C33923547 @default.
- W2553076216 hasConceptScore W2553076216C41008148 @default.
- W2553076216 hasConceptScore W2553076216C6943359 @default.
- W2553076216 hasConceptScore W2553076216C78458016 @default.
- W2553076216 hasConceptScore W2553076216C86803240 @default.
- W2553076216 hasConceptScore W2553076216C94625758 @default.
- W2553076216 hasLocation W25530762161 @default.
- W2553076216 hasOpenAccess W2553076216 @default.
- W2553076216 hasPrimaryLocation W25530762161 @default.
- W2553076216 hasRelatedWork W110565014 @default.
- W2553076216 hasRelatedWork W1561608403 @default.
- W2553076216 hasRelatedWork W1561665693 @default.
- W2553076216 hasRelatedWork W157230443 @default.
- W2553076216 hasRelatedWork W1663691392 @default.
- W2553076216 hasRelatedWork W1997988698 @default.
- W2553076216 hasRelatedWork W2051503552 @default.
- W2553076216 hasRelatedWork W2072912079 @default.
- W2553076216 hasRelatedWork W2124969216 @default.
- W2553076216 hasRelatedWork W2134644511 @default.
- W2553076216 hasRelatedWork W2187257131 @default.
- W2553076216 hasRelatedWork W2360384417 @default.
- W2553076216 hasRelatedWork W2401207967 @default.
- W2553076216 hasRelatedWork W2767251568 @default.
- W2553076216 hasRelatedWork W2899465825 @default.
- W2553076216 hasRelatedWork W290797917 @default.
- W2553076216 hasRelatedWork W2949497040 @default.
- W2553076216 hasRelatedWork W2994186211 @default.
- W2553076216 hasRelatedWork W3012418118 @default.
- W2553076216 hasRelatedWork W3100754310 @default.
- W2553076216 isParatext "false" @default.
- W2553076216 isRetracted "false" @default.
- W2553076216 magId "2553076216" @default.
- W2553076216 workType "article" @default.