Matches in SemOpenAlex for { <https://semopenalex.org/work/W2049271502> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2049271502 abstract "Maximum Satisfiability (MaxSAT) and its weighted and partial variants are well-known optimization formulations of Boolean Satisfiability (SAT). MaxSAT consists of finding an assignment that satisfies the (possibly empty) set of hard clauses, while minimizing the sum of weights of the falsified soft clauses. Recent years have witnessed the development of complete algorithms for MaxSAT motivated by a number of practical applications. The most effective approaches in such practical settings are based on iteratively calling a SAT solver and computing unsatisfiable cores to guide the search. Such approaches use computed unsatisfiable cores from unsatisfiable (UNSAT) outcomes to relax the soft clauses occurring in the computed cores. Surprisingly, only recently has an approach been proposed that exploits models from satisfiable (SAT) outcomes [1], [2] rather than unsatisfiable cores from UNSAT outcomes. This paper proposes two novel MaxSAT algorithms which exploit SAT outcomes to relax soft clauses taking into account the computed models. The new algorithms are shown to outperform classical MaxSAT algorithms and to be fairly competitive with recent core-guided MaxSAT algorithms. Finally, a well-known core-guided MaxSAT algorithm is extended to additionally exploit computed models in an attempt to integrate both approaches." @default.
- W2049271502 created "2016-06-24" @default.
- W2049271502 creator A5000721730 @default.
- W2049271502 creator A5002246957 @default.
- W2049271502 creator A5063586825 @default.
- W2049271502 date "2013-11-01" @default.
- W2049271502 modified "2023-09-27" @default.
- W2049271502 title "Model-Guided Approaches for MaxSAT Solving" @default.
- W2049271502 cites W1531103278 @default.
- W2049271502 cites W1548827561 @default.
- W2049271502 cites W1768184136 @default.
- W2049271502 cites W193459320 @default.
- W2049271502 cites W2019049230 @default.
- W2049271502 cites W2020169768 @default.
- W2049271502 cites W2061097805 @default.
- W2049271502 cites W2071319337 @default.
- W2049271502 cites W2085380335 @default.
- W2049271502 cites W2107356010 @default.
- W2049271502 cites W2123757087 @default.
- W2049271502 cites W2126446661 @default.
- W2049271502 cites W2144102767 @default.
- W2049271502 cites W2171802366 @default.
- W2049271502 cites W3141991053 @default.
- W2049271502 cites W4231708524 @default.
- W2049271502 cites W4240558819 @default.
- W2049271502 cites W85615882 @default.
- W2049271502 doi "https://doi.org/10.1109/ictai.2013.142" @default.
- W2049271502 hasPublicationYear "2013" @default.
- W2049271502 type Work @default.
- W2049271502 sameAs 2049271502 @default.
- W2049271502 citedByCount "7" @default.
- W2049271502 countsByYear W20492715022015 @default.
- W2049271502 countsByYear W20492715022016 @default.
- W2049271502 countsByYear W20492715022020 @default.
- W2049271502 countsByYear W20492715022021 @default.
- W2049271502 crossrefType "proceedings-article" @default.
- W2049271502 hasAuthorship W2049271502A5000721730 @default.
- W2049271502 hasAuthorship W2049271502A5002246957 @default.
- W2049271502 hasAuthorship W2049271502A5063586825 @default.
- W2049271502 hasConcept C111797529 @default.
- W2049271502 hasConcept C11413529 @default.
- W2049271502 hasConcept C16221470 @default.
- W2049271502 hasConcept C165696696 @default.
- W2049271502 hasConcept C168773769 @default.
- W2049271502 hasConcept C187455244 @default.
- W2049271502 hasConcept C199360897 @default.
- W2049271502 hasConcept C2778770139 @default.
- W2049271502 hasConcept C38652104 @default.
- W2049271502 hasConcept C41008148 @default.
- W2049271502 hasConcept C6943359 @default.
- W2049271502 hasConcept C80444323 @default.
- W2049271502 hasConceptScore W2049271502C111797529 @default.
- W2049271502 hasConceptScore W2049271502C11413529 @default.
- W2049271502 hasConceptScore W2049271502C16221470 @default.
- W2049271502 hasConceptScore W2049271502C165696696 @default.
- W2049271502 hasConceptScore W2049271502C168773769 @default.
- W2049271502 hasConceptScore W2049271502C187455244 @default.
- W2049271502 hasConceptScore W2049271502C199360897 @default.
- W2049271502 hasConceptScore W2049271502C2778770139 @default.
- W2049271502 hasConceptScore W2049271502C38652104 @default.
- W2049271502 hasConceptScore W2049271502C41008148 @default.
- W2049271502 hasConceptScore W2049271502C6943359 @default.
- W2049271502 hasConceptScore W2049271502C80444323 @default.
- W2049271502 hasLocation W20492715021 @default.
- W2049271502 hasOpenAccess W2049271502 @default.
- W2049271502 hasPrimaryLocation W20492715021 @default.
- W2049271502 hasRelatedWork W192406999 @default.
- W2049271502 hasRelatedWork W2049271502 @default.
- W2049271502 hasRelatedWork W2118943303 @default.
- W2049271502 hasRelatedWork W2408080066 @default.
- W2049271502 hasRelatedWork W24264677 @default.
- W2049271502 hasRelatedWork W2486424993 @default.
- W2049271502 hasRelatedWork W2883329459 @default.
- W2049271502 hasRelatedWork W2955759369 @default.
- W2049271502 hasRelatedWork W3012061787 @default.
- W2049271502 hasRelatedWork W3189524441 @default.
- W2049271502 isParatext "false" @default.
- W2049271502 isRetracted "false" @default.
- W2049271502 magId "2049271502" @default.
- W2049271502 workType "article" @default.