Matches in SemOpenAlex for { <https://semopenalex.org/work/W2162227159> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2162227159 endingPage "2030" @default.
- W2162227159 startingPage "2024" @default.
- W2162227159 abstract "Gopalan et al. studied in [P. Gopalan, P.G. Kolaitis, E.N. Maneva, C.H. Papadimitriou, The connectivity of Boolean satisfiability: computational and structural dichotomies, in: Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP 2006, 2006, pp. 346–357] and [P. Gopalan, P.G. Kolaitis, E.N. Maneva, C.H. Papadimitriou, The connectivity of Boolean satisfiability: computational and structural dichotomies, SIAM J. Comput. 38 (6) (2009) 2330–2355] connectivity properties of the solution-space of Boolean formulas, and investigated complexity issues on the connectivity problems in Schaefer’s framework. A set S of logical relations is Schaefer if all relations in S are either bijunctive, Horn, dual Horn, or affine. They first conjectured that the connectivity problem for Schaefer is in P. We disprove their conjecture by showing that there exists a set S of Horn relations such that the connectivity problem for S is coNP-complete. We also investigate a tractable aspect of Horn and dual Horn relations with respect to characteristic sets." @default.
- W2162227159 created "2016-06-24" @default.
- W2162227159 creator A5029292642 @default.
- W2162227159 creator A5072326450 @default.
- W2162227159 creator A5079503752 @default.
- W2162227159 date "2010-11-01" @default.
- W2162227159 modified "2023-10-06" @default.
- W2162227159 title "On the Boolean connectivity problem for Horn relations" @default.
- W2162227159 cites W1503328822 @default.
- W2162227159 cites W1574333603 @default.
- W2162227159 cites W1902941631 @default.
- W2162227159 cites W1965913970 @default.
- W2162227159 cites W1971132311 @default.
- W2162227159 cites W1976090101 @default.
- W2162227159 cites W1980276492 @default.
- W2162227159 cites W1981549588 @default.
- W2162227159 cites W1997649256 @default.
- W2162227159 cites W2024768126 @default.
- W2162227159 cites W2034069868 @default.
- W2162227159 cites W2040475127 @default.
- W2162227159 cites W2055356006 @default.
- W2162227159 cites W2058269520 @default.
- W2162227159 cites W2068190866 @default.
- W2162227159 cites W2079322253 @default.
- W2162227159 cites W2080947358 @default.
- W2162227159 cites W2085138240 @default.
- W2162227159 cites W2088631785 @default.
- W2162227159 cites W2091345559 @default.
- W2162227159 cites W2094873706 @default.
- W2162227159 cites W2117290960 @default.
- W2162227159 cites W2140395855 @default.
- W2162227159 cites W2145062905 @default.
- W2162227159 cites W2166566648 @default.
- W2162227159 doi "https://doi.org/10.1016/j.dam.2010.08.019" @default.
- W2162227159 hasPublicationYear "2010" @default.
- W2162227159 type Work @default.
- W2162227159 sameAs 2162227159 @default.
- W2162227159 citedByCount "10" @default.
- W2162227159 countsByYear W21622271592012 @default.
- W2162227159 countsByYear W21622271592013 @default.
- W2162227159 countsByYear W21622271592014 @default.
- W2162227159 countsByYear W21622271592015 @default.
- W2162227159 countsByYear W21622271592018 @default.
- W2162227159 countsByYear W21622271592020 @default.
- W2162227159 crossrefType "journal-article" @default.
- W2162227159 hasAuthorship W2162227159A5029292642 @default.
- W2162227159 hasAuthorship W2162227159A5072326450 @default.
- W2162227159 hasAuthorship W2162227159A5079503752 @default.
- W2162227159 hasConcept C114614502 @default.
- W2162227159 hasConcept C118615104 @default.
- W2162227159 hasConcept C128838566 @default.
- W2162227159 hasConcept C152076505 @default.
- W2162227159 hasConcept C15744967 @default.
- W2162227159 hasConcept C187455244 @default.
- W2162227159 hasConcept C189790780 @default.
- W2162227159 hasConcept C19417346 @default.
- W2162227159 hasConcept C2780990831 @default.
- W2162227159 hasConcept C33923547 @default.
- W2162227159 hasConcept C41008148 @default.
- W2162227159 hasConcept C6943359 @default.
- W2162227159 hasConcept C80444323 @default.
- W2162227159 hasConceptScore W2162227159C114614502 @default.
- W2162227159 hasConceptScore W2162227159C118615104 @default.
- W2162227159 hasConceptScore W2162227159C128838566 @default.
- W2162227159 hasConceptScore W2162227159C152076505 @default.
- W2162227159 hasConceptScore W2162227159C15744967 @default.
- W2162227159 hasConceptScore W2162227159C187455244 @default.
- W2162227159 hasConceptScore W2162227159C189790780 @default.
- W2162227159 hasConceptScore W2162227159C19417346 @default.
- W2162227159 hasConceptScore W2162227159C2780990831 @default.
- W2162227159 hasConceptScore W2162227159C33923547 @default.
- W2162227159 hasConceptScore W2162227159C41008148 @default.
- W2162227159 hasConceptScore W2162227159C6943359 @default.
- W2162227159 hasConceptScore W2162227159C80444323 @default.
- W2162227159 hasIssue "18" @default.
- W2162227159 hasLocation W21622271591 @default.
- W2162227159 hasOpenAccess W2162227159 @default.
- W2162227159 hasPrimaryLocation W21622271591 @default.
- W2162227159 hasRelatedWork W1521840795 @default.
- W2162227159 hasRelatedWork W1808107509 @default.
- W2162227159 hasRelatedWork W1991403408 @default.
- W2162227159 hasRelatedWork W2006890157 @default.
- W2162227159 hasRelatedWork W2064560955 @default.
- W2162227159 hasRelatedWork W2372612917 @default.
- W2162227159 hasRelatedWork W2404351495 @default.
- W2162227159 hasRelatedWork W2542670467 @default.
- W2162227159 hasRelatedWork W2600034178 @default.
- W2162227159 hasRelatedWork W328089188 @default.
- W2162227159 hasVolume "158" @default.
- W2162227159 isParatext "false" @default.
- W2162227159 isRetracted "false" @default.
- W2162227159 magId "2162227159" @default.
- W2162227159 workType "article" @default.