Matches in SemOpenAlex for { <https://semopenalex.org/work/W1594497404> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W1594497404 abstract "The nSAT problem is a classical nP-complete problem even for monotone, Horn and two conjunctive formulas (the last known as n2SAT). We present a novel branch and bound algorithm to solve the n2SAT problem exactly. Our procedure establishes a new threshold where n2SAT can be computed in polynomial time. We show that for any 2-CF formula F with n variables where n2SAT(F) ≤ p(n), for some polynomial p, n2SAT(F) is computed in polynomial time. This is a new way to measure the degree of difficulty for solving n2SAT and, according to such measure our algorithm allows to determine a boundary between ‘hard’ and ‘easy’ instances of the n2SAT problem." @default.
- W1594497404 created "2016-06-24" @default.
- W1594497404 creator A5004644462 @default.
- W1594497404 creator A5017961941 @default.
- W1594497404 creator A5090007069 @default.
- W1594497404 date "2011-01-01" @default.
- W1594497404 modified "2023-09-25" @default.
- W1594497404 title "A Threshold for a Polynomial Solution of #2SAT" @default.
- W1594497404 cites W1501301539 @default.
- W1594497404 cites W1522053103 @default.
- W1594497404 cites W1542171562 @default.
- W1594497404 cites W1563127428 @default.
- W1594497404 cites W1591820613 @default.
- W1594497404 cites W1942651816 @default.
- W1594497404 cites W1964821516 @default.
- W1594497404 cites W1988434420 @default.
- W1594497404 cites W2001869465 @default.
- W1594497404 cites W2009955311 @default.
- W1594497404 cites W207488477 @default.
- W1594497404 cites W2156223756 @default.
- W1594497404 cites W2917306138 @default.
- W1594497404 doi "https://doi.org/10.3233/fi-2011-599" @default.
- W1594497404 hasPublicationYear "2011" @default.
- W1594497404 type Work @default.
- W1594497404 sameAs 1594497404 @default.
- W1594497404 citedByCount "5" @default.
- W1594497404 countsByYear W15944974042012 @default.
- W1594497404 countsByYear W15944974042014 @default.
- W1594497404 countsByYear W15944974042015 @default.
- W1594497404 countsByYear W15944974042018 @default.
- W1594497404 crossrefType "journal-article" @default.
- W1594497404 hasAuthorship W1594497404A5004644462 @default.
- W1594497404 hasAuthorship W1594497404A5017961941 @default.
- W1594497404 hasAuthorship W1594497404A5090007069 @default.
- W1594497404 hasConcept C114614502 @default.
- W1594497404 hasConcept C118615104 @default.
- W1594497404 hasConcept C121332964 @default.
- W1594497404 hasConcept C134306372 @default.
- W1594497404 hasConcept C16221470 @default.
- W1594497404 hasConcept C24890656 @default.
- W1594497404 hasConcept C2524010 @default.
- W1594497404 hasConcept C2775997480 @default.
- W1594497404 hasConcept C2780009758 @default.
- W1594497404 hasConcept C2834757 @default.
- W1594497404 hasConcept C311688 @default.
- W1594497404 hasConcept C33923547 @default.
- W1594497404 hasConcept C41008148 @default.
- W1594497404 hasConcept C62354387 @default.
- W1594497404 hasConcept C77088390 @default.
- W1594497404 hasConcept C90119067 @default.
- W1594497404 hasConceptScore W1594497404C114614502 @default.
- W1594497404 hasConceptScore W1594497404C118615104 @default.
- W1594497404 hasConceptScore W1594497404C121332964 @default.
- W1594497404 hasConceptScore W1594497404C134306372 @default.
- W1594497404 hasConceptScore W1594497404C16221470 @default.
- W1594497404 hasConceptScore W1594497404C24890656 @default.
- W1594497404 hasConceptScore W1594497404C2524010 @default.
- W1594497404 hasConceptScore W1594497404C2775997480 @default.
- W1594497404 hasConceptScore W1594497404C2780009758 @default.
- W1594497404 hasConceptScore W1594497404C2834757 @default.
- W1594497404 hasConceptScore W1594497404C311688 @default.
- W1594497404 hasConceptScore W1594497404C33923547 @default.
- W1594497404 hasConceptScore W1594497404C41008148 @default.
- W1594497404 hasConceptScore W1594497404C62354387 @default.
- W1594497404 hasConceptScore W1594497404C77088390 @default.
- W1594497404 hasConceptScore W1594497404C90119067 @default.
- W1594497404 hasLocation W15944974041 @default.
- W1594497404 hasOpenAccess W1594497404 @default.
- W1594497404 hasPrimaryLocation W15944974041 @default.
- W1594497404 hasRelatedWork W1509309803 @default.
- W1594497404 hasRelatedWork W1591820613 @default.
- W1594497404 hasRelatedWork W1600214667 @default.
- W1594497404 hasRelatedWork W1964821516 @default.
- W1594497404 hasRelatedWork W1984030644 @default.
- W1594497404 hasRelatedWork W1996980357 @default.
- W1594497404 hasRelatedWork W2002636386 @default.
- W1594497404 hasRelatedWork W2006204498 @default.
- W1594497404 hasRelatedWork W2006757572 @default.
- W1594497404 hasRelatedWork W2019886197 @default.
- W1594497404 hasRelatedWork W2047251073 @default.
- W1594497404 hasRelatedWork W2076845371 @default.
- W1594497404 hasRelatedWork W2079730767 @default.
- W1594497404 hasRelatedWork W2080193497 @default.
- W1594497404 hasRelatedWork W2094500233 @default.
- W1594497404 hasRelatedWork W2105416264 @default.
- W1594497404 hasRelatedWork W2115388619 @default.
- W1594497404 hasRelatedWork W2138739352 @default.
- W1594497404 hasRelatedWork W2139364539 @default.
- W1594497404 hasRelatedWork W43510049 @default.
- W1594497404 isParatext "false" @default.
- W1594497404 isRetracted "false" @default.
- W1594497404 magId "1594497404" @default.
- W1594497404 workType "article" @default.