Matches in SemOpenAlex for { <https://semopenalex.org/work/W2963530586> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2963530586 endingPage "26" @default.
- W2963530586 startingPage "1" @default.
- W2963530586 abstract "Interval-k-SAT (k-iSAT) is a generalization of classical k-SAT where the variables can take values in [0,1] (instead of {0,1}) and the literals are of the form x∈I, for intervals I⊂[0,1]. It falls within the class of signed satisfiability problems. We propose an algorithm for 3-iSAT, and analyze it on uniformly random formulas. The algorithm follows the Unit Clause paradigm, enhanced by a (very limited) backtracking option. Using Wormaldʼs ODE method, we prove that, if m/n⩽2.3, with high probability, our algorithm succeeds in finding an assignment of values to the variables satisfying the formula." @default.
- W2963530586 created "2019-07-30" @default.
- W2963530586 creator A5031708431 @default.
- W2963530586 creator A5070611630 @default.
- W2963530586 date "2014-03-01" @default.
- W2963530586 modified "2023-10-16" @default.
- W2963530586 title "An algorithm for random signed 3-SAT with intervals" @default.
- W2963530586 cites W1559492868 @default.
- W2963530586 cites W1598668400 @default.
- W2963530586 cites W1971224531 @default.
- W2963530586 cites W1979720612 @default.
- W2963530586 cites W1981947400 @default.
- W2963530586 cites W1992459191 @default.
- W2963530586 cites W2018251959 @default.
- W2963530586 cites W2018277172 @default.
- W2963530586 cites W2025259988 @default.
- W2963530586 cites W2031823362 @default.
- W2963530586 cites W2033086906 @default.
- W2963530586 cites W2047532073 @default.
- W2963530586 cites W2051580875 @default.
- W2963530586 cites W2054387247 @default.
- W2963530586 cites W2062116003 @default.
- W2963530586 cites W2076399409 @default.
- W2963530586 cites W2088486516 @default.
- W2963530586 cites W2135118930 @default.
- W2963530586 cites W2136558174 @default.
- W2963530586 cites W2145098470 @default.
- W2963530586 cites W2164346692 @default.
- W2963530586 cites W2478722229 @default.
- W2963530586 cites W2570121038 @default.
- W2963530586 cites W2602510746 @default.
- W2963530586 cites W4246530379 @default.
- W2963530586 doi "https://doi.org/10.1016/j.tcs.2013.10.020" @default.
- W2963530586 hasPublicationYear "2014" @default.
- W2963530586 type Work @default.
- W2963530586 sameAs 2963530586 @default.
- W2963530586 citedByCount "1" @default.
- W2963530586 countsByYear W29635305862023 @default.
- W2963530586 crossrefType "journal-article" @default.
- W2963530586 hasAuthorship W2963530586A5031708431 @default.
- W2963530586 hasAuthorship W2963530586A5070611630 @default.
- W2963530586 hasBestOaLocation W29635305862 @default.
- W2963530586 hasConcept C11413529 @default.
- W2963530586 hasConcept C114614502 @default.
- W2963530586 hasConcept C118615104 @default.
- W2963530586 hasConcept C128394911 @default.
- W2963530586 hasConcept C134306372 @default.
- W2963530586 hasConcept C156884757 @default.
- W2963530586 hasConcept C16221470 @default.
- W2963530586 hasConcept C168773769 @default.
- W2963530586 hasConcept C177148314 @default.
- W2963530586 hasConcept C200415742 @default.
- W2963530586 hasConcept C2778067643 @default.
- W2963530586 hasConcept C33923547 @default.
- W2963530586 hasConcept C6943359 @default.
- W2963530586 hasConceptScore W2963530586C11413529 @default.
- W2963530586 hasConceptScore W2963530586C114614502 @default.
- W2963530586 hasConceptScore W2963530586C118615104 @default.
- W2963530586 hasConceptScore W2963530586C128394911 @default.
- W2963530586 hasConceptScore W2963530586C134306372 @default.
- W2963530586 hasConceptScore W2963530586C156884757 @default.
- W2963530586 hasConceptScore W2963530586C16221470 @default.
- W2963530586 hasConceptScore W2963530586C168773769 @default.
- W2963530586 hasConceptScore W2963530586C177148314 @default.
- W2963530586 hasConceptScore W2963530586C200415742 @default.
- W2963530586 hasConceptScore W2963530586C2778067643 @default.
- W2963530586 hasConceptScore W2963530586C33923547 @default.
- W2963530586 hasConceptScore W2963530586C6943359 @default.
- W2963530586 hasLocation W29635305861 @default.
- W2963530586 hasLocation W29635305862 @default.
- W2963530586 hasOpenAccess W2963530586 @default.
- W2963530586 hasPrimaryLocation W29635305861 @default.
- W2963530586 hasRelatedWork W1540360785 @default.
- W2963530586 hasRelatedWork W1607893975 @default.
- W2963530586 hasRelatedWork W1608133301 @default.
- W2963530586 hasRelatedWork W1916519491 @default.
- W2963530586 hasRelatedWork W2009046733 @default.
- W2963530586 hasRelatedWork W2037639986 @default.
- W2963530586 hasRelatedWork W2235115558 @default.
- W2963530586 hasRelatedWork W2949458057 @default.
- W2963530586 hasRelatedWork W2963530586 @default.
- W2963530586 hasRelatedWork W2611506716 @default.
- W2963530586 hasVolume "524" @default.
- W2963530586 isParatext "false" @default.
- W2963530586 isRetracted "false" @default.
- W2963530586 magId "2963530586" @default.
- W2963530586 workType "article" @default.