FRINK Linked Data Fragments server

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

• W3089776463 abstract "Optimization Modulo Theories (OMT) is an extension of SMT that allows for finding models that optimize objective functions. In this paper we aim at bridging the gap between Constraint Programming (CP) and OMT, in both directions. First, we have extended the OMT solver OptiMathSAT with a FlatZinc interface – which can also be used as FlatZinc-to-OMT encoder for other OMT solvers. This allows OMT tools to be used in combination with mzn2fzn on the large amount of CP problems coming from the MiniZinc community. Second, we have introduced a tool for translating SMT and OMT problems on the linear arithmetic and bit-vector theories into MiniZinc. This allows MiniZinc solvers to be used on a large amount of SMT/OMT problems." @default.
• W3089776463 created "2020-10-08" @default.
• W3089776463 creator A5024829138 @default.
• W3089776463 creator A5082389262 @default.
• W3089776463 creator A5088301538 @default.
• W3089776463 date "2020-01-01" @default.
• W3089776463 modified "2023-09-26" @default.
• W3089776463 title "From MiniZinc to Optimization Modulo Theories, and Back" @default.
• W3089776463 cites W1022177737 @default.
• W3089776463 cites W1504520037 @default.
• W3089776463 cites W1544041853 @default.
• W3089776463 cites W1548812055 @default.
• W3089776463 cites W1569885273 @default.
• W3089776463 cites W1775468415 @default.
• W3089776463 cites W1824587283 @default.
• W3089776463 cites W1868334863 @default.
• W3089776463 cites W1981106240 @default.
• W3089776463 cites W2012413542 @default.
• W3089776463 cites W2015135969 @default.
• W3089776463 cites W2022846948 @default.
• W3089776463 cites W2048230499 @default.
• W3089776463 cites W2059035667 @default.
• W3089776463 cites W2090777457 @default.
• W3089776463 cites W2103658959 @default.
• W3089776463 cites W2114231362 @default.
• W3089776463 cites W2140642439 @default.
• W3089776463 cites W2157056800 @default.
• W3089776463 cites W2158797600 @default.
• W3089776463 cites W2159875930 @default.
• W3089776463 cites W221832247 @default.
• W3089776463 cites W2408095374 @default.
• W3089776463 cites W2438306999 @default.
• W3089776463 cites W2467005558 @default.
• W3089776463 cites W2505184053 @default.
• W3089776463 cites W2575522837 @default.
• W3089776463 cites W2587185983 @default.
• W3089776463 cites W2604202109 @default.
• W3089776463 cites W2747088929 @default.
• W3089776463 cites W2750143525 @default.
• W3089776463 cites W2765206797 @default.
• W3089776463 cites W2794858096 @default.
• W3089776463 cites W2803522214 @default.
• W3089776463 cites W2807461721 @default.
• W3089776463 cites W2889414920 @default.
• W3089776463 cites W2903666872 @default.
• W3089776463 cites W2964162272 @default.
• W3089776463 cites W2969929769 @default.
• W3089776463 cites W3021334088 @default.
• W3089776463 cites W3100205637 @default.
• W3089776463 cites W602497127 @default.
• W3089776463 cites W6337991 @default.
• W3089776463 doi "https://doi.org/10.1007/978-3-030-58942-4_10" @default.
• W3089776463 hasPublicationYear "2020" @default.
• W3089776463 type Work @default.
• W3089776463 sameAs 3089776463 @default.
• W3089776463 citedByCount "4" @default.
• W3089776463 countsByYear W30897764632020 @default.
• W3089776463 countsByYear W30897764632021 @default.
• W3089776463 countsByYear W30897764632022 @default.
• W3089776463 crossrefType "book-chapter" @default.
• W3089776463 hasAuthorship W3089776463A5024829138 @default.
• W3089776463 hasAuthorship W3089776463A5082389262 @default.
• W3089776463 hasAuthorship W3089776463A5088301538 @default.
• W3089776463 hasConcept C111919701 @default.
• W3089776463 hasConcept C11413529 @default.
• W3089776463 hasConcept C118505674 @default.
• W3089776463 hasConcept C118615104 @default.
• W3089776463 hasConcept C164155591 @default.
• W3089776463 hasConcept C174348530 @default.
• W3089776463 hasConcept C199360897 @default.
• W3089776463 hasConcept C2778029271 @default.
• W3089776463 hasConcept C2778770139 @default.
• W3089776463 hasConcept C31258907 @default.
• W3089776463 hasConcept C33923547 @default.
• W3089776463 hasConcept C41008148 @default.
• W3089776463 hasConcept C54732982 @default.
• W3089776463 hasConcept C80444323 @default.
• W3089776463 hasConcept C94375191 @default.
• W3089776463 hasConceptScore W3089776463C111919701 @default.
• W3089776463 hasConceptScore W3089776463C11413529 @default.
• W3089776463 hasConceptScore W3089776463C118505674 @default.
• W3089776463 hasConceptScore W3089776463C118615104 @default.
• W3089776463 hasConceptScore W3089776463C164155591 @default.
• W3089776463 hasConceptScore W3089776463C174348530 @default.
• W3089776463 hasConceptScore W3089776463C199360897 @default.
• W3089776463 hasConceptScore W3089776463C2778029271 @default.
• W3089776463 hasConceptScore W3089776463C2778770139 @default.
• W3089776463 hasConceptScore W3089776463C31258907 @default.
• W3089776463 hasConceptScore W3089776463C33923547 @default.
• W3089776463 hasConceptScore W3089776463C41008148 @default.
• W3089776463 hasConceptScore W3089776463C54732982 @default.
• W3089776463 hasConceptScore W3089776463C80444323 @default.
• W3089776463 hasConceptScore W3089776463C94375191 @default.
• W3089776463 hasLocation W30897764631 @default.
• W3089776463 hasOpenAccess W3089776463 @default.
• W3089776463 hasPrimaryLocation W30897764631 @default.
• W3089776463 hasRelatedWork W12693902 @default.
• W3089776463 hasRelatedWork W13633238 @default.
• W3089776463 hasRelatedWork W14017695 @default.
• W3089776463 hasRelatedWork W14540953 @default.

• next