Matches in SemOpenAlex for { <https://semopenalex.org/work/W5136647> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W5136647 endingPage "176" @default.
- W5136647 startingPage "165" @default.
- W5136647 abstract "We give a deterministic #SAT algorithm for de Morgan formulas of size up to n 2.63, which runs in time $2^{n-n^{Omega(1)}}$ . This improves upon the deterministic #SAT algorithm of [3], which has similar running time but works only for formulas of size less than n 2.5. Our new algorithm is based on the shrinkage of de Morgan formulas under random restrictions, shown by Paterson and Zwick [12]. We prove a concentrated and constructive version of their shrinkage result. Namely, we give a deterministic polynomial-time algorithm that selects variables in a given de Morgan formula so that, with high probability over the random assignments to the chosen variables, the original formula shrinks in size, when simplified using a deterministic polynomial-time formula-simplification algorithm." @default.
- W5136647 created "2016-06-24" @default.
- W5136647 creator A5034599141 @default.
- W5136647 creator A5066747130 @default.
- W5136647 creator A5082582375 @default.
- W5136647 date "2014-01-01" @default.
- W5136647 modified "2023-09-23" @default.
- W5136647 title "An Improved Deterministic #SAT Algorithm for Small De Morgan Formulas" @default.
- W5136647 cites W1974632918 @default.
- W5136647 cites W1985314294 @default.
- W5136647 cites W1991702990 @default.
- W5136647 cites W1999779303 @default.
- W5136647 cites W2005223599 @default.
- W5136647 cites W2007121506 @default.
- W5136647 cites W2016590269 @default.
- W5136647 cites W2030586582 @default.
- W5136647 cites W2055097525 @default.
- W5136647 cites W2106793914 @default.
- W5136647 cites W2129059686 @default.
- W5136647 cites W2129969631 @default.
- W5136647 cites W2140707287 @default.
- W5136647 cites W2165293955 @default.
- W5136647 cites W4205582340 @default.
- W5136647 doi "https://doi.org/10.1007/978-3-662-44465-8_15" @default.
- W5136647 hasPublicationYear "2014" @default.
- W5136647 type Work @default.
- W5136647 sameAs 5136647 @default.
- W5136647 citedByCount "14" @default.
- W5136647 countsByYear W51366472014 @default.
- W5136647 countsByYear W51366472015 @default.
- W5136647 countsByYear W51366472016 @default.
- W5136647 countsByYear W51366472018 @default.
- W5136647 crossrefType "book-chapter" @default.
- W5136647 hasAuthorship W5136647A5034599141 @default.
- W5136647 hasAuthorship W5136647A5066747130 @default.
- W5136647 hasAuthorship W5136647A5082582375 @default.
- W5136647 hasBestOaLocation W51366472 @default.
- W5136647 hasConcept C105795698 @default.
- W5136647 hasConcept C111919701 @default.
- W5136647 hasConcept C11413529 @default.
- W5136647 hasConcept C114614502 @default.
- W5136647 hasConcept C118615104 @default.
- W5136647 hasConcept C122123141 @default.
- W5136647 hasConcept C134306372 @default.
- W5136647 hasConcept C13533509 @default.
- W5136647 hasConcept C2778701210 @default.
- W5136647 hasConcept C3017489831 @default.
- W5136647 hasConcept C311688 @default.
- W5136647 hasConcept C33923547 @default.
- W5136647 hasConcept C41008148 @default.
- W5136647 hasConcept C90119067 @default.
- W5136647 hasConcept C98045186 @default.
- W5136647 hasConceptScore W5136647C105795698 @default.
- W5136647 hasConceptScore W5136647C111919701 @default.
- W5136647 hasConceptScore W5136647C11413529 @default.
- W5136647 hasConceptScore W5136647C114614502 @default.
- W5136647 hasConceptScore W5136647C118615104 @default.
- W5136647 hasConceptScore W5136647C122123141 @default.
- W5136647 hasConceptScore W5136647C134306372 @default.
- W5136647 hasConceptScore W5136647C13533509 @default.
- W5136647 hasConceptScore W5136647C2778701210 @default.
- W5136647 hasConceptScore W5136647C3017489831 @default.
- W5136647 hasConceptScore W5136647C311688 @default.
- W5136647 hasConceptScore W5136647C33923547 @default.
- W5136647 hasConceptScore W5136647C41008148 @default.
- W5136647 hasConceptScore W5136647C90119067 @default.
- W5136647 hasConceptScore W5136647C98045186 @default.
- W5136647 hasLocation W51366471 @default.
- W5136647 hasLocation W51366472 @default.
- W5136647 hasOpenAccess W5136647 @default.
- W5136647 hasPrimaryLocation W51366471 @default.
- W5136647 hasRelatedWork W1846361160 @default.
- W5136647 hasRelatedWork W2021372200 @default.
- W5136647 hasRelatedWork W2072084563 @default.
- W5136647 hasRelatedWork W2089134982 @default.
- W5136647 hasRelatedWork W2090294798 @default.
- W5136647 hasRelatedWork W2118345845 @default.
- W5136647 hasRelatedWork W3005925191 @default.
- W5136647 hasRelatedWork W3089684342 @default.
- W5136647 hasRelatedWork W3107976745 @default.
- W5136647 hasRelatedWork W2314909417 @default.
- W5136647 isParatext "false" @default.
- W5136647 isRetracted "false" @default.
- W5136647 magId "5136647" @default.
- W5136647 workType "book-chapter" @default.