Matches in SemOpenAlex for { <https://semopenalex.org/work/W2365431995> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W2365431995 abstract "Satisfiability modulo theories solver is a decision procedure for the satisfiabilily of formulas of the first-order logics.It is the verification engine for many formalization methods.Theory solvers solve problems with different theoretical backgrounds;however,the problems in the real-world applications often are supported by multiple theories.This paper mainly introduces the methods of theory combination,summarizes the status quo of the SMT solvers.Besides,it analyzes several major techniques on the theoretical combination for SMT solvers.Testing with the industrial cases,we finally evaluate methods of combination theory with experimental results,and compare the performances of several popular SMT solvers which support theoretical combination techniques." @default.
- W2365431995 created "2016-06-24" @default.
- W2365431995 creator A5082329778 @default.
- W2365431995 date "2011-01-01" @default.
- W2365431995 modified "2023-09-28" @default.
- W2365431995 title "A Survey on Theoretical Combination Techniques of SMT Solvers" @default.
- W2365431995 hasPublicationYear "2011" @default.
- W2365431995 type Work @default.
- W2365431995 sameAs 2365431995 @default.
- W2365431995 citedByCount "0" @default.
- W2365431995 crossrefType "journal-article" @default.
- W2365431995 hasAuthorship W2365431995A5082329778 @default.
- W2365431995 hasConcept C162324750 @default.
- W2365431995 hasConcept C164155591 @default.
- W2365431995 hasConcept C168773769 @default.
- W2365431995 hasConcept C199360897 @default.
- W2365431995 hasConcept C2776748549 @default.
- W2365431995 hasConcept C2778770139 @default.
- W2365431995 hasConcept C34447519 @default.
- W2365431995 hasConcept C41008148 @default.
- W2365431995 hasConcept C80444323 @default.
- W2365431995 hasConceptScore W2365431995C162324750 @default.
- W2365431995 hasConceptScore W2365431995C164155591 @default.
- W2365431995 hasConceptScore W2365431995C168773769 @default.
- W2365431995 hasConceptScore W2365431995C199360897 @default.
- W2365431995 hasConceptScore W2365431995C2776748549 @default.
- W2365431995 hasConceptScore W2365431995C2778770139 @default.
- W2365431995 hasConceptScore W2365431995C34447519 @default.
- W2365431995 hasConceptScore W2365431995C41008148 @default.
- W2365431995 hasConceptScore W2365431995C80444323 @default.
- W2365431995 hasLocation W23654319951 @default.
- W2365431995 hasOpenAccess W2365431995 @default.
- W2365431995 hasPrimaryLocation W23654319951 @default.
- W2365431995 hasRelatedWork W1486180542 @default.
- W2365431995 hasRelatedWork W169672073 @default.
- W2365431995 hasRelatedWork W1775468415 @default.
- W2365431995 hasRelatedWork W2141151670 @default.
- W2365431995 hasRelatedWork W2188205675 @default.
- W2365431995 hasRelatedWork W2423637923 @default.
- W2365431995 hasRelatedWork W2508454412 @default.
- W2365431995 hasRelatedWork W2888632077 @default.
- W2365431995 hasRelatedWork W2951613327 @default.
- W2365431995 hasRelatedWork W2952723349 @default.
- W2365431995 hasRelatedWork W2963499262 @default.
- W2365431995 hasRelatedWork W3004482543 @default.
- W2365431995 hasRelatedWork W3009643191 @default.
- W2365431995 hasRelatedWork W3022618186 @default.
- W2365431995 hasRelatedWork W3029559354 @default.
- W2365431995 hasRelatedWork W3034071395 @default.
- W2365431995 hasRelatedWork W3184539538 @default.
- W2365431995 hasRelatedWork W3195449405 @default.
- W2365431995 hasRelatedWork W3196865231 @default.
- W2365431995 hasRelatedWork W3163732942 @default.
- W2365431995 isParatext "false" @default.
- W2365431995 isRetracted "false" @default.
- W2365431995 magId "2365431995" @default.
- W2365431995 workType "article" @default.