Matches in SemOpenAlex for { <https://semopenalex.org/work/W1555583279> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1555583279 abstract "We present an exact algorithm for a PSPACE-complete problem, denoted by CONNkSAT, which asks if the solution space for a given k-CNF formula is connected on the n-dimensional hypercube. The problem is known to be PSPACE-complete for k≥3, and polynomial solvable for k≤2 [6]. We show that CONN kSAT for k≥3 is solvable in time $O((2-epsilon_k)^n)$ for some constant ek>0, where ek depends only on k, but not on n. This result is considered to be interesting due to the following fact shown by [5]: QBF-3-SAT, which is a typical PSPACE-complete problem, is not solvable in time O((2−e)n) for any constant e>0, provided that the SAT problem (with no restriction to the clause length) is not solvable in time O((2−e)n) for any constant e>0." @default.
- W1555583279 created "2016-06-24" @default.
- W1555583279 creator A5029292642 @default.
- W1555583279 creator A5072326450 @default.
- W1555583279 creator A5079503752 @default.
- W1555583279 date "2010-01-01" @default.
- W1555583279 modified "2023-10-04" @default.
- W1555583279 title "An Exact Algorithm for the Boolean Connectivity Problem for k-CNF" @default.
- W1555583279 cites W1571792361 @default.
- W1555583279 cites W1593916827 @default.
- W1555583279 cites W1741233485 @default.
- W1555583279 cites W1824848400 @default.
- W1555583279 cites W1971483538 @default.
- W1555583279 cites W1976090101 @default.
- W1555583279 cites W2002425091 @default.
- W1555583279 cites W2009803313 @default.
- W1555583279 cites W2014111643 @default.
- W1555583279 cites W2042764910 @default.
- W1555583279 cites W2045326192 @default.
- W1555583279 cites W2082757215 @default.
- W1555583279 cites W2119774304 @default.
- W1555583279 cites W2163938320 @default.
- W1555583279 doi "https://doi.org/10.1007/978-3-642-14186-7_15" @default.
- W1555583279 hasPublicationYear "2010" @default.
- W1555583279 type Work @default.
- W1555583279 sameAs 1555583279 @default.
- W1555583279 citedByCount "0" @default.
- W1555583279 crossrefType "book-chapter" @default.
- W1555583279 hasAuthorship W1555583279A5029292642 @default.
- W1555583279 hasAuthorship W1555583279A5072326450 @default.
- W1555583279 hasAuthorship W1555583279A5079503752 @default.
- W1555583279 hasBestOaLocation W15555832792 @default.
- W1555583279 hasConcept C11413529 @default.
- W1555583279 hasConcept C114614502 @default.
- W1555583279 hasConcept C118615104 @default.
- W1555583279 hasConcept C179799912 @default.
- W1555583279 hasConcept C197685441 @default.
- W1555583279 hasConcept C199360897 @default.
- W1555583279 hasConcept C200415742 @default.
- W1555583279 hasConcept C2777027219 @default.
- W1555583279 hasConcept C311688 @default.
- W1555583279 hasConcept C33923547 @default.
- W1555583279 hasConcept C41008148 @default.
- W1555583279 hasConcept C50820777 @default.
- W1555583279 hasConceptScore W1555583279C11413529 @default.
- W1555583279 hasConceptScore W1555583279C114614502 @default.
- W1555583279 hasConceptScore W1555583279C118615104 @default.
- W1555583279 hasConceptScore W1555583279C179799912 @default.
- W1555583279 hasConceptScore W1555583279C197685441 @default.
- W1555583279 hasConceptScore W1555583279C199360897 @default.
- W1555583279 hasConceptScore W1555583279C200415742 @default.
- W1555583279 hasConceptScore W1555583279C2777027219 @default.
- W1555583279 hasConceptScore W1555583279C311688 @default.
- W1555583279 hasConceptScore W1555583279C33923547 @default.
- W1555583279 hasConceptScore W1555583279C41008148 @default.
- W1555583279 hasConceptScore W1555583279C50820777 @default.
- W1555583279 hasLocation W15555832791 @default.
- W1555583279 hasLocation W15555832792 @default.
- W1555583279 hasOpenAccess W1555583279 @default.
- W1555583279 hasPrimaryLocation W15555832791 @default.
- W1555583279 hasRelatedWork W1489272444 @default.
- W1555583279 hasRelatedWork W1520479211 @default.
- W1555583279 hasRelatedWork W2001332692 @default.
- W1555583279 hasRelatedWork W2027999353 @default.
- W1555583279 hasRelatedWork W2030227772 @default.
- W1555583279 hasRelatedWork W2033642621 @default.
- W1555583279 hasRelatedWork W2040072977 @default.
- W1555583279 hasRelatedWork W2123864423 @default.
- W1555583279 hasRelatedWork W2134469776 @default.
- W1555583279 hasRelatedWork W2134851251 @default.
- W1555583279 hasRelatedWork W2162357359 @default.
- W1555583279 hasRelatedWork W2405999865 @default.
- W1555583279 hasRelatedWork W2540110070 @default.
- W1555583279 hasRelatedWork W2951288368 @default.
- W1555583279 hasRelatedWork W2951838648 @default.
- W1555583279 hasRelatedWork W2963923487 @default.
- W1555583279 hasRelatedWork W2963957639 @default.
- W1555583279 hasRelatedWork W3160700943 @default.
- W1555583279 hasRelatedWork W1558321388 @default.
- W1555583279 hasRelatedWork W2123734400 @default.
- W1555583279 isParatext "false" @default.
- W1555583279 isRetracted "false" @default.
- W1555583279 magId "1555583279" @default.
- W1555583279 workType "book-chapter" @default.