Matches in SemOpenAlex for { <https://semopenalex.org/work/W4302330337> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W4302330337 abstract "Satisfiability modulo theory (SMT) consists in testing the satisfiability of first-order formulas over linear integer or real arithmetic, or other theories. In this survey, we explain the combination of propositional satisfiability and decision procedures for conjunctions known as DPLL(T), and the alternative natural domain approaches. We also cover quantifiers, Craig interpolants, polynomial arithmetic, and how SMT solvers are used in automated software analysis." @default.
- W4302330337 created "2022-10-06" @default.
- W4302330337 creator A5067069157 @default.
- W4302330337 date "2016-09-19" @default.
- W4302330337 modified "2023-09-27" @default.
- W4302330337 title "A Survey of Satisfiability Modulo Theory" @default.
- W4302330337 hasPublicationYear "2016" @default.
- W4302330337 type Work @default.
- W4302330337 citedByCount "0" @default.
- W4302330337 crossrefType "proceedings-article" @default.
- W4302330337 hasAuthorship W4302330337A5067069157 @default.
- W4302330337 hasBestOaLocation W43023303371 @default.
- W4302330337 hasConcept C11413529 @default.
- W4302330337 hasConcept C118615104 @default.
- W4302330337 hasConcept C12707504 @default.
- W4302330337 hasConcept C127413603 @default.
- W4302330337 hasConcept C134652429 @default.
- W4302330337 hasConcept C143936061 @default.
- W4302330337 hasConcept C164155591 @default.
- W4302330337 hasConcept C168773769 @default.
- W4302330337 hasConcept C2780428219 @default.
- W4302330337 hasConcept C33923547 @default.
- W4302330337 hasConcept C41008148 @default.
- W4302330337 hasConcept C54732982 @default.
- W4302330337 hasConcept C76155785 @default.
- W4302330337 hasConcept C78519656 @default.
- W4302330337 hasConcept C80444323 @default.
- W4302330337 hasConcept C94375191 @default.
- W4302330337 hasConceptScore W4302330337C11413529 @default.
- W4302330337 hasConceptScore W4302330337C118615104 @default.
- W4302330337 hasConceptScore W4302330337C12707504 @default.
- W4302330337 hasConceptScore W4302330337C127413603 @default.
- W4302330337 hasConceptScore W4302330337C134652429 @default.
- W4302330337 hasConceptScore W4302330337C143936061 @default.
- W4302330337 hasConceptScore W4302330337C164155591 @default.
- W4302330337 hasConceptScore W4302330337C168773769 @default.
- W4302330337 hasConceptScore W4302330337C2780428219 @default.
- W4302330337 hasConceptScore W4302330337C33923547 @default.
- W4302330337 hasConceptScore W4302330337C41008148 @default.
- W4302330337 hasConceptScore W4302330337C54732982 @default.
- W4302330337 hasConceptScore W4302330337C76155785 @default.
- W4302330337 hasConceptScore W4302330337C78519656 @default.
- W4302330337 hasConceptScore W4302330337C80444323 @default.
- W4302330337 hasConceptScore W4302330337C94375191 @default.
- W4302330337 hasLocation W43023303371 @default.
- W4302330337 hasLocation W43023303372 @default.
- W4302330337 hasLocation W43023303373 @default.
- W4302330337 hasOpenAccess W4302330337 @default.
- W4302330337 hasPrimaryLocation W43023303371 @default.
- W4302330337 hasRelatedWork W1868334863 @default.
- W4302330337 hasRelatedWork W2048447692 @default.
- W4302330337 hasRelatedWork W2156271254 @default.
- W4302330337 hasRelatedWork W2159786179 @default.
- W4302330337 hasRelatedWork W2287565210 @default.
- W4302330337 hasRelatedWork W2741063651 @default.
- W4302330337 hasRelatedWork W2750969041 @default.
- W4302330337 hasRelatedWork W2793679781 @default.
- W4302330337 hasRelatedWork W2951324252 @default.
- W4302330337 hasRelatedWork W2585406248 @default.
- W4302330337 isParatext "false" @default.
- W4302330337 isRetracted "false" @default.
- W4302330337 workType "article" @default.