Matches in SemOpenAlex for { <https://semopenalex.org/work/W3033455412> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W3033455412 abstract "In this paper, we present Bitwuzla, our Satisfiability Modulo Theories (SMT) solver for the theories of bit-vectors, floating-points, arrays and uninterpreted functions and their combinations. We discuss selected features and provide details of its configuration and participation in the 2020 edition of the annual SMT competition." @default.
- W3033455412 created "2020-06-12" @default.
- W3033455412 creator A5001172270 @default.
- W3033455412 creator A5002729618 @default.
- W3033455412 date "2020-05-30" @default.
- W3033455412 modified "2023-09-27" @default.
- W3033455412 title "Bitwuzla at the SMT-COMP 2020." @default.
- W3033455412 cites W1518705996 @default.
- W3033455412 cites W1549880792 @default.
- W3033455412 cites W1605798759 @default.
- W3033455412 cites W2039253823 @default.
- W3033455412 cites W2130178878 @default.
- W3033455412 cites W2188259959 @default.
- W3033455412 cites W2238963713 @default.
- W3033455412 cites W2403215379 @default.
- W3033455412 cites W2495572426 @default.
- W3033455412 cites W2600774173 @default.
- W3033455412 cites W2764059762 @default.
- W3033455412 cites W2884110986 @default.
- W3033455412 cites W2930279141 @default.
- W3033455412 hasPublicationYear "2020" @default.
- W3033455412 type Work @default.
- W3033455412 sameAs 3033455412 @default.
- W3033455412 citedByCount "1" @default.
- W3033455412 countsByYear W30334554122020 @default.
- W3033455412 crossrefType "posted-content" @default.
- W3033455412 hasAuthorship W3033455412A5001172270 @default.
- W3033455412 hasAuthorship W3033455412A5002729618 @default.
- W3033455412 hasConcept C11413529 @default.
- W3033455412 hasConcept C118615104 @default.
- W3033455412 hasConcept C164155591 @default.
- W3033455412 hasConcept C168773769 @default.
- W3033455412 hasConcept C173608175 @default.
- W3033455412 hasConcept C18903297 @default.
- W3033455412 hasConcept C199360897 @default.
- W3033455412 hasConcept C2778770139 @default.
- W3033455412 hasConcept C33923547 @default.
- W3033455412 hasConcept C41008148 @default.
- W3033455412 hasConcept C54732982 @default.
- W3033455412 hasConcept C80444323 @default.
- W3033455412 hasConcept C86803240 @default.
- W3033455412 hasConcept C91306197 @default.
- W3033455412 hasConcept C94375191 @default.
- W3033455412 hasConceptScore W3033455412C11413529 @default.
- W3033455412 hasConceptScore W3033455412C118615104 @default.
- W3033455412 hasConceptScore W3033455412C164155591 @default.
- W3033455412 hasConceptScore W3033455412C168773769 @default.
- W3033455412 hasConceptScore W3033455412C173608175 @default.
- W3033455412 hasConceptScore W3033455412C18903297 @default.
- W3033455412 hasConceptScore W3033455412C199360897 @default.
- W3033455412 hasConceptScore W3033455412C2778770139 @default.
- W3033455412 hasConceptScore W3033455412C33923547 @default.
- W3033455412 hasConceptScore W3033455412C41008148 @default.
- W3033455412 hasConceptScore W3033455412C54732982 @default.
- W3033455412 hasConceptScore W3033455412C80444323 @default.
- W3033455412 hasConceptScore W3033455412C86803240 @default.
- W3033455412 hasConceptScore W3033455412C91306197 @default.
- W3033455412 hasConceptScore W3033455412C94375191 @default.
- W3033455412 hasLocation W30334554121 @default.
- W3033455412 hasOpenAccess W3033455412 @default.
- W3033455412 hasPrimaryLocation W30334554121 @default.
- W3033455412 hasRelatedWork W1480909796 @default.
- W3033455412 hasRelatedWork W1579437898 @default.
- W3033455412 hasRelatedWork W1945774704 @default.
- W3033455412 hasRelatedWork W2118922803 @default.
- W3033455412 hasRelatedWork W2141151670 @default.
- W3033455412 hasRelatedWork W216667991 @default.
- W3033455412 hasRelatedWork W2303534036 @default.
- W3033455412 hasRelatedWork W2365431995 @default.
- W3033455412 hasRelatedWork W2396384868 @default.
- W3033455412 hasRelatedWork W2524470663 @default.
- W3033455412 hasRelatedWork W2638593226 @default.
- W3033455412 hasRelatedWork W2767837353 @default.
- W3033455412 hasRelatedWork W2951613327 @default.
- W3033455412 hasRelatedWork W2952723349 @default.
- W3033455412 hasRelatedWork W2963499262 @default.
- W3033455412 hasRelatedWork W3009643191 @default.
- W3033455412 hasRelatedWork W3022618186 @default.
- W3033455412 hasRelatedWork W3081045491 @default.
- W3033455412 hasRelatedWork W3083367323 @default.
- W3033455412 hasRelatedWork W3196865231 @default.
- W3033455412 isParatext "false" @default.
- W3033455412 isRetracted "false" @default.
- W3033455412 magId "3033455412" @default.
- W3033455412 workType "article" @default.