Matches in SemOpenAlex for { <https://semopenalex.org/work/W3138706475> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W3138706475 endingPage "63" @default.
- W3138706475 startingPage "49" @default.
- W3138706475 abstract "Many decision procedures for SMT problems rely more or less implicitly on an instantiation of the axioms defining the theories under consideration, and differ by making use of the additional properties of each theory, in order to increase efficiency. We present a new technique for devising complete instantiation schemes on SMT problems over a combination of linear arithmetic with another theory (mathcal{T}). The method consists in first instantiating the arithmetic part of the formula, and then getting rid of the remaining variables in the problem by using an instantiation strategy which is complete for (mathcal{T}). We provide examples evidencing that not only is this technique generic (in the sense that it applies to a wide range of theories) but it is also efficient, even compared to state-of-the-art instantiation schemes for specific theories." @default.
- W3138706475 created "2021-03-29" @default.
- W3138706475 creator A5010578735 @default.
- W3138706475 creator A5079985573 @default.
- W3138706475 date "2010-01-01" @default.
- W3138706475 modified "2023-09-23" @default.
- W3138706475 title "Instantiation of SMT Problems Modulo Integers" @default.
- W3138706475 cites W1516218099 @default.
- W3138706475 cites W1536511644 @default.
- W3138706475 cites W1550776561 @default.
- W3138706475 cites W1557130751 @default.
- W3138706475 cites W1597663530 @default.
- W3138706475 cites W1966647497 @default.
- W3138706475 cites W1971727793 @default.
- W3138706475 cites W1980250820 @default.
- W3138706475 cites W2037085273 @default.
- W3138706475 cites W2041790367 @default.
- W3138706475 cites W2067716734 @default.
- W3138706475 cites W2084417024 @default.
- W3138706475 cites W2113890674 @default.
- W3138706475 cites W2154032363 @default.
- W3138706475 cites W2156915267 @default.
- W3138706475 doi "https://doi.org/10.1007/978-3-642-14128-7_6" @default.
- W3138706475 hasPublicationYear "2010" @default.
- W3138706475 type Work @default.
- W3138706475 sameAs 3138706475 @default.
- W3138706475 citedByCount "1" @default.
- W3138706475 crossrefType "book-chapter" @default.
- W3138706475 hasAuthorship W3138706475A5010578735 @default.
- W3138706475 hasAuthorship W3138706475A5079985573 @default.
- W3138706475 hasBestOaLocation W31387064754 @default.
- W3138706475 hasConcept C10138342 @default.
- W3138706475 hasConcept C118615104 @default.
- W3138706475 hasConcept C159985019 @default.
- W3138706475 hasConcept C162324750 @default.
- W3138706475 hasConcept C167729594 @default.
- W3138706475 hasConcept C182306322 @default.
- W3138706475 hasConcept C192562407 @default.
- W3138706475 hasConcept C199360897 @default.
- W3138706475 hasConcept C204323151 @default.
- W3138706475 hasConcept C2524010 @default.
- W3138706475 hasConcept C33923547 @default.
- W3138706475 hasConcept C41008148 @default.
- W3138706475 hasConcept C54732982 @default.
- W3138706475 hasConcept C80444323 @default.
- W3138706475 hasConcept C94375191 @default.
- W3138706475 hasConceptScore W3138706475C10138342 @default.
- W3138706475 hasConceptScore W3138706475C118615104 @default.
- W3138706475 hasConceptScore W3138706475C159985019 @default.
- W3138706475 hasConceptScore W3138706475C162324750 @default.
- W3138706475 hasConceptScore W3138706475C167729594 @default.
- W3138706475 hasConceptScore W3138706475C182306322 @default.
- W3138706475 hasConceptScore W3138706475C192562407 @default.
- W3138706475 hasConceptScore W3138706475C199360897 @default.
- W3138706475 hasConceptScore W3138706475C204323151 @default.
- W3138706475 hasConceptScore W3138706475C2524010 @default.
- W3138706475 hasConceptScore W3138706475C33923547 @default.
- W3138706475 hasConceptScore W3138706475C41008148 @default.
- W3138706475 hasConceptScore W3138706475C54732982 @default.
- W3138706475 hasConceptScore W3138706475C80444323 @default.
- W3138706475 hasConceptScore W3138706475C94375191 @default.
- W3138706475 hasLocation W31387064751 @default.
- W3138706475 hasLocation W31387064752 @default.
- W3138706475 hasLocation W31387064753 @default.
- W3138706475 hasLocation W31387064754 @default.
- W3138706475 hasOpenAccess W3138706475 @default.
- W3138706475 hasPrimaryLocation W31387064751 @default.
- W3138706475 hasRelatedWork W1966938553 @default.
- W3138706475 hasRelatedWork W2028207499 @default.
- W3138706475 hasRelatedWork W2056472685 @default.
- W3138706475 hasRelatedWork W2137333181 @default.
- W3138706475 hasRelatedWork W2139713416 @default.
- W3138706475 hasRelatedWork W2282814833 @default.
- W3138706475 hasRelatedWork W2318342593 @default.
- W3138706475 hasRelatedWork W2323374929 @default.
- W3138706475 hasRelatedWork W2954497896 @default.
- W3138706475 hasRelatedWork W2963652363 @default.
- W3138706475 isParatext "false" @default.
- W3138706475 isRetracted "false" @default.
- W3138706475 magId "3138706475" @default.
- W3138706475 workType "book-chapter" @default.