Matches in SemOpenAlex for { <https://semopenalex.org/work/W63271104> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- W63271104 endingPage "24" @default.
- W63271104 startingPage "14" @default.
- W63271104 abstract "We study algorithms for finding satisfying assignments of randomly generated 3-SAT formula. In particular, we consider distributions of highly constrained formulas (that is, “above the threshold” formulas) restricted to satisfiable instances. We obtain positive algorithmic results, showing that such formulas can be solved in low exponential time.KeywordsPolynomial Time AlgorithmSatisfying AssignmentStandard DistributionFormula DistributionElectronic ColloquiumThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W63271104 created "2016-06-24" @default.
- W63271104 creator A5044720498 @default.
- W63271104 date "2004-01-01" @default.
- W63271104 modified "2023-09-25" @default.
- W63271104 title "An Algorithm for SAT Above the Threshold" @default.
- W63271104 cites W1500660230 @default.
- W63271104 cites W1508924483 @default.
- W63271104 cites W1534832769 @default.
- W63271104 cites W1537654681 @default.
- W63271104 cites W1985250014 @default.
- W63271104 cites W2000931246 @default.
- W63271104 cites W2010193278 @default.
- W63271104 cites W2087662271 @default.
- W63271104 cites W2088616860 @default.
- W63271104 cites W2133747498 @default.
- W63271104 cites W2171680292 @default.
- W63271104 cites W4231916799 @default.
- W63271104 doi "https://doi.org/10.1007/978-3-540-24605-3_2" @default.
- W63271104 hasPublicationYear "2004" @default.
- W63271104 type Work @default.
- W63271104 sameAs 63271104 @default.
- W63271104 citedByCount "8" @default.
- W63271104 crossrefType "book-chapter" @default.
- W63271104 hasAuthorship W63271104A5044720498 @default.
- W63271104 hasConcept C11413529 @default.
- W63271104 hasConcept C134306372 @default.
- W63271104 hasConcept C151376022 @default.
- W63271104 hasConcept C33923547 @default.
- W63271104 hasConcept C41008148 @default.
- W63271104 hasConceptScore W63271104C11413529 @default.
- W63271104 hasConceptScore W63271104C134306372 @default.
- W63271104 hasConceptScore W63271104C151376022 @default.
- W63271104 hasConceptScore W63271104C33923547 @default.
- W63271104 hasConceptScore W63271104C41008148 @default.
- W63271104 hasLocation W632711041 @default.
- W63271104 hasOpenAccess W63271104 @default.
- W63271104 hasPrimaryLocation W632711041 @default.
- W63271104 hasRelatedWork W1836961878 @default.
- W63271104 hasRelatedWork W2057623054 @default.
- W63271104 hasRelatedWork W2367494210 @default.
- W63271104 hasRelatedWork W2370652759 @default.
- W63271104 hasRelatedWork W2371447506 @default.
- W63271104 hasRelatedWork W2379162918 @default.
- W63271104 hasRelatedWork W2386767533 @default.
- W63271104 hasRelatedWork W2748952813 @default.
- W63271104 hasRelatedWork W831794578 @default.
- W63271104 hasRelatedWork W2012842278 @default.
- W63271104 isParatext "false" @default.
- W63271104 isRetracted "false" @default.
- W63271104 magId "63271104" @default.
- W63271104 workType "book-chapter" @default.