Matches in SemOpenAlex for { <https://semopenalex.org/work/W2013115988> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W2013115988 endingPage "145" @default.
- W2013115988 startingPage "111" @default.
- W2013115988 abstract "We widely extend the class of problems that are linearly equivalent to Satisfiability. We show that many natural combinatorial problems are linear-time equivalent to Satisfiability (SAT-equivalent). We prove that the following problems are SAT-equivalent: 3-Colorability, Path with Forbidden Pairs, Path without Chord, Kernel of Graph, Partition into Triangles, Partition into Hamiltonian Subgraphs, Cubic Subgraph, 3-Dimensional Matching, 3-Exact Cover, Partition into Paths of Length Two, 3-Domatic Number, 2-Partition into Perfect Matchings and Restricted Perfect Matching. Furthermore, we present a uniform method for proving NP-completeness. This method shows that 3-Colorability is a key problem for proving NP-completeness with linear-time transformations. The computational model on which these results are based is a Turing machine with a fixed number of sortings in addition." @default.
- W2013115988 created "2016-06-24" @default.
- W2013115988 creator A5090333344 @default.
- W2013115988 date "1995-07-01" @default.
- W2013115988 modified "2023-09-27" @default.
- W2013115988 title "The class of problems that are linearly equivalent to Satisfiability or a uniform method for proving NP-completeness" @default.
- W2013115988 cites W2017996596 @default.
- W2013115988 cites W2030147970 @default.
- W2013115988 cites W2038225707 @default.
- W2013115988 cites W2042654457 @default.
- W2013115988 cites W2059813129 @default.
- W2013115988 cites W2082154422 @default.
- W2013115988 cites W2085938002 @default.
- W2013115988 cites W2097371553 @default.
- W2013115988 cites W3037175162 @default.
- W2013115988 doi "https://doi.org/10.1016/0304-3975(94)00182-i" @default.
- W2013115988 hasPublicationYear "1995" @default.
- W2013115988 type Work @default.
- W2013115988 sameAs 2013115988 @default.
- W2013115988 citedByCount "36" @default.
- W2013115988 countsByYear W20131159882012 @default.
- W2013115988 countsByYear W20131159882013 @default.
- W2013115988 countsByYear W20131159882015 @default.
- W2013115988 countsByYear W20131159882016 @default.
- W2013115988 countsByYear W20131159882017 @default.
- W2013115988 countsByYear W20131159882018 @default.
- W2013115988 countsByYear W20131159882019 @default.
- W2013115988 countsByYear W20131159882021 @default.
- W2013115988 countsByYear W20131159882022 @default.
- W2013115988 crossrefType "journal-article" @default.
- W2013115988 hasAuthorship W2013115988A5090333344 @default.
- W2013115988 hasConcept C114614502 @default.
- W2013115988 hasConcept C118615104 @default.
- W2013115988 hasConcept C168773769 @default.
- W2013115988 hasConcept C311688 @default.
- W2013115988 hasConcept C33923547 @default.
- W2013115988 hasConcept C42812 @default.
- W2013115988 hasConcept C6943359 @default.
- W2013115988 hasConceptScore W2013115988C114614502 @default.
- W2013115988 hasConceptScore W2013115988C118615104 @default.
- W2013115988 hasConceptScore W2013115988C168773769 @default.
- W2013115988 hasConceptScore W2013115988C311688 @default.
- W2013115988 hasConceptScore W2013115988C33923547 @default.
- W2013115988 hasConceptScore W2013115988C42812 @default.
- W2013115988 hasConceptScore W2013115988C6943359 @default.
- W2013115988 hasIssue "1-2" @default.
- W2013115988 hasLocation W20131159881 @default.
- W2013115988 hasOpenAccess W2013115988 @default.
- W2013115988 hasPrimaryLocation W20131159881 @default.
- W2013115988 hasRelatedWork W2021372200 @default.
- W2013115988 hasRelatedWork W2030227772 @default.
- W2013115988 hasRelatedWork W21453999 @default.
- W2013115988 hasRelatedWork W2235115558 @default.
- W2013115988 hasRelatedWork W2461588548 @default.
- W2013115988 hasRelatedWork W264823163 @default.
- W2013115988 hasRelatedWork W344547944 @default.
- W2013115988 hasRelatedWork W420675734 @default.
- W2013115988 hasRelatedWork W44982509 @default.
- W2013115988 hasRelatedWork W2314909417 @default.
- W2013115988 hasVolume "145" @default.
- W2013115988 isParatext "false" @default.
- W2013115988 isRetracted "false" @default.
- W2013115988 magId "2013115988" @default.
- W2013115988 workType "article" @default.