FRINK Linked Data Fragments server

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

• W3021334088 endingPage "460" @default.
• W3021334088 startingPage "423" @default.
• W3021334088 abstract "Optimization Modulo Theories ($$text {OMT}$$) is an extension of SMT which allows for finding models that optimize given objectives. OptiMathSAT is an OMT solver which allows for solving a list of optimization problems on SMT formulas with linear objective functions—on the Boolean, the rational and the integer domains, and on their combination thereof—including (partial weighted) MaxSMT . Multiple and heterogeneous objective functions can be combined together and handled either independently, or lexicographically, or in linear or min–max /max–min combinations. OptiMathSAT provides an incremental interface, it supports both an extended version of the SMT-LIBv2 language and a subset of the FlatZinc language, and can be interfaced via an API. In this paper we describe OptiMathSAT and its usage in full detail." @default.
• W3021334088 created "2020-05-13" @default.
• W3021334088 creator A5024829138 @default.
• W3021334088 creator A5088301538 @default.
• W3021334088 date "2018-12-15" @default.
• W3021334088 modified "2023-10-02" @default.
• W3021334088 title "OptiMathSAT: A Tool for Optimization Modulo Theories" @default.
• W3021334088 cites W1022177737 @default.
• W3021334088 cites W1504520037 @default.
• W3021334088 cites W1544041853 @default.
• W3021334088 cites W1548812055 @default.
• W3021334088 cites W1553068379 @default.
• W3021334088 cites W1569885273 @default.
• W3021334088 cites W1757313772 @default.
• W3021334088 cites W1824587283 @default.
• W3021334088 cites W1965970856 @default.
• W3021334088 cites W2009689138 @default.
• W3021334088 cites W2014328192 @default.
• W3021334088 cites W2015135969 @default.
• W3021334088 cites W2022846948 @default.
• W3021334088 cites W2024860775 @default.
• W3021334088 cites W2024911455 @default.
• W3021334088 cites W2033290519 @default.
• W3021334088 cites W2048230499 @default.
• W3021334088 cites W2059035667 @default.
• W3021334088 cites W2105468483 @default.
• W3021334088 cites W2114037873 @default.
• W3021334088 cites W2114231362 @default.
• W3021334088 cites W2116209568 @default.
• W3021334088 cites W2125967324 @default.
• W3021334088 cites W2126626789 @default.
• W3021334088 cites W2127145687 @default.
• W3021334088 cites W2147600044 @default.
• W3021334088 cites W2151308681 @default.
• W3021334088 cites W2157056800 @default.
• W3021334088 cites W2158797600 @default.
• W3021334088 cites W221832247 @default.
• W3021334088 cites W2587185983 @default.
• W3021334088 cites W2747088929 @default.
• W3021334088 cites W2963060688 @default.
• W3021334088 cites W3005686116 @default.
• W3021334088 cites W3100205637 @default.
• W3021334088 cites W3103017377 @default.
• W3021334088 cites W37002918 @default.
• W3021334088 cites W602497127 @default.
• W3021334088 cites W89830494 @default.
• W3021334088 doi "https://doi.org/10.1007/s10817-018-09508-6" @default.
• W3021334088 hasPublicationYear "2018" @default.
• W3021334088 type Work @default.
• W3021334088 sameAs 3021334088 @default.
• W3021334088 citedByCount "24" @default.
• W3021334088 countsByYear W30213340882019 @default.
• W3021334088 countsByYear W30213340882020 @default.
• W3021334088 countsByYear W30213340882021 @default.
• W3021334088 countsByYear W30213340882022 @default.
• W3021334088 countsByYear W30213340882023 @default.
• W3021334088 crossrefType "journal-article" @default.
• W3021334088 hasAuthorship W3021334088A5024829138 @default.
• W3021334088 hasAuthorship W3021334088A5088301538 @default.
• W3021334088 hasBestOaLocation W30213340882 @default.
• W3021334088 hasConcept C113843644 @default.
• W3021334088 hasConcept C11413529 @default.
• W3021334088 hasConcept C114614502 @default.
• W3021334088 hasConcept C118615104 @default.
• W3021334088 hasConcept C129307140 @default.
• W3021334088 hasConcept C157915830 @default.
• W3021334088 hasConcept C159254197 @default.
• W3021334088 hasConcept C164155591 @default.
• W3021334088 hasConcept C173608175 @default.
• W3021334088 hasConcept C199360897 @default.
• W3021334088 hasConcept C2778029271 @default.
• W3021334088 hasConcept C2778770139 @default.
• W3021334088 hasConcept C33923547 @default.
• W3021334088 hasConcept C41008148 @default.
• W3021334088 hasConcept C54732982 @default.
• W3021334088 hasConcept C56086750 @default.
• W3021334088 hasConcept C80444323 @default.
• W3021334088 hasConcept C94375191 @default.
• W3021334088 hasConcept C97137487 @default.
• W3021334088 hasConceptScore W3021334088C113843644 @default.
• W3021334088 hasConceptScore W3021334088C11413529 @default.
• W3021334088 hasConceptScore W3021334088C114614502 @default.
• W3021334088 hasConceptScore W3021334088C118615104 @default.
• W3021334088 hasConceptScore W3021334088C129307140 @default.
• W3021334088 hasConceptScore W3021334088C157915830 @default.
• W3021334088 hasConceptScore W3021334088C159254197 @default.
• W3021334088 hasConceptScore W3021334088C164155591 @default.
• W3021334088 hasConceptScore W3021334088C173608175 @default.
• W3021334088 hasConceptScore W3021334088C199360897 @default.
• W3021334088 hasConceptScore W3021334088C2778029271 @default.
• W3021334088 hasConceptScore W3021334088C2778770139 @default.
• W3021334088 hasConceptScore W3021334088C33923547 @default.
• W3021334088 hasConceptScore W3021334088C41008148 @default.
• W3021334088 hasConceptScore W3021334088C54732982 @default.
• W3021334088 hasConceptScore W3021334088C56086750 @default.
• W3021334088 hasConceptScore W3021334088C80444323 @default.
• W3021334088 hasConceptScore W3021334088C94375191 @default.
• W3021334088 hasConceptScore W3021334088C97137487 @default.

• next