Matches in SemOpenAlex for { <https://semopenalex.org/work/W1507065364> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W1507065364 endingPage "678" @default.
- W1507065364 startingPage "673" @default.
- W1507065364 abstract "In this paper, we present efficient trap-escaping strategies in a search based on discrete Lagrange multipliers to solve difficult SAT problems. Although a basic discrete Lagrangian method (DLM) can solve most of the satisfiable DIMACS SAT benchmarks efficiently, a few of the large benchmarks have eluded solutions by any local-search methods today. These difficult benchmarks generally have many traps that attract localsearch trajectories. To this end, we identify the existence of traps when any change to a variable will cause the resulting Lagrangian value to increase. Using the hanoi4 and par16-1 benchmarks, we illustrate that some unsatisfied clauses are trapped more often than others. Since it is too difficult to remember explicitly all the traps encountered, we propose to remember these traps implicitly by giving larger increases to Lagrange multipliers of unsatisfied clauses that are trapped more often. We illustrate the merit of this new update strategy by solving some of most difficult but satisfiable SAT benchmarks in the DIMACS archive (hanoi4, hanoi4-simple, par16-1 to par16-5, f2000, and par32-1-c to par32-3-c). Finally, we apply the same algorithm to improve on the solutions of some benchmark MAX-SAT problems that we solved before." @default.
- W1507065364 created "2016-06-24" @default.
- W1507065364 creator A5060256936 @default.
- W1507065364 creator A5080392568 @default.
- W1507065364 date "1999-07-18" @default.
- W1507065364 modified "2023-09-24" @default.
- W1507065364 title "Trap escaping strategies in discrete Lagrangian methods for solving hard satisfiability and maximum satisfiability problems" @default.
- W1507065364 cites W114802202 @default.
- W1507065364 cites W13289598 @default.
- W1507065364 cites W1524408330 @default.
- W1507065364 cites W1526749820 @default.
- W1507065364 cites W2017127020 @default.
- W1507065364 cites W2104670598 @default.
- W1507065364 cites W2165372647 @default.
- W1507065364 cites W2266946488 @default.
- W1507065364 cites W2404266688 @default.
- W1507065364 hasPublicationYear "1999" @default.
- W1507065364 type Work @default.
- W1507065364 sameAs 1507065364 @default.
- W1507065364 citedByCount "23" @default.
- W1507065364 countsByYear W15070653642013 @default.
- W1507065364 countsByYear W15070653642018 @default.
- W1507065364 countsByYear W15070653642021 @default.
- W1507065364 crossrefType "proceedings-article" @default.
- W1507065364 hasAuthorship W1507065364A5060256936 @default.
- W1507065364 hasAuthorship W1507065364A5080392568 @default.
- W1507065364 hasConcept C111472728 @default.
- W1507065364 hasConcept C11413529 @default.
- W1507065364 hasConcept C121099081 @default.
- W1507065364 hasConcept C126255220 @default.
- W1507065364 hasConcept C127413603 @default.
- W1507065364 hasConcept C13280743 @default.
- W1507065364 hasConcept C138885662 @default.
- W1507065364 hasConcept C168773769 @default.
- W1507065364 hasConcept C185798385 @default.
- W1507065364 hasConcept C205649164 @default.
- W1507065364 hasConcept C2780586882 @default.
- W1507065364 hasConcept C28826006 @default.
- W1507065364 hasConcept C33923547 @default.
- W1507065364 hasConcept C41008148 @default.
- W1507065364 hasConcept C53469067 @default.
- W1507065364 hasConcept C6943359 @default.
- W1507065364 hasConcept C73684929 @default.
- W1507065364 hasConcept C80444323 @default.
- W1507065364 hasConcept C87717796 @default.
- W1507065364 hasConceptScore W1507065364C111472728 @default.
- W1507065364 hasConceptScore W1507065364C11413529 @default.
- W1507065364 hasConceptScore W1507065364C121099081 @default.
- W1507065364 hasConceptScore W1507065364C126255220 @default.
- W1507065364 hasConceptScore W1507065364C127413603 @default.
- W1507065364 hasConceptScore W1507065364C13280743 @default.
- W1507065364 hasConceptScore W1507065364C138885662 @default.
- W1507065364 hasConceptScore W1507065364C168773769 @default.
- W1507065364 hasConceptScore W1507065364C185798385 @default.
- W1507065364 hasConceptScore W1507065364C205649164 @default.
- W1507065364 hasConceptScore W1507065364C2780586882 @default.
- W1507065364 hasConceptScore W1507065364C28826006 @default.
- W1507065364 hasConceptScore W1507065364C33923547 @default.
- W1507065364 hasConceptScore W1507065364C41008148 @default.
- W1507065364 hasConceptScore W1507065364C53469067 @default.
- W1507065364 hasConceptScore W1507065364C6943359 @default.
- W1507065364 hasConceptScore W1507065364C73684929 @default.
- W1507065364 hasConceptScore W1507065364C80444323 @default.
- W1507065364 hasConceptScore W1507065364C87717796 @default.
- W1507065364 hasLocation W15070653641 @default.
- W1507065364 hasOpenAccess W1507065364 @default.
- W1507065364 hasPrimaryLocation W15070653641 @default.
- W1507065364 hasRelatedWork W114802202 @default.
- W1507065364 hasRelatedWork W125178576 @default.
- W1507065364 hasRelatedWork W13289598 @default.
- W1507065364 hasRelatedWork W139325465 @default.
- W1507065364 hasRelatedWork W1494865762 @default.
- W1507065364 hasRelatedWork W1519526968 @default.
- W1507065364 hasRelatedWork W1524408330 @default.
- W1507065364 hasRelatedWork W1526749820 @default.
- W1507065364 hasRelatedWork W1537595897 @default.
- W1507065364 hasRelatedWork W1600919542 @default.
- W1507065364 hasRelatedWork W1667614912 @default.
- W1507065364 hasRelatedWork W1792365433 @default.
- W1507065364 hasRelatedWork W2062897452 @default.
- W1507065364 hasRelatedWork W2104670598 @default.
- W1507065364 hasRelatedWork W2106440199 @default.
- W1507065364 hasRelatedWork W2119190805 @default.
- W1507065364 hasRelatedWork W2121766240 @default.
- W1507065364 hasRelatedWork W2165372647 @default.
- W1507065364 hasRelatedWork W4983232 @default.
- W1507065364 hasRelatedWork W83818278 @default.
- W1507065364 isParatext "false" @default.
- W1507065364 isRetracted "false" @default.
- W1507065364 magId "1507065364" @default.
- W1507065364 workType "article" @default.