Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952805501> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2952805501 abstract "The Pseudo-Boolean Optimization (PBO) and Maximum Satisfiability (MaxSAT) problems are natural optimization extensions of Boolean Satisfiability (SAT). In the recent past, different algorithms have been proposed for PBO and for MaxSAT, despite the existence of straightforward mappings from PBO to MaxSAT and vice-versa. This papers proposes Weighted Boolean Optimization (WBO), a new unified framework that aggregates and extends PBO and MaxSAT. In addition, the paper proposes a new unsatisfiability-based algorithm for WBO, based on recent unsatisfiability-based algorithms for MaxSAT. Besides standard MaxSAT, the new algorithm can also be used to solve weighted MaxSAT and PBO, handling pseudo-Boolean constraints either natively or by translation to clausal form. Experimental results illustrate that unsatisfiability-based algorithms for MaxSAT can be orders of magnitude more efficient than existing dedicated algorithms. Finally, the paper illustrates how other algorithms for either PBO or MaxSAT can be extended to WBO." @default.
- W2952805501 created "2019-06-27" @default.
- W2952805501 creator A5002246957 @default.
- W2952805501 creator A5025177965 @default.
- W2952805501 creator A5033377932 @default.
- W2952805501 date "2009-03-04" @default.
- W2952805501 modified "2023-09-27" @default.
- W2952805501 title "Algorithms for Weighted Boolean Optimization" @default.
- W2952805501 cites W1496690584 @default.
- W2952805501 cites W1524741427 @default.
- W2952805501 cites W1528279629 @default.
- W2952805501 cites W1531103278 @default.
- W2952805501 cites W1581661059 @default.
- W2952805501 cites W1678664543 @default.
- W2952805501 cites W180925943 @default.
- W2952805501 cites W2033274122 @default.
- W2952805501 cites W2095821893 @default.
- W2952805501 cites W2097689572 @default.
- W2952805501 cites W2100717697 @default.
- W2952805501 cites W2103184499 @default.
- W2952805501 cites W2110929033 @default.
- W2952805501 cites W2116758077 @default.
- W2952805501 cites W2127856935 @default.
- W2952805501 cites W2147442986 @default.
- W2952805501 cites W2154352023 @default.
- W2952805501 hasPublicationYear "2009" @default.
- W2952805501 type Work @default.
- W2952805501 sameAs 2952805501 @default.
- W2952805501 citedByCount "6" @default.
- W2952805501 countsByYear W29528055012014 @default.
- W2952805501 countsByYear W29528055012015 @default.
- W2952805501 countsByYear W29528055012016 @default.
- W2952805501 countsByYear W29528055012020 @default.
- W2952805501 crossrefType "posted-content" @default.
- W2952805501 hasAuthorship W2952805501A5002246957 @default.
- W2952805501 hasAuthorship W2952805501A5025177965 @default.
- W2952805501 hasAuthorship W2952805501A5033377932 @default.
- W2952805501 hasConcept C111797529 @default.
- W2952805501 hasConcept C11413529 @default.
- W2952805501 hasConcept C168773769 @default.
- W2952805501 hasConcept C187455244 @default.
- W2952805501 hasConcept C33923547 @default.
- W2952805501 hasConcept C41008148 @default.
- W2952805501 hasConcept C6943359 @default.
- W2952805501 hasConcept C80444323 @default.
- W2952805501 hasConceptScore W2952805501C111797529 @default.
- W2952805501 hasConceptScore W2952805501C11413529 @default.
- W2952805501 hasConceptScore W2952805501C168773769 @default.
- W2952805501 hasConceptScore W2952805501C187455244 @default.
- W2952805501 hasConceptScore W2952805501C33923547 @default.
- W2952805501 hasConceptScore W2952805501C41008148 @default.
- W2952805501 hasConceptScore W2952805501C6943359 @default.
- W2952805501 hasConceptScore W2952805501C80444323 @default.
- W2952805501 hasLocation W29528055011 @default.
- W2952805501 hasOpenAccess W2952805501 @default.
- W2952805501 hasPrimaryLocation W29528055011 @default.
- W2952805501 hasRelatedWork W1495942578 @default.
- W2952805501 hasRelatedWork W1502387139 @default.
- W2952805501 hasRelatedWork W165188274 @default.
- W2952805501 hasRelatedWork W1678664543 @default.
- W2952805501 hasRelatedWork W1775352280 @default.
- W2952805501 hasRelatedWork W192406999 @default.
- W2952805501 hasRelatedWork W2049271502 @default.
- W2952805501 hasRelatedWork W2085380335 @default.
- W2952805501 hasRelatedWork W2098984274 @default.
- W2952805501 hasRelatedWork W2287821450 @default.
- W2952805501 hasRelatedWork W2301405299 @default.
- W2952805501 hasRelatedWork W2345507442 @default.
- W2952805501 hasRelatedWork W2405335221 @default.
- W2952805501 hasRelatedWork W2498042365 @default.
- W2952805501 hasRelatedWork W2742479925 @default.
- W2952805501 hasRelatedWork W2909188079 @default.
- W2952805501 hasRelatedWork W2949388266 @default.
- W2952805501 hasRelatedWork W3182818576 @default.
- W2952805501 hasRelatedWork W37002918 @default.
- W2952805501 hasRelatedWork W1566938367 @default.
- W2952805501 isParatext "false" @default.
- W2952805501 isRetracted "false" @default.
- W2952805501 magId "2952805501" @default.
- W2952805501 workType "article" @default.