Matches in SemOpenAlex for { <https://semopenalex.org/work/W2748387537> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2748387537 endingPage "670" @default.
- W2748387537 startingPage "652" @default.
- W2748387537 abstract "Maximum satisfiability (MaxSAT) is today a competitive approach to tackling NP-hard optimization problems in a variety of AI and industrial domains. A great majority of the modern state-of-the-art MaxSAT solvers are core-guided, relying on a SAT solver to iteratively extract unsatisfiable cores of the soft clauses in the working formula and ruling out the found cores via adding cardinality constraints into the working formula until a solution is found. In this work we propose weight-aware core extraction (WCE) as a refinement to the current common approach of core-guided solvers. WCE integrates knowledge of soft clause weights into the core extraction process, and allows for delaying the addition of cardinality constraints into the working formula. We show that WCE noticeably improves in practice the performance of PMRES, one of the recent core-guided MaxSAT algorithms using soft cardinality constraints, and explain how the approach can be integrated into other core-guided algorithms." @default.
- W2748387537 created "2017-08-31" @default.
- W2748387537 creator A5012730467 @default.
- W2748387537 creator A5081120128 @default.
- W2748387537 date "2017-01-01" @default.
- W2748387537 modified "2023-09-28" @default.
- W2748387537 title "Weight-Aware Core Extraction in SAT-Based MaxSAT Solving" @default.
- W2748387537 cites W116541839 @default.
- W2748387537 cites W134459671 @default.
- W2748387537 cites W1511069520 @default.
- W2748387537 cites W1531103278 @default.
- W2748387537 cites W1775352280 @default.
- W2748387537 cites W1793843726 @default.
- W2748387537 cites W1843415278 @default.
- W2748387537 cites W1863234917 @default.
- W2748387537 cites W1885913205 @default.
- W2748387537 cites W2009689138 @default.
- W2748387537 cites W2027945171 @default.
- W2748387537 cites W2071319337 @default.
- W2748387537 cites W2078661369 @default.
- W2748387537 cites W2102909639 @default.
- W2748387537 cites W2118943303 @default.
- W2748387537 cites W2133527541 @default.
- W2748387537 cites W2185680923 @default.
- W2748387537 cites W2211099041 @default.
- W2748387537 cites W2481363456 @default.
- W2748387537 cites W3104044769 @default.
- W2748387537 cites W37002918 @default.
- W2748387537 cites W85615882 @default.
- W2748387537 doi "https://doi.org/10.1007/978-3-319-66158-2_42" @default.
- W2748387537 hasPublicationYear "2017" @default.
- W2748387537 type Work @default.
- W2748387537 sameAs 2748387537 @default.
- W2748387537 citedByCount "6" @default.
- W2748387537 countsByYear W27483875372019 @default.
- W2748387537 countsByYear W27483875372020 @default.
- W2748387537 countsByYear W27483875372021 @default.
- W2748387537 countsByYear W27483875372023 @default.
- W2748387537 crossrefType "book-chapter" @default.
- W2748387537 hasAuthorship W2748387537A5012730467 @default.
- W2748387537 hasAuthorship W2748387537A5081120128 @default.
- W2748387537 hasBestOaLocation W27483875372 @default.
- W2748387537 hasConcept C111797529 @default.
- W2748387537 hasConcept C11413529 @default.
- W2748387537 hasConcept C124101348 @default.
- W2748387537 hasConcept C168773769 @default.
- W2748387537 hasConcept C173608175 @default.
- W2748387537 hasConcept C187455244 @default.
- W2748387537 hasConcept C199360897 @default.
- W2748387537 hasConcept C2164484 @default.
- W2748387537 hasConcept C2778770139 @default.
- W2748387537 hasConcept C41008148 @default.
- W2748387537 hasConcept C6943359 @default.
- W2748387537 hasConcept C76155785 @default.
- W2748387537 hasConcept C78766204 @default.
- W2748387537 hasConcept C80444323 @default.
- W2748387537 hasConcept C87117476 @default.
- W2748387537 hasConceptScore W2748387537C111797529 @default.
- W2748387537 hasConceptScore W2748387537C11413529 @default.
- W2748387537 hasConceptScore W2748387537C124101348 @default.
- W2748387537 hasConceptScore W2748387537C168773769 @default.
- W2748387537 hasConceptScore W2748387537C173608175 @default.
- W2748387537 hasConceptScore W2748387537C187455244 @default.
- W2748387537 hasConceptScore W2748387537C199360897 @default.
- W2748387537 hasConceptScore W2748387537C2164484 @default.
- W2748387537 hasConceptScore W2748387537C2778770139 @default.
- W2748387537 hasConceptScore W2748387537C41008148 @default.
- W2748387537 hasConceptScore W2748387537C6943359 @default.
- W2748387537 hasConceptScore W2748387537C76155785 @default.
- W2748387537 hasConceptScore W2748387537C78766204 @default.
- W2748387537 hasConceptScore W2748387537C80444323 @default.
- W2748387537 hasConceptScore W2748387537C87117476 @default.
- W2748387537 hasLocation W27483875371 @default.
- W2748387537 hasLocation W27483875372 @default.
- W2748387537 hasOpenAccess W2748387537 @default.
- W2748387537 hasPrimaryLocation W27483875371 @default.
- W2748387537 hasRelatedWork W116541839 @default.
- W2748387537 hasRelatedWork W2115480761 @default.
- W2748387537 hasRelatedWork W2118943303 @default.
- W2748387537 hasRelatedWork W2270341308 @default.
- W2748387537 hasRelatedWork W2408080066 @default.
- W2748387537 hasRelatedWork W2748387537 @default.
- W2748387537 hasRelatedWork W2945570796 @default.
- W2748387537 hasRelatedWork W3034623271 @default.
- W2748387537 hasRelatedWork W3104044769 @default.
- W2748387537 hasRelatedWork W4285600328 @default.
- W2748387537 isParatext "false" @default.
- W2748387537 isRetracted "false" @default.
- W2748387537 magId "2748387537" @default.
- W2748387537 workType "book-chapter" @default.