Matches in SemOpenAlex for { <https://semopenalex.org/work/W2165796899> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2165796899 endingPage "413" @default.
- W2165796899 startingPage "402" @default.
- W2165796899 abstract "A method to calculate the average size of Davis-Putnam-Loveland-Logemann (DPLL) search trees for random computational problems is introduced, and applied to the satisfiability of random CNF formulas (SAT) and the coloring of random graph (COL) problems. We establish recursion relations for the generating functions of the average numbers of (variable or color) assignments at a given height in the search tree, which allow us to derive the asymptotics of the expected DPLL tree size, 2 Nω + o(N), where N is the instance size. ω is calculated as a function of the input distribution parameters (ratio of clauses per variable for SAT, average vertex degree for COL), and the branching heuristics." @default.
- W2165796899 created "2016-06-24" @default.
- W2165796899 creator A5016002177 @default.
- W2165796899 date "2005-01-01" @default.
- W2165796899 modified "2023-09-25" @default.
- W2165796899 title "A Generating Function Method for the Average-Case Analysis of DPLL" @default.
- W2165796899 cites W1534832769 @default.
- W2165796899 cites W1619771112 @default.
- W2165796899 cites W1927549911 @default.
- W2165796899 cites W1974070050 @default.
- W2165796899 cites W2005234139 @default.
- W2165796899 cites W2022695609 @default.
- W2165796899 cites W2042162837 @default.
- W2165796899 cites W2051580875 @default.
- W2165796899 cites W2054387247 @default.
- W2165796899 cites W2060937691 @default.
- W2165796899 cites W2088616860 @default.
- W2165796899 cites W2126420408 @default.
- W2165796899 cites W2136558174 @default.
- W2165796899 cites W2137154807 @default.
- W2165796899 cites W2142281466 @default.
- W2165796899 cites W2143404729 @default.
- W2165796899 cites W2152026596 @default.
- W2165796899 cites W2164346692 @default.
- W2165796899 cites W3106065224 @default.
- W2165796899 doi "https://doi.org/10.1007/11538462_34" @default.
- W2165796899 hasPublicationYear "2005" @default.
- W2165796899 type Work @default.
- W2165796899 sameAs 2165796899 @default.
- W2165796899 citedByCount "5" @default.
- W2165796899 countsByYear W21657968992018 @default.
- W2165796899 crossrefType "book-chapter" @default.
- W2165796899 hasAuthorship W2165796899A5016002177 @default.
- W2165796899 hasBestOaLocation W21657968992 @default.
- W2165796899 hasConcept C114614502 @default.
- W2165796899 hasConcept C12707504 @default.
- W2165796899 hasConcept C134652429 @default.
- W2165796899 hasConcept C14036430 @default.
- W2165796899 hasConcept C143936061 @default.
- W2165796899 hasConcept C204911207 @default.
- W2165796899 hasConcept C33923547 @default.
- W2165796899 hasConcept C41008148 @default.
- W2165796899 hasConcept C76155785 @default.
- W2165796899 hasConcept C78458016 @default.
- W2165796899 hasConcept C86803240 @default.
- W2165796899 hasConceptScore W2165796899C114614502 @default.
- W2165796899 hasConceptScore W2165796899C12707504 @default.
- W2165796899 hasConceptScore W2165796899C134652429 @default.
- W2165796899 hasConceptScore W2165796899C14036430 @default.
- W2165796899 hasConceptScore W2165796899C143936061 @default.
- W2165796899 hasConceptScore W2165796899C204911207 @default.
- W2165796899 hasConceptScore W2165796899C33923547 @default.
- W2165796899 hasConceptScore W2165796899C41008148 @default.
- W2165796899 hasConceptScore W2165796899C76155785 @default.
- W2165796899 hasConceptScore W2165796899C78458016 @default.
- W2165796899 hasConceptScore W2165796899C86803240 @default.
- W2165796899 hasLocation W21657968991 @default.
- W2165796899 hasLocation W21657968992 @default.
- W2165796899 hasLocation W21657968993 @default.
- W2165796899 hasLocation W21657968994 @default.
- W2165796899 hasOpenAccess W2165796899 @default.
- W2165796899 hasPrimaryLocation W21657968991 @default.
- W2165796899 hasRelatedWork W1998552287 @default.
- W2165796899 hasRelatedWork W2079468802 @default.
- W2165796899 hasRelatedWork W2084076088 @default.
- W2165796899 hasRelatedWork W2142576186 @default.
- W2165796899 hasRelatedWork W2164567811 @default.
- W2165796899 hasRelatedWork W2562311811 @default.
- W2165796899 hasRelatedWork W2738354725 @default.
- W2165796899 hasRelatedWork W2949578162 @default.
- W2165796899 hasRelatedWork W423641597 @default.
- W2165796899 hasRelatedWork W4308786984 @default.
- W2165796899 isParatext "false" @default.
- W2165796899 isRetracted "false" @default.
- W2165796899 magId "2165796899" @default.
- W2165796899 workType "book-chapter" @default.