FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4312141303> ?p ?o ?g. }

• W4312141303 endingPage "1846" @default.
• W4312141303 startingPage "1846" @default.
• W4312141303 abstract "The (weighted) partial maximum satisfiability ((W)PMS) problem is an important generalization of the classic problem of propositional (Boolean) satisfiability with a wide range of real-world applications. In this paper, we propose an initialization and a diversification strategy to improve local search for the (W)PMS problem. Our initialization strategy is based on a novel definition of variables' structural entropy, and it aims to generate a solution that is close to a high-quality feasible one. Then, our diversification strategy picks a variable in two possible ways, depending on a parameter: continuing to pick variables with the best benefits or focusing on a clause with the greatest penalty and then selecting variables probabilistically. Based on these strategies, we developed a local search solver dubbed ImSATLike, as well as a hybrid solver ImSATLike-TT, and experimental results on (weighted) partial MaxSAT instances in recent MaxSAT Evaluations show that they outperform or have nearly the same performances as state-of-the-art local search and hybrid competitors, respectively, in general. Furthermore, we carried out experiments to confirm the individual impacts of each proposed strategy." @default.
• W4312141303 created "2023-01-04" @default.
• W4312141303 creator A5026825966 @default.
• W4312141303 creator A5029385936 @default.
• W4312141303 creator A5034855391 @default.
• W4312141303 creator A5043452497 @default.
• W4312141303 creator A5049876081 @default.
• W4312141303 date "2022-12-18" @default.
• W4312141303 modified "2023-10-15" @default.
• W4312141303 title "Initial Solution Generation and Diversified Variable Picking in Local Search for (Weighted) Partial MaxSAT" @default.
• W4312141303 cites W1607011516 @default.
• W4312141303 cites W167199924 @default.
• W4312141303 cites W2034107192 @default.
• W4312141303 cites W2044560939 @default.
• W4312141303 cites W2057361103 @default.
• W4312141303 cites W2062897452 @default.
• W4312141303 cites W2071319337 @default.
• W4312141303 cites W2082527422 @default.
• W4312141303 cites W2104094082 @default.
• W4312141303 cites W2118943303 @default.
• W4312141303 cites W2131529421 @default.
• W4312141303 cites W2171802366 @default.
• W4312141303 cites W2338678442 @default.
• W4312141303 cites W2484319280 @default.
• W4312141303 cites W2486285674 @default.
• W4312141303 cites W2549191282 @default.
• W4312141303 cites W2621108739 @default.
• W4312141303 cites W2739607635 @default.
• W4312141303 cites W2808345295 @default.
• W4312141303 cites W3038094279 @default.
• W4312141303 cites W3135025837 @default.
• W4312141303 cites W3191828433 @default.
• W4312141303 cites W37002918 @default.
• W4312141303 cites W4210913232 @default.
• W4312141303 doi "https://doi.org/10.3390/e24121846" @default.
• W4312141303 hasPubMedId "https://pubmed.ncbi.nlm.nih.gov/36554251" @default.
• W4312141303 hasPublicationYear "2022" @default.
• W4312141303 type Work @default.
• W4312141303 citedByCount "1" @default.
• W4312141303 countsByYear W43121413032023 @default.
• W4312141303 crossrefType "journal-article" @default.
• W4312141303 hasAuthorship W4312141303A5026825966 @default.
• W4312141303 hasAuthorship W4312141303A5029385936 @default.
• W4312141303 hasAuthorship W4312141303A5034855391 @default.
• W4312141303 hasAuthorship W4312141303A5043452497 @default.
• W4312141303 hasAuthorship W4312141303A5049876081 @default.
• W4312141303 hasBestOaLocation W43121413031 @default.
• W4312141303 hasConcept C106301342 @default.
• W4312141303 hasConcept C111797529 @default.
• W4312141303 hasConcept C11413529 @default.
• W4312141303 hasConcept C114466953 @default.
• W4312141303 hasConcept C121332964 @default.
• W4312141303 hasConcept C126255220 @default.
• W4312141303 hasConcept C134306372 @default.
• W4312141303 hasConcept C135320971 @default.
• W4312141303 hasConcept C168773769 @default.
• W4312141303 hasConcept C177148314 @default.
• W4312141303 hasConcept C182365436 @default.
• W4312141303 hasConcept C187455244 @default.
• W4312141303 hasConcept C199360897 @default.
• W4312141303 hasConcept C2778770139 @default.
• W4312141303 hasConcept C33923547 @default.
• W4312141303 hasConcept C41008148 @default.
• W4312141303 hasConcept C62520636 @default.
• W4312141303 hasConcept C6943359 @default.
• W4312141303 hasConceptScore W4312141303C106301342 @default.
• W4312141303 hasConceptScore W4312141303C111797529 @default.
• W4312141303 hasConceptScore W4312141303C11413529 @default.
• W4312141303 hasConceptScore W4312141303C114466953 @default.
• W4312141303 hasConceptScore W4312141303C121332964 @default.
• W4312141303 hasConceptScore W4312141303C126255220 @default.
• W4312141303 hasConceptScore W4312141303C134306372 @default.
• W4312141303 hasConceptScore W4312141303C135320971 @default.
• W4312141303 hasConceptScore W4312141303C168773769 @default.
• W4312141303 hasConceptScore W4312141303C177148314 @default.
• W4312141303 hasConceptScore W4312141303C182365436 @default.
• W4312141303 hasConceptScore W4312141303C187455244 @default.
• W4312141303 hasConceptScore W4312141303C199360897 @default.
• W4312141303 hasConceptScore W4312141303C2778770139 @default.
• W4312141303 hasConceptScore W4312141303C33923547 @default.
• W4312141303 hasConceptScore W4312141303C41008148 @default.
• W4312141303 hasConceptScore W4312141303C62520636 @default.
• W4312141303 hasConceptScore W4312141303C6943359 @default.
• W4312141303 hasFunder F4320321001 @default.
• W4312141303 hasIssue "12" @default.
• W4312141303 hasLocation W43121413031 @default.
• W4312141303 hasLocation W43121413032 @default.
• W4312141303 hasLocation W43121413033 @default.
• W4312141303 hasOpenAccess W4312141303 @default.
• W4312141303 hasPrimaryLocation W43121413031 @default.
• W4312141303 hasRelatedWork W1030314657 @default.
• W4312141303 hasRelatedWork W116541839 @default.
• W4312141303 hasRelatedWork W1970049786 @default.
• W4312141303 hasRelatedWork W2118943303 @default.
• W4312141303 hasRelatedWork W2408080066 @default.
• W4312141303 hasRelatedWork W2572531213 @default.
• W4312141303 hasRelatedWork W2979612917 @default.
• W4312141303 hasRelatedWork W4285605871 @default.

• next