Matches in SemOpenAlex for { <https://semopenalex.org/work/W1574333603> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W1574333603 endingPage "357" @default.
- W1574333603 startingPage "346" @default.
- W1574333603 abstract "Given a Boolean formula, do its solutions form a connected subgraph of the hypercube? This and other related connectivity considerations underlie recent work on random Boolean satisfiability. We study connectivity properties of the space of solutions of Boolean formulas, and establish computational and structural dichotomies. Specifically, we first establish a dichotomy theorem for the complexity of the st-connectivity problem for Boolean formulas in Schaefer's framework. Our result asserts that the tractable side is more generous than the tractable side in Schaefer's dichotomy theorem for satisfiability, while the intractable side is PSPACE-complete. For the connectivity problem, we establish a dichotomy along the same boundary between membership in coNP and PSPACE-completeness. Furthermore, we establish a structural dichotomy theorem for the diameter of the connected components of the solution space: for the PSPACE-complete cases, the diameter can be exponential, but in all other cases it is linear. Thus, small diameter and tractability of the st-connectivity problem are remarkably aligned." @default.
- W1574333603 created "2016-06-24" @default.
- W1574333603 creator A5036468719 @default.
- W1574333603 creator A5041825861 @default.
- W1574333603 creator A5078476534 @default.
- W1574333603 creator A5078805815 @default.
- W1574333603 date "2006-01-01" @default.
- W1574333603 modified "2023-09-27" @default.
- W1574333603 title "The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies" @default.
- W1574333603 cites W1518885151 @default.
- W1574333603 cites W1556354817 @default.
- W1574333603 cites W1980276492 @default.
- W1574333603 cites W2017127020 @default.
- W1574333603 cites W2034069868 @default.
- W1574333603 cites W2055356006 @default.
- W1574333603 cites W2063428816 @default.
- W1574333603 cites W2068190866 @default.
- W1574333603 cites W2072639390 @default.
- W1574333603 cites W2085138240 @default.
- W1574333603 cites W2091345559 @default.
- W1574333603 cites W2117290960 @default.
- W1574333603 cites W2129023820 @default.
- W1574333603 cites W2152182443 @default.
- W1574333603 cites W2166566648 @default.
- W1574333603 cites W67367170 @default.
- W1574333603 doi "https://doi.org/10.1007/11786986_31" @default.
- W1574333603 hasPublicationYear "2006" @default.
- W1574333603 type Work @default.
- W1574333603 sameAs 1574333603 @default.
- W1574333603 citedByCount "14" @default.
- W1574333603 countsByYear W15743336032013 @default.
- W1574333603 countsByYear W15743336032014 @default.
- W1574333603 countsByYear W15743336032015 @default.
- W1574333603 countsByYear W15743336032018 @default.
- W1574333603 crossrefType "book-chapter" @default.
- W1574333603 hasAuthorship W1574333603A5036468719 @default.
- W1574333603 hasAuthorship W1574333603A5041825861 @default.
- W1574333603 hasAuthorship W1574333603A5078476534 @default.
- W1574333603 hasAuthorship W1574333603A5078805815 @default.
- W1574333603 hasBestOaLocation W15743336032 @default.
- W1574333603 hasConcept C105795698 @default.
- W1574333603 hasConcept C168773769 @default.
- W1574333603 hasConcept C33923547 @default.
- W1574333603 hasConcept C41008148 @default.
- W1574333603 hasConcept C59462968 @default.
- W1574333603 hasConcept C6943359 @default.
- W1574333603 hasConcept C80444323 @default.
- W1574333603 hasConceptScore W1574333603C105795698 @default.
- W1574333603 hasConceptScore W1574333603C168773769 @default.
- W1574333603 hasConceptScore W1574333603C33923547 @default.
- W1574333603 hasConceptScore W1574333603C41008148 @default.
- W1574333603 hasConceptScore W1574333603C59462968 @default.
- W1574333603 hasConceptScore W1574333603C6943359 @default.
- W1574333603 hasConceptScore W1574333603C80444323 @default.
- W1574333603 hasLocation W15743336031 @default.
- W1574333603 hasLocation W15743336032 @default.
- W1574333603 hasLocation W15743336033 @default.
- W1574333603 hasOpenAccess W1574333603 @default.
- W1574333603 hasPrimaryLocation W15743336031 @default.
- W1574333603 hasRelatedWork W1486715727 @default.
- W1574333603 hasRelatedWork W1567492448 @default.
- W1574333603 hasRelatedWork W1568496597 @default.
- W1574333603 hasRelatedWork W1574333603 @default.
- W1574333603 hasRelatedWork W2090854154 @default.
- W1574333603 hasRelatedWork W2109577721 @default.
- W1574333603 hasRelatedWork W2117005051 @default.
- W1574333603 hasRelatedWork W2396641696 @default.
- W1574333603 hasRelatedWork W2404668260 @default.
- W1574333603 hasRelatedWork W2949268935 @default.
- W1574333603 isParatext "false" @default.
- W1574333603 isRetracted "false" @default.
- W1574333603 magId "1574333603" @default.
- W1574333603 workType "book-chapter" @default.