Matches in SemOpenAlex for { <https://semopenalex.org/work/W322155389> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W322155389 abstract "The CNF Satisfiability problem is to determine, given a CNF formula F , whether or not there exists a satisfying assignment for F . If each clause of F contains at most k literals, then F is called a k-CNF formula and the problem is called k-SAT. For small k’s, especially for k = 3, there exists a lot of algorithms which run significantly faster than the trivial 2 bound. The following list summarizes those algorithms where a constant c means that the algorithm runs in time O(c). Roughly speaking most algorithms are based on Davis-Putnam. [Sch99] is the first local search algorithm which gives a guaranteed performance for general instances and [DGH+02], [HSSW02], [BS03] and [Rol03] follow up this Schoning’s approach." @default.
- W322155389 created "2016-06-24" @default.
- W322155389 creator A5062918669 @default.
- W322155389 creator A5079503752 @default.
- W322155389 date "2003-01-01" @default.
- W322155389 modified "2023-09-23" @default.
- W322155389 title "Improved Upper Bounds for 3-SAT" @default.
- W322155389 hasPublicationYear "2003" @default.
- W322155389 type Work @default.
- W322155389 sameAs 322155389 @default.
- W322155389 citedByCount "13" @default.
- W322155389 countsByYear W3221553892013 @default.
- W322155389 countsByYear W3221553892018 @default.
- W322155389 crossrefType "journal-article" @default.
- W322155389 hasAuthorship W322155389A5062918669 @default.
- W322155389 hasAuthorship W322155389A5079503752 @default.
- W322155389 hasConcept C11413529 @default.
- W322155389 hasConcept C114614502 @default.
- W322155389 hasConcept C118615104 @default.
- W322155389 hasConcept C134306372 @default.
- W322155389 hasConcept C136979486 @default.
- W322155389 hasConcept C16221470 @default.
- W322155389 hasConcept C168773769 @default.
- W322155389 hasConcept C199360897 @default.
- W322155389 hasConcept C2777027219 @default.
- W322155389 hasConcept C33923547 @default.
- W322155389 hasConcept C41008148 @default.
- W322155389 hasConcept C6943359 @default.
- W322155389 hasConcept C77553402 @default.
- W322155389 hasConceptScore W322155389C11413529 @default.
- W322155389 hasConceptScore W322155389C114614502 @default.
- W322155389 hasConceptScore W322155389C118615104 @default.
- W322155389 hasConceptScore W322155389C134306372 @default.
- W322155389 hasConceptScore W322155389C136979486 @default.
- W322155389 hasConceptScore W322155389C16221470 @default.
- W322155389 hasConceptScore W322155389C168773769 @default.
- W322155389 hasConceptScore W322155389C199360897 @default.
- W322155389 hasConceptScore W322155389C2777027219 @default.
- W322155389 hasConceptScore W322155389C33923547 @default.
- W322155389 hasConceptScore W322155389C41008148 @default.
- W322155389 hasConceptScore W322155389C6943359 @default.
- W322155389 hasConceptScore W322155389C77553402 @default.
- W322155389 hasLocation W3221553891 @default.
- W322155389 hasOpenAccess W322155389 @default.
- W322155389 hasPrimaryLocation W3221553891 @default.
- W322155389 hasRelatedWork W1508924483 @default.
- W322155389 hasRelatedWork W1573449427 @default.
- W322155389 hasRelatedWork W1820801893 @default.
- W322155389 hasRelatedWork W1883558934 @default.
- W322155389 hasRelatedWork W1983171306 @default.
- W322155389 hasRelatedWork W1993837454 @default.
- W322155389 hasRelatedWork W2011039300 @default.
- W322155389 hasRelatedWork W2012948111 @default.
- W322155389 hasRelatedWork W2019883273 @default.
- W322155389 hasRelatedWork W2031823362 @default.
- W322155389 hasRelatedWork W2082757215 @default.
- W322155389 hasRelatedWork W2126442135 @default.
- W322155389 hasRelatedWork W2134514766 @default.
- W322155389 hasRelatedWork W2171680292 @default.
- W322155389 hasRelatedWork W2176897270 @default.
- W322155389 hasRelatedWork W2896182840 @default.
- W322155389 hasRelatedWork W2912512664 @default.
- W322155389 hasRelatedWork W2952109563 @default.
- W322155389 hasRelatedWork W3037901726 @default.
- W322155389 hasRelatedWork W3181822391 @default.
- W322155389 isParatext "false" @default.
- W322155389 isRetracted "false" @default.
- W322155389 magId "322155389" @default.
- W322155389 workType "article" @default.