Matches in SemOpenAlex for { <https://semopenalex.org/work/W2158602337> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2158602337 abstract "Deciding satisfiability in the theory of arrays, particularly in combination with bit-vectors, is essential for software and hardware verification. We precisely describe how the lemmas on demand approach can be applied to this decision problem. In particular, we show how our new propagation based algorithm can be generalized to the extensional theory of arrays. Our implementation achieves competitive performance." @default.
- W2158602337 created "2016-06-24" @default.
- W2158602337 creator A5054608101 @default.
- W2158602337 creator A5082596567 @default.
- W2158602337 date "2008-07-07" @default.
- W2158602337 modified "2023-10-16" @default.
- W2158602337 title "Lemmas on demand for the extensional theory of arrays" @default.
- W2158602337 cites W1490156001 @default.
- W2158602337 cites W1511737804 @default.
- W2158602337 cites W1561147151 @default.
- W2158602337 cites W2158602337 @default.
- W2158602337 doi "https://doi.org/10.1145/1512464.1512467" @default.
- W2158602337 hasPublicationYear "2008" @default.
- W2158602337 type Work @default.
- W2158602337 sameAs 2158602337 @default.
- W2158602337 citedByCount "12" @default.
- W2158602337 countsByYear W21586023372012 @default.
- W2158602337 countsByYear W21586023372013 @default.
- W2158602337 countsByYear W21586023372014 @default.
- W2158602337 countsByYear W21586023372017 @default.
- W2158602337 countsByYear W21586023372021 @default.
- W2158602337 crossrefType "proceedings-article" @default.
- W2158602337 hasAuthorship W2158602337A5054608101 @default.
- W2158602337 hasAuthorship W2158602337A5082596567 @default.
- W2158602337 hasConcept C11413529 @default.
- W2158602337 hasConcept C136137745 @default.
- W2158602337 hasConcept C151730666 @default.
- W2158602337 hasConcept C164155591 @default.
- W2158602337 hasConcept C168773769 @default.
- W2158602337 hasConcept C199360897 @default.
- W2158602337 hasConcept C2777904410 @default.
- W2158602337 hasConcept C41008148 @default.
- W2158602337 hasConcept C77928131 @default.
- W2158602337 hasConcept C80444323 @default.
- W2158602337 hasConcept C86803240 @default.
- W2158602337 hasConceptScore W2158602337C11413529 @default.
- W2158602337 hasConceptScore W2158602337C136137745 @default.
- W2158602337 hasConceptScore W2158602337C151730666 @default.
- W2158602337 hasConceptScore W2158602337C164155591 @default.
- W2158602337 hasConceptScore W2158602337C168773769 @default.
- W2158602337 hasConceptScore W2158602337C199360897 @default.
- W2158602337 hasConceptScore W2158602337C2777904410 @default.
- W2158602337 hasConceptScore W2158602337C41008148 @default.
- W2158602337 hasConceptScore W2158602337C77928131 @default.
- W2158602337 hasConceptScore W2158602337C80444323 @default.
- W2158602337 hasConceptScore W2158602337C86803240 @default.
- W2158602337 hasLocation W21586023371 @default.
- W2158602337 hasOpenAccess W2158602337 @default.
- W2158602337 hasPrimaryLocation W21586023371 @default.
- W2158602337 hasRelatedWork W1505526588 @default.
- W2158602337 hasRelatedWork W1512621320 @default.
- W2158602337 hasRelatedWork W1544167035 @default.
- W2158602337 hasRelatedWork W1868334863 @default.
- W2158602337 hasRelatedWork W1936354298 @default.
- W2158602337 hasRelatedWork W2238963713 @default.
- W2158602337 hasRelatedWork W2275420537 @default.
- W2158602337 hasRelatedWork W2580260898 @default.
- W2158602337 hasRelatedWork W2735287568 @default.
- W2158602337 hasRelatedWork W2930007110 @default.
- W2158602337 isParatext "false" @default.
- W2158602337 isRetracted "false" @default.
- W2158602337 magId "2158602337" @default.
- W2158602337 workType "article" @default.