Matches in SemOpenAlex for { <https://semopenalex.org/work/W3189272223> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W3189272223 abstract "SMT solvers have recently been extended with techniques for finding models in presence of universally quantified formulas in some restricted fragments. This paper introduces a translation which reduces axioms specifying a large class of recursive functions, including well-founded (terminating) functions, to universally quantified formulas for which these techniques are applicable. An empirical evaluation confirms that the approach improves the performance of existing solvers on benchmarks from two sources. The translation is implemented as a preprocessor in the solver CVC4." @default.
- W3189272223 created "2021-08-16" @default.
- W3189272223 creator A5046830049 @default.
- W3189272223 creator A5079200257 @default.
- W3189272223 creator A5083954589 @default.
- W3189272223 date "2015-07-18" @default.
- W3189272223 modified "2023-10-03" @default.
- W3189272223 title "Model Finding for Recursive Functions in SMT" @default.
- W3189272223 hasPublicationYear "2015" @default.
- W3189272223 type Work @default.
- W3189272223 sameAs 3189272223 @default.
- W3189272223 citedByCount "0" @default.
- W3189272223 crossrefType "proceedings-article" @default.
- W3189272223 hasAuthorship W3189272223A5046830049 @default.
- W3189272223 hasAuthorship W3189272223A5079200257 @default.
- W3189272223 hasAuthorship W3189272223A5083954589 @default.
- W3189272223 hasBestOaLocation W31892722231 @default.
- W3189272223 hasConcept C104317684 @default.
- W3189272223 hasConcept C105580179 @default.
- W3189272223 hasConcept C11413529 @default.
- W3189272223 hasConcept C149364088 @default.
- W3189272223 hasConcept C154945302 @default.
- W3189272223 hasConcept C164155591 @default.
- W3189272223 hasConcept C167729594 @default.
- W3189272223 hasConcept C185592680 @default.
- W3189272223 hasConcept C199360897 @default.
- W3189272223 hasConcept C2524010 @default.
- W3189272223 hasConcept C2777212361 @default.
- W3189272223 hasConcept C2778770139 @default.
- W3189272223 hasConcept C33923547 @default.
- W3189272223 hasConcept C34736171 @default.
- W3189272223 hasConcept C41008148 @default.
- W3189272223 hasConcept C55493867 @default.
- W3189272223 hasConcept C80444323 @default.
- W3189272223 hasConceptScore W3189272223C104317684 @default.
- W3189272223 hasConceptScore W3189272223C105580179 @default.
- W3189272223 hasConceptScore W3189272223C11413529 @default.
- W3189272223 hasConceptScore W3189272223C149364088 @default.
- W3189272223 hasConceptScore W3189272223C154945302 @default.
- W3189272223 hasConceptScore W3189272223C164155591 @default.
- W3189272223 hasConceptScore W3189272223C167729594 @default.
- W3189272223 hasConceptScore W3189272223C185592680 @default.
- W3189272223 hasConceptScore W3189272223C199360897 @default.
- W3189272223 hasConceptScore W3189272223C2524010 @default.
- W3189272223 hasConceptScore W3189272223C2777212361 @default.
- W3189272223 hasConceptScore W3189272223C2778770139 @default.
- W3189272223 hasConceptScore W3189272223C33923547 @default.
- W3189272223 hasConceptScore W3189272223C34736171 @default.
- W3189272223 hasConceptScore W3189272223C41008148 @default.
- W3189272223 hasConceptScore W3189272223C55493867 @default.
- W3189272223 hasConceptScore W3189272223C80444323 @default.
- W3189272223 hasLocation W31892722231 @default.
- W3189272223 hasLocation W31892722232 @default.
- W3189272223 hasLocation W31892722233 @default.
- W3189272223 hasLocation W31892722234 @default.
- W3189272223 hasLocation W31892722235 @default.
- W3189272223 hasOpenAccess W3189272223 @default.
- W3189272223 hasPrimaryLocation W31892722231 @default.
- W3189272223 hasRelatedWork W2108621846 @default.
- W3189272223 hasRelatedWork W216667991 @default.
- W3189272223 hasRelatedWork W2281448709 @default.
- W3189272223 hasRelatedWork W2396384868 @default.
- W3189272223 hasRelatedWork W2468404022 @default.
- W3189272223 hasRelatedWork W2554061909 @default.
- W3189272223 hasRelatedWork W2724940431 @default.
- W3189272223 hasRelatedWork W2963763958 @default.
- W3189272223 hasRelatedWork W3189272223 @default.
- W3189272223 hasRelatedWork W798190714 @default.
- W3189272223 isParatext "false" @default.
- W3189272223 isRetracted "false" @default.
- W3189272223 magId "3189272223" @default.
- W3189272223 workType "article" @default.