Matches in SemOpenAlex for { <https://semopenalex.org/work/W2621108739> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2621108739 endingPage "57" @default.
- W2621108739 startingPage "37" @default.
- W2621108739 abstract "Maximum Satisfiability (MaxSAT) has been used to solve efficiently many combinatorial optimization problems. At recent editions of international MaxSAT Evaluation (MSE), the best performing solvers for real world (industrial) problems were those implementing SAT-based algorithms. These algorithms reformulate the MaxSAT optimization problem into a sequence of SAT decision problems where Pseudo-Boolean (PB) constraints may be introduced. In order to identify the most suitable PB constraints, some algorithms (core-guided) analyze the unsatisfiable cores retrieved from the previous SAT problems in the sequence while refining the lower bound. In this paper, we first conduct a comprehensive study on the complete core-guided algorithms Eva and OLL, that inspired the best performing solvers on industrial instances at MSE-2014. Despite of its apparently different foundations, we show how they are intimately related and identify how to improve them. In this sense, we present our complete core-guided algorithm WPM3. We show how to further exploit the analysis of unsatisfiable cores by being aware of their global structure, i.e., how the cores are interrelated. This is used to encode more efficient PB constraints and enables the algorithm to obtain assignments and refine also the upper bound. Therefore, WPM3 can also work as an incomplete algorithm. At MSE-2015, it showed a competitive performance on industrial instances. It got one out of three gold medals at the complete track and dominated at the incomplete track." @default.
- W2621108739 created "2017-06-09" @default.
- W2621108739 creator A5039752849 @default.
- W2621108739 creator A5052612628 @default.
- W2621108739 date "2017-09-01" @default.
- W2621108739 modified "2023-10-17" @default.
- W2621108739 title "WPM3: An (in)complete algorithm for weighted partial MaxSAT" @default.
- W2621108739 cites W1863234917 @default.
- W2621108739 cites W1964340145 @default.
- W2621108739 cites W2012413542 @default.
- W2621108739 cites W2029958553 @default.
- W2621108739 cites W2071319337 @default.
- W2621108739 cites W2078661369 @default.
- W2621108739 cites W2107356010 @default.
- W2621108739 cites W2123757087 @default.
- W2621108739 cites W2126446661 @default.
- W2621108739 cites W2131292691 @default.
- W2621108739 cites W2154352023 @default.
- W2621108739 cites W2269865230 @default.
- W2621108739 cites W2484319280 @default.
- W2621108739 doi "https://doi.org/10.1016/j.artint.2017.05.003" @default.
- W2621108739 hasPublicationYear "2017" @default.
- W2621108739 type Work @default.
- W2621108739 sameAs 2621108739 @default.
- W2621108739 citedByCount "25" @default.
- W2621108739 countsByYear W26211087392018 @default.
- W2621108739 countsByYear W26211087392019 @default.
- W2621108739 countsByYear W26211087392020 @default.
- W2621108739 countsByYear W26211087392021 @default.
- W2621108739 countsByYear W26211087392022 @default.
- W2621108739 countsByYear W26211087392023 @default.
- W2621108739 crossrefType "journal-article" @default.
- W2621108739 hasAuthorship W2621108739A5039752849 @default.
- W2621108739 hasAuthorship W2621108739A5052612628 @default.
- W2621108739 hasConcept C111797529 @default.
- W2621108739 hasConcept C11413529 @default.
- W2621108739 hasConcept C134306372 @default.
- W2621108739 hasConcept C16221470 @default.
- W2621108739 hasConcept C168773769 @default.
- W2621108739 hasConcept C187455244 @default.
- W2621108739 hasConcept C2164484 @default.
- W2621108739 hasConcept C2778112365 @default.
- W2621108739 hasConcept C33923547 @default.
- W2621108739 hasConcept C41008148 @default.
- W2621108739 hasConcept C54355233 @default.
- W2621108739 hasConcept C6943359 @default.
- W2621108739 hasConcept C76155785 @default.
- W2621108739 hasConcept C77553402 @default.
- W2621108739 hasConcept C86803240 @default.
- W2621108739 hasConceptScore W2621108739C111797529 @default.
- W2621108739 hasConceptScore W2621108739C11413529 @default.
- W2621108739 hasConceptScore W2621108739C134306372 @default.
- W2621108739 hasConceptScore W2621108739C16221470 @default.
- W2621108739 hasConceptScore W2621108739C168773769 @default.
- W2621108739 hasConceptScore W2621108739C187455244 @default.
- W2621108739 hasConceptScore W2621108739C2164484 @default.
- W2621108739 hasConceptScore W2621108739C2778112365 @default.
- W2621108739 hasConceptScore W2621108739C33923547 @default.
- W2621108739 hasConceptScore W2621108739C41008148 @default.
- W2621108739 hasConceptScore W2621108739C54355233 @default.
- W2621108739 hasConceptScore W2621108739C6943359 @default.
- W2621108739 hasConceptScore W2621108739C76155785 @default.
- W2621108739 hasConceptScore W2621108739C77553402 @default.
- W2621108739 hasConceptScore W2621108739C86803240 @default.
- W2621108739 hasFunder F4320321837 @default.
- W2621108739 hasLocation W26211087391 @default.
- W2621108739 hasOpenAccess W2621108739 @default.
- W2621108739 hasPrimaryLocation W26211087391 @default.
- W2621108739 hasRelatedWork W1132907863 @default.
- W2621108739 hasRelatedWork W156070842 @default.
- W2621108739 hasRelatedWork W2154474334 @default.
- W2621108739 hasRelatedWork W2301405299 @default.
- W2621108739 hasRelatedWork W2406837904 @default.
- W2621108739 hasRelatedWork W2408080066 @default.
- W2621108739 hasRelatedWork W2610304232 @default.
- W2621108739 hasRelatedWork W2618442377 @default.
- W2621108739 hasRelatedWork W2748387537 @default.
- W2621108739 hasRelatedWork W4301514548 @default.
- W2621108739 hasVolume "250" @default.
- W2621108739 isParatext "false" @default.
- W2621108739 isRetracted "false" @default.
- W2621108739 magId "2621108739" @default.
- W2621108739 workType "article" @default.