Matches in SemOpenAlex for { <https://semopenalex.org/work/W1996343896> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W1996343896 endingPage "137" @default.
- W1996343896 startingPage "125" @default.
- W1996343896 abstract "This paper presents a perspective on a previously studied heuristic tree search algorithm for the NP-complete “3SAT” satisfiability problem, which synthesizes results by Brown, Franco, Purdom, and others. It is shown that when an a priori calculation indicates a random, nontrivial 3SAT formula is very likely unsatisfiable, then the heuristic algorithm is expected to prove unsatisfiability in a search tree with size essentially independent of the problem size, and bounded by a constant that depends only on the ratio of the number of clauses to the cube of the number of variables." @default.
- W1996343896 created "2016-06-24" @default.
- W1996343896 creator A5074352656 @default.
- W1996343896 date "1992-09-01" @default.
- W1996343896 modified "2023-09-25" @default.
- W1996343896 title "Proving unsatisfiability for problems with constant cubic sparsity" @default.
- W1996343896 cites W1980584633 @default.
- W1996343896 cites W2010848428 @default.
- W1996343896 cites W2016042296 @default.
- W1996343896 cites W2022695609 @default.
- W1996343896 cites W2036265926 @default.
- W1996343896 cites W2037870843 @default.
- W1996343896 cites W2038987765 @default.
- W1996343896 cites W2055978814 @default.
- W1996343896 cites W2119456262 @default.
- W1996343896 cites W2128344648 @default.
- W1996343896 cites W2164346692 @default.
- W1996343896 cites W2165558283 @default.
- W1996343896 cites W2170826919 @default.
- W1996343896 cites W2401610261 @default.
- W1996343896 cites W2915030386 @default.
- W1996343896 cites W242503142 @default.
- W1996343896 doi "https://doi.org/10.1016/0004-3702(92)90107-9" @default.
- W1996343896 hasPublicationYear "1992" @default.
- W1996343896 type Work @default.
- W1996343896 sameAs 1996343896 @default.
- W1996343896 citedByCount "4" @default.
- W1996343896 countsByYear W19963438962021 @default.
- W1996343896 crossrefType "journal-article" @default.
- W1996343896 hasAuthorship W1996343896A5074352656 @default.
- W1996343896 hasConcept C111472728 @default.
- W1996343896 hasConcept C113174947 @default.
- W1996343896 hasConcept C11413529 @default.
- W1996343896 hasConcept C114614502 @default.
- W1996343896 hasConcept C118615104 @default.
- W1996343896 hasConcept C126255220 @default.
- W1996343896 hasConcept C12707504 @default.
- W1996343896 hasConcept C12713177 @default.
- W1996343896 hasConcept C134306372 @default.
- W1996343896 hasConcept C134652429 @default.
- W1996343896 hasConcept C138885662 @default.
- W1996343896 hasConcept C143936061 @default.
- W1996343896 hasConcept C168773769 @default.
- W1996343896 hasConcept C173801870 @default.
- W1996343896 hasConcept C199360897 @default.
- W1996343896 hasConcept C2524010 @default.
- W1996343896 hasConcept C2777027219 @default.
- W1996343896 hasConcept C33923547 @default.
- W1996343896 hasConcept C34388435 @default.
- W1996343896 hasConcept C41008148 @default.
- W1996343896 hasConcept C53051483 @default.
- W1996343896 hasConcept C6943359 @default.
- W1996343896 hasConcept C75553542 @default.
- W1996343896 hasConcept C76155785 @default.
- W1996343896 hasConceptScore W1996343896C111472728 @default.
- W1996343896 hasConceptScore W1996343896C113174947 @default.
- W1996343896 hasConceptScore W1996343896C11413529 @default.
- W1996343896 hasConceptScore W1996343896C114614502 @default.
- W1996343896 hasConceptScore W1996343896C118615104 @default.
- W1996343896 hasConceptScore W1996343896C126255220 @default.
- W1996343896 hasConceptScore W1996343896C12707504 @default.
- W1996343896 hasConceptScore W1996343896C12713177 @default.
- W1996343896 hasConceptScore W1996343896C134306372 @default.
- W1996343896 hasConceptScore W1996343896C134652429 @default.
- W1996343896 hasConceptScore W1996343896C138885662 @default.
- W1996343896 hasConceptScore W1996343896C143936061 @default.
- W1996343896 hasConceptScore W1996343896C168773769 @default.
- W1996343896 hasConceptScore W1996343896C173801870 @default.
- W1996343896 hasConceptScore W1996343896C199360897 @default.
- W1996343896 hasConceptScore W1996343896C2524010 @default.
- W1996343896 hasConceptScore W1996343896C2777027219 @default.
- W1996343896 hasConceptScore W1996343896C33923547 @default.
- W1996343896 hasConceptScore W1996343896C34388435 @default.
- W1996343896 hasConceptScore W1996343896C41008148 @default.
- W1996343896 hasConceptScore W1996343896C53051483 @default.
- W1996343896 hasConceptScore W1996343896C6943359 @default.
- W1996343896 hasConceptScore W1996343896C75553542 @default.
- W1996343896 hasConceptScore W1996343896C76155785 @default.
- W1996343896 hasIssue "1" @default.
- W1996343896 hasLocation W19963438961 @default.
- W1996343896 hasOpenAccess W1996343896 @default.
- W1996343896 hasPrimaryLocation W19963438961 @default.
- W1996343896 hasRelatedWork W105503775 @default.
- W1996343896 hasRelatedWork W1581890749 @default.
- W1996343896 hasRelatedWork W1655027005 @default.
- W1996343896 hasRelatedWork W1996343896 @default.
- W1996343896 hasRelatedWork W2173621488 @default.
- W1996343896 hasRelatedWork W2212155158 @default.
- W1996343896 hasRelatedWork W2750969041 @default.
- W1996343896 hasRelatedWork W3112462397 @default.
- W1996343896 hasRelatedWork W344547944 @default.
- W1996343896 hasRelatedWork W85299012 @default.
- W1996343896 hasVolume "57" @default.
- W1996343896 isParatext "false" @default.
- W1996343896 isRetracted "false" @default.
- W1996343896 magId "1996343896" @default.
- W1996343896 workType "article" @default.