Matches in SemOpenAlex for { <https://semopenalex.org/work/W2587185983> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2587185983 endingPage "248" @default.
- W2587185983 startingPage "231" @default.
- W2587185983 abstract "Optimization Modulo Theories ( $$text {OMT}$$ ) is an extension of SMT which allows for finding models that optimize given objectives. (Partial weighted) MaxSMT–or equivalently $$text {OMT}$$ with Pseudo-Boolean objective functions, $$text {OMT+PB}$$ – is a very-relevant strict subcase of $$text {OMT}$$ . We classify existing approaches for MaxSMT or $$text {OMT+PB}$$ in two groups: MaxSAT-based approaches exploit the efficiency of state-of-the-art MaxSAT solvers, but they are specific-purpose and not always applicable; OMT-based approaches are general-purpose, but they suffer from intrinsic inefficiencies on MaxSMT/ $$text {OMT+PB}$$ problems. We identify a major source of such inefficiencies, and we address it by enhancing $$text {OMT}$$ by means of bidirectional sorting networks. We implemented this idea on top of the OptiMathSAT $$text {OMT}$$ solver. We run an extensive empirical evaluation on a variety of problems, comparing MaxSAT-based and $$text {OMT}$$ -based techniques, with and without sorting networks, implemented on top of OptiMathSAT and . The results support the effectiveness of this idea, and provide interesting insights about the different approaches." @default.
- W2587185983 created "2017-02-17" @default.
- W2587185983 creator A5024829138 @default.
- W2587185983 creator A5088301538 @default.
- W2587185983 date "2017-01-01" @default.
- W2587185983 modified "2023-09-26" @default.
- W2587185983 title "On Optimization Modulo Theories, MaxSMT and Sorting Networks" @default.
- W2587185983 cites W1022177737 @default.
- W2587185983 cites W1492234230 @default.
- W2587185983 cites W1544041853 @default.
- W2587185983 cites W1548812055 @default.
- W2587185983 cites W1553068379 @default.
- W2587185983 cites W1569885273 @default.
- W2587185983 cites W1824587283 @default.
- W2587185983 cites W2012413542 @default.
- W2587185983 cites W2048230499 @default.
- W2587185983 cites W2090777457 @default.
- W2587185983 cites W2100609826 @default.
- W2587185983 cites W2157056800 @default.
- W2587185983 cites W2158797600 @default.
- W2587185983 cites W2467005558 @default.
- W2587185983 cites W2963060688 @default.
- W2587185983 cites W3100205637 @default.
- W2587185983 cites W37002918 @default.
- W2587185983 cites W602497127 @default.
- W2587185983 cites W89830494 @default.
- W2587185983 doi "https://doi.org/10.1007/978-3-662-54580-5_14" @default.
- W2587185983 hasPublicationYear "2017" @default.
- W2587185983 type Work @default.
- W2587185983 sameAs 2587185983 @default.
- W2587185983 citedByCount "10" @default.
- W2587185983 countsByYear W25871859832017 @default.
- W2587185983 countsByYear W25871859832018 @default.
- W2587185983 countsByYear W25871859832019 @default.
- W2587185983 countsByYear W25871859832020 @default.
- W2587185983 countsByYear W25871859832021 @default.
- W2587185983 countsByYear W25871859832022 @default.
- W2587185983 crossrefType "book-chapter" @default.
- W2587185983 hasAuthorship W2587185983A5024829138 @default.
- W2587185983 hasAuthorship W2587185983A5088301538 @default.
- W2587185983 hasBestOaLocation W25871859832 @default.
- W2587185983 hasConcept C111696304 @default.
- W2587185983 hasConcept C111797529 @default.
- W2587185983 hasConcept C11413529 @default.
- W2587185983 hasConcept C118615104 @default.
- W2587185983 hasConcept C136197465 @default.
- W2587185983 hasConcept C154945302 @default.
- W2587185983 hasConcept C164155591 @default.
- W2587185983 hasConcept C165696696 @default.
- W2587185983 hasConcept C187455244 @default.
- W2587185983 hasConcept C199360897 @default.
- W2587185983 hasConcept C2778770139 @default.
- W2587185983 hasConcept C33923547 @default.
- W2587185983 hasConcept C38652104 @default.
- W2587185983 hasConcept C41008148 @default.
- W2587185983 hasConcept C54732982 @default.
- W2587185983 hasConcept C80444323 @default.
- W2587185983 hasConceptScore W2587185983C111696304 @default.
- W2587185983 hasConceptScore W2587185983C111797529 @default.
- W2587185983 hasConceptScore W2587185983C11413529 @default.
- W2587185983 hasConceptScore W2587185983C118615104 @default.
- W2587185983 hasConceptScore W2587185983C136197465 @default.
- W2587185983 hasConceptScore W2587185983C154945302 @default.
- W2587185983 hasConceptScore W2587185983C164155591 @default.
- W2587185983 hasConceptScore W2587185983C165696696 @default.
- W2587185983 hasConceptScore W2587185983C187455244 @default.
- W2587185983 hasConceptScore W2587185983C199360897 @default.
- W2587185983 hasConceptScore W2587185983C2778770139 @default.
- W2587185983 hasConceptScore W2587185983C33923547 @default.
- W2587185983 hasConceptScore W2587185983C38652104 @default.
- W2587185983 hasConceptScore W2587185983C41008148 @default.
- W2587185983 hasConceptScore W2587185983C54732982 @default.
- W2587185983 hasConceptScore W2587185983C80444323 @default.
- W2587185983 hasLocation W25871859831 @default.
- W2587185983 hasLocation W25871859832 @default.
- W2587185983 hasLocation W25871859833 @default.
- W2587185983 hasOpenAccess W2587185983 @default.
- W2587185983 hasPrimaryLocation W25871859831 @default.
- W2587185983 hasRelatedWork W1022177737 @default.
- W2587185983 hasRelatedWork W1868334863 @default.
- W2587185983 hasRelatedWork W2141151670 @default.
- W2587185983 hasRelatedWork W2952590541 @default.
- W2587185983 hasRelatedWork W3013541062 @default.
- W2587185983 hasRelatedWork W3089776463 @default.
- W2587185983 hasRelatedWork W3136121010 @default.
- W2587185983 hasRelatedWork W4302169327 @default.
- W2587185983 hasRelatedWork W4318620547 @default.
- W2587185983 hasRelatedWork W4380714708 @default.
- W2587185983 isParatext "false" @default.
- W2587185983 isRetracted "false" @default.
- W2587185983 magId "2587185983" @default.
- W2587185983 workType "book-chapter" @default.