Matches in SemOpenAlex for { <https://semopenalex.org/work/W2808345295> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2808345295 abstract "Partial MaxSAT (PMS) generalizes SAT and MaxSAT by introducing hard clauses and soft clauses. PMS and Weighted PMS (WPMS) have many important real world applications. Local search is one popular method for solving (W)PMS. Recent studies on specialized local search for (W)PMS have led to significant improvements. But such specialized algorithms are complicated with the concepts tailored for hard and soft clauses. In this work, we propose a dynamic local search algorithm, which exploits the structure of (W)PMS by a carefully designed clause weighting scheme. Our solver SATLike adopts a local search framework for SAT and does not need any specialized concept for (W)PMS. Experiments on PMS and WPMS benchmarks from the MaxSAT Evaluations (MSE) 2016 and 2017 show that SATLike significantly outperforms state of the art local search solvers. Also, SATLike significantly narrows the gap between the performance of local search solvers and complete solvers on industrial benchmarks, and performs better than the complete solvers on the MSE2017 benchmarks." @default.
- W2808345295 created "2018-06-21" @default.
- W2808345295 creator A5033711595 @default.
- W2808345295 creator A5077138780 @default.
- W2808345295 date "2018-07-01" @default.
- W2808345295 modified "2023-10-10" @default.
- W2808345295 title "Solving (Weighted) Partial MaxSAT by Dynamic Local Search for SAT" @default.
- W2808345295 cites W139194355 @default.
- W2808345295 cites W1506475229 @default.
- W2808345295 cites W1531103278 @default.
- W2808345295 cites W2185680923 @default.
- W2808345295 cites W2251648435 @default.
- W2808345295 cites W2278865530 @default.
- W2808345295 cites W2621070371 @default.
- W2808345295 cites W2739607635 @default.
- W2808345295 cites W3104044769 @default.
- W2808345295 cites W967127597 @default.
- W2808345295 doi "https://doi.org/10.24963/ijcai.2018/187" @default.
- W2808345295 hasPublicationYear "2018" @default.
- W2808345295 type Work @default.
- W2808345295 sameAs 2808345295 @default.
- W2808345295 citedByCount "24" @default.
- W2808345295 countsByYear W28083452952019 @default.
- W2808345295 countsByYear W28083452952020 @default.
- W2808345295 countsByYear W28083452952021 @default.
- W2808345295 countsByYear W28083452952022 @default.
- W2808345295 countsByYear W28083452952023 @default.
- W2808345295 crossrefType "proceedings-article" @default.
- W2808345295 hasAuthorship W2808345295A5033711595 @default.
- W2808345295 hasAuthorship W2808345295A5077138780 @default.
- W2808345295 hasBestOaLocation W28083452951 @default.
- W2808345295 hasConcept C111797529 @default.
- W2808345295 hasConcept C11413529 @default.
- W2808345295 hasConcept C126838900 @default.
- W2808345295 hasConcept C134306372 @default.
- W2808345295 hasConcept C135320971 @default.
- W2808345295 hasConcept C165696696 @default.
- W2808345295 hasConcept C183115368 @default.
- W2808345295 hasConcept C187455244 @default.
- W2808345295 hasConcept C199360897 @default.
- W2808345295 hasConcept C2778770139 @default.
- W2808345295 hasConcept C33923547 @default.
- W2808345295 hasConcept C38652104 @default.
- W2808345295 hasConcept C41008148 @default.
- W2808345295 hasConcept C6943359 @default.
- W2808345295 hasConcept C71924100 @default.
- W2808345295 hasConcept C77618280 @default.
- W2808345295 hasConcept C80444323 @default.
- W2808345295 hasConceptScore W2808345295C111797529 @default.
- W2808345295 hasConceptScore W2808345295C11413529 @default.
- W2808345295 hasConceptScore W2808345295C126838900 @default.
- W2808345295 hasConceptScore W2808345295C134306372 @default.
- W2808345295 hasConceptScore W2808345295C135320971 @default.
- W2808345295 hasConceptScore W2808345295C165696696 @default.
- W2808345295 hasConceptScore W2808345295C183115368 @default.
- W2808345295 hasConceptScore W2808345295C187455244 @default.
- W2808345295 hasConceptScore W2808345295C199360897 @default.
- W2808345295 hasConceptScore W2808345295C2778770139 @default.
- W2808345295 hasConceptScore W2808345295C33923547 @default.
- W2808345295 hasConceptScore W2808345295C38652104 @default.
- W2808345295 hasConceptScore W2808345295C41008148 @default.
- W2808345295 hasConceptScore W2808345295C6943359 @default.
- W2808345295 hasConceptScore W2808345295C71924100 @default.
- W2808345295 hasConceptScore W2808345295C77618280 @default.
- W2808345295 hasConceptScore W2808345295C80444323 @default.
- W2808345295 hasLocation W28083452951 @default.
- W2808345295 hasOpenAccess W2808345295 @default.
- W2808345295 hasPrimaryLocation W28083452951 @default.
- W2808345295 hasRelatedWork W1525479213 @default.
- W2808345295 hasRelatedWork W1745650241 @default.
- W2808345295 hasRelatedWork W2244777522 @default.
- W2808345295 hasRelatedWork W24264677 @default.
- W2808345295 hasRelatedWork W2484319280 @default.
- W2808345295 hasRelatedWork W2770553185 @default.
- W2808345295 hasRelatedWork W2808345295 @default.
- W2808345295 hasRelatedWork W3173322326 @default.
- W2808345295 hasRelatedWork W3195699603 @default.
- W2808345295 hasRelatedWork W2739390263 @default.
- W2808345295 isParatext "false" @default.
- W2808345295 isRetracted "false" @default.
- W2808345295 magId "2808345295" @default.
- W2808345295 workType "article" @default.