Matches in SemOpenAlex for { <https://semopenalex.org/work/W2184139328> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2184139328 abstract "Effective local search methods for finding satisfying assignments of CNF formulae exhibit several systematic characteristics in their search. We identify a series of measurable characteristics of local search behavior that are predictive of problem solving efficiency. These measures are shown to be useful for diagnosing inefficiencies in given search procedures, tuning parameters, and predicting the value of innovations to existing strategies. We then introduce a new local search method, SDF (“smoothed descent and flood”), that builds upon the intuitions gained by our study. SDF works by greedily descending in an informative objective (that considers how strongly clauses are satisfied, in add ition to counting the number of unsatisfied clauses) and, once trapped in a local minima, “floods” this minima by re-weighting unsatisfied clauses to create a new descent direction. The resulting procedure exhibits superior local search characteristics under our measures. We then show that our method is competitive with the state of the art techniques, and typically reduces the number of search steps by a significant factor." @default.
- W2184139328 created "2016-06-24" @default.
- W2184139328 creator A5010575626 @default.
- W2184139328 creator A5047278339 @default.
- W2184139328 date "2000-01-01" @default.
- W2184139328 modified "2023-09-27" @default.
- W2184139328 title "Loca lSearc hCharacteristic so fIncomplet eSA TProcedures" @default.
- W2184139328 cites W125178576 @default.
- W2184139328 cites W127040706 @default.
- W2184139328 cites W13289598 @default.
- W2184139328 cites W139325465 @default.
- W2184139328 cites W14839205 @default.
- W2184139328 cites W1494865762 @default.
- W2184139328 cites W1507065364 @default.
- W2184139328 cites W1524408330 @default.
- W2184139328 cites W1526749820 @default.
- W2184139328 cites W1574977213 @default.
- W2184139328 cites W1600919542 @default.
- W2184139328 cites W1667614912 @default.
- W2184139328 cites W1700222499 @default.
- W2184139328 cites W2106440199 @default.
- W2184139328 cites W2108637261 @default.
- W2184139328 cites W2119190805 @default.
- W2184139328 cites W2160444875 @default.
- W2184139328 cites W2165372647 @default.
- W2184139328 cites W2167658266 @default.
- W2184139328 cites W30950413 @default.
- W2184139328 cites W37101401 @default.
- W2184139328 cites W83818278 @default.
- W2184139328 hasPublicationYear "2000" @default.
- W2184139328 type Work @default.
- W2184139328 sameAs 2184139328 @default.
- W2184139328 citedByCount "0" @default.
- W2184139328 crossrefType "journal-article" @default.
- W2184139328 hasAuthorship W2184139328A5010575626 @default.
- W2184139328 hasAuthorship W2184139328A5047278339 @default.
- W2184139328 hasConcept C11413529 @default.
- W2184139328 hasConcept C121332964 @default.
- W2184139328 hasConcept C126255220 @default.
- W2184139328 hasConcept C127413603 @default.
- W2184139328 hasConcept C134306372 @default.
- W2184139328 hasConcept C135320971 @default.
- W2184139328 hasConcept C146978453 @default.
- W2184139328 hasConcept C183115368 @default.
- W2184139328 hasConcept C186633575 @default.
- W2184139328 hasConcept C204259536 @default.
- W2184139328 hasConcept C24890656 @default.
- W2184139328 hasConcept C2776637919 @default.
- W2184139328 hasConcept C33923547 @default.
- W2184139328 hasConcept C41008148 @default.
- W2184139328 hasConceptScore W2184139328C11413529 @default.
- W2184139328 hasConceptScore W2184139328C121332964 @default.
- W2184139328 hasConceptScore W2184139328C126255220 @default.
- W2184139328 hasConceptScore W2184139328C127413603 @default.
- W2184139328 hasConceptScore W2184139328C134306372 @default.
- W2184139328 hasConceptScore W2184139328C135320971 @default.
- W2184139328 hasConceptScore W2184139328C146978453 @default.
- W2184139328 hasConceptScore W2184139328C183115368 @default.
- W2184139328 hasConceptScore W2184139328C186633575 @default.
- W2184139328 hasConceptScore W2184139328C204259536 @default.
- W2184139328 hasConceptScore W2184139328C24890656 @default.
- W2184139328 hasConceptScore W2184139328C2776637919 @default.
- W2184139328 hasConceptScore W2184139328C33923547 @default.
- W2184139328 hasConceptScore W2184139328C41008148 @default.
- W2184139328 hasLocation W21841393281 @default.
- W2184139328 hasOpenAccess W2184139328 @default.
- W2184139328 hasPrimaryLocation W21841393281 @default.
- W2184139328 isParatext "false" @default.
- W2184139328 isRetracted "false" @default.
- W2184139328 magId "2184139328" @default.
- W2184139328 workType "article" @default.