Matches in SemOpenAlex for { <https://semopenalex.org/work/W2761874473> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2761874473 abstract "Satisfiability modulo theory (SMT) consists of determining the satisfiability of logical formulas. It can reason in various formal theories, e.g., in linear integer or real arithmetic, first-order logic, or logics of arrays. An SMT solver is a program that implements the corresponding algorithms to automatically determine whether a logical formula is satisfiable." @default.
- W2761874473 created "2017-10-20" @default.
- W2761874473 creator A5000548831 @default.
- W2761874473 creator A5061957698 @default.
- W2761874473 date "2017-10-22" @default.
- W2761874473 modified "2023-09-23" @default.
- W2761874473 title "ScalaSMT: satisfiability modulo theory in Scala (tool paper)" @default.
- W2761874473 cites W1128447031 @default.
- W2761874473 cites W1480909796 @default.
- W2761874473 cites W1875182499 @default.
- W2761874473 cites W1890419246 @default.
- W2761874473 cites W221832247 @default.
- W2761874473 cites W2534451013 @default.
- W2761874473 cites W2554061909 @default.
- W2761874473 cites W2602639380 @default.
- W2761874473 cites W4233077045 @default.
- W2761874473 doi "https://doi.org/10.1145/3136000.3136004" @default.
- W2761874473 hasPublicationYear "2017" @default.
- W2761874473 type Work @default.
- W2761874473 sameAs 2761874473 @default.
- W2761874473 citedByCount "5" @default.
- W2761874473 countsByYear W27618744732019 @default.
- W2761874473 countsByYear W27618744732020 @default.
- W2761874473 countsByYear W27618744732021 @default.
- W2761874473 countsByYear W27618744732022 @default.
- W2761874473 crossrefType "proceedings-article" @default.
- W2761874473 hasAuthorship W2761874473A5000548831 @default.
- W2761874473 hasAuthorship W2761874473A5061957698 @default.
- W2761874473 hasConcept C11413529 @default.
- W2761874473 hasConcept C118615104 @default.
- W2761874473 hasConcept C164155591 @default.
- W2761874473 hasConcept C168773769 @default.
- W2761874473 hasConcept C199360897 @default.
- W2761874473 hasConcept C2778770139 @default.
- W2761874473 hasConcept C33923547 @default.
- W2761874473 hasConcept C41008148 @default.
- W2761874473 hasConcept C54732982 @default.
- W2761874473 hasConcept C6943359 @default.
- W2761874473 hasConcept C80444323 @default.
- W2761874473 hasConcept C94375191 @default.
- W2761874473 hasConcept C97137487 @default.
- W2761874473 hasConceptScore W2761874473C11413529 @default.
- W2761874473 hasConceptScore W2761874473C118615104 @default.
- W2761874473 hasConceptScore W2761874473C164155591 @default.
- W2761874473 hasConceptScore W2761874473C168773769 @default.
- W2761874473 hasConceptScore W2761874473C199360897 @default.
- W2761874473 hasConceptScore W2761874473C2778770139 @default.
- W2761874473 hasConceptScore W2761874473C33923547 @default.
- W2761874473 hasConceptScore W2761874473C41008148 @default.
- W2761874473 hasConceptScore W2761874473C54732982 @default.
- W2761874473 hasConceptScore W2761874473C6943359 @default.
- W2761874473 hasConceptScore W2761874473C80444323 @default.
- W2761874473 hasConceptScore W2761874473C94375191 @default.
- W2761874473 hasConceptScore W2761874473C97137487 @default.
- W2761874473 hasLocation W27618744731 @default.
- W2761874473 hasOpenAccess W2761874473 @default.
- W2761874473 hasPrimaryLocation W27618744731 @default.
- W2761874473 hasRelatedWork W1508466043 @default.
- W2761874473 hasRelatedWork W1522613702 @default.
- W2761874473 hasRelatedWork W1601158010 @default.
- W2761874473 hasRelatedWork W2141151670 @default.
- W2761874473 hasRelatedWork W2276124093 @default.
- W2761874473 hasRelatedWork W2370121430 @default.
- W2761874473 hasRelatedWork W254284717 @default.
- W2761874473 hasRelatedWork W2735287568 @default.
- W2761874473 hasRelatedWork W3088531255 @default.
- W2761874473 hasRelatedWork W4241145878 @default.
- W2761874473 isParatext "false" @default.
- W2761874473 isRetracted "false" @default.
- W2761874473 magId "2761874473" @default.
- W2761874473 workType "article" @default.