Matches in SemOpenAlex for { <https://semopenalex.org/work/W70797468> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W70797468 endingPage "12" @default.
- W70797468 startingPage "1" @default.
- W70797468 abstract "We present a new calculus where recent model-based decision procedures and techniques can be justified and combined with the standard DPLL(T) approach to satisfiability modulo theories. The new calculus generalizes the ideas found in CDCL-style propositional SAT solvers to the first-order setting." @default.
- W70797468 created "2016-06-24" @default.
- W70797468 creator A5045859619 @default.
- W70797468 creator A5060253003 @default.
- W70797468 date "2013-01-01" @default.
- W70797468 modified "2023-09-30" @default.
- W70797468 title "A Model-Constructing Satisfiability Calculus" @default.
- W70797468 cites W113043827 @default.
- W70797468 cites W1493060511 @default.
- W70797468 cites W1534633719 @default.
- W70797468 cites W1556578161 @default.
- W70797468 cites W1807554065 @default.
- W70797468 cites W1999396796 @default.
- W70797468 cites W2022846948 @default.
- W70797468 cites W2110780548 @default.
- W70797468 cites W2142785340 @default.
- W70797468 cites W2158602337 @default.
- W70797468 cites W2159786179 @default.
- W70797468 cites W4243587093 @default.
- W70797468 doi "https://doi.org/10.1007/978-3-642-35873-9_1" @default.
- W70797468 hasPublicationYear "2013" @default.
- W70797468 type Work @default.
- W70797468 sameAs 70797468 @default.
- W70797468 citedByCount "61" @default.
- W70797468 countsByYear W707974682013 @default.
- W70797468 countsByYear W707974682014 @default.
- W70797468 countsByYear W707974682015 @default.
- W70797468 countsByYear W707974682016 @default.
- W70797468 countsByYear W707974682017 @default.
- W70797468 countsByYear W707974682018 @default.
- W70797468 countsByYear W707974682019 @default.
- W70797468 countsByYear W707974682020 @default.
- W70797468 countsByYear W707974682021 @default.
- W70797468 countsByYear W707974682022 @default.
- W70797468 countsByYear W707974682023 @default.
- W70797468 crossrefType "book-chapter" @default.
- W70797468 hasAuthorship W70797468A5045859619 @default.
- W70797468 hasAuthorship W70797468A5060253003 @default.
- W70797468 hasConcept C100481476 @default.
- W70797468 hasConcept C102993220 @default.
- W70797468 hasConcept C11413529 @default.
- W70797468 hasConcept C118615104 @default.
- W70797468 hasConcept C12707504 @default.
- W70797468 hasConcept C134652429 @default.
- W70797468 hasConcept C143936061 @default.
- W70797468 hasConcept C14523651 @default.
- W70797468 hasConcept C168773769 @default.
- W70797468 hasConcept C199343813 @default.
- W70797468 hasConcept C199360897 @default.
- W70797468 hasConcept C2777686260 @default.
- W70797468 hasConcept C33203268 @default.
- W70797468 hasConcept C33923547 @default.
- W70797468 hasConcept C41008148 @default.
- W70797468 hasConcept C54732982 @default.
- W70797468 hasConcept C62073222 @default.
- W70797468 hasConcept C69562738 @default.
- W70797468 hasConcept C71924100 @default.
- W70797468 hasConcept C76155785 @default.
- W70797468 hasConcept C80444323 @default.
- W70797468 hasConceptScore W70797468C100481476 @default.
- W70797468 hasConceptScore W70797468C102993220 @default.
- W70797468 hasConceptScore W70797468C11413529 @default.
- W70797468 hasConceptScore W70797468C118615104 @default.
- W70797468 hasConceptScore W70797468C12707504 @default.
- W70797468 hasConceptScore W70797468C134652429 @default.
- W70797468 hasConceptScore W70797468C143936061 @default.
- W70797468 hasConceptScore W70797468C14523651 @default.
- W70797468 hasConceptScore W70797468C168773769 @default.
- W70797468 hasConceptScore W70797468C199343813 @default.
- W70797468 hasConceptScore W70797468C199360897 @default.
- W70797468 hasConceptScore W70797468C2777686260 @default.
- W70797468 hasConceptScore W70797468C33203268 @default.
- W70797468 hasConceptScore W70797468C33923547 @default.
- W70797468 hasConceptScore W70797468C41008148 @default.
- W70797468 hasConceptScore W70797468C54732982 @default.
- W70797468 hasConceptScore W70797468C62073222 @default.
- W70797468 hasConceptScore W70797468C69562738 @default.
- W70797468 hasConceptScore W70797468C71924100 @default.
- W70797468 hasConceptScore W70797468C76155785 @default.
- W70797468 hasConceptScore W70797468C80444323 @default.
- W70797468 hasLocation W707974681 @default.
- W70797468 hasOpenAccess W70797468 @default.
- W70797468 hasPrimaryLocation W707974681 @default.
- W70797468 hasRelatedWork W1655360309 @default.
- W70797468 hasRelatedWork W1868334863 @default.
- W70797468 hasRelatedWork W2019408598 @default.
- W70797468 hasRelatedWork W2036966583 @default.
- W70797468 hasRelatedWork W2141010048 @default.
- W70797468 hasRelatedWork W2151523288 @default.
- W70797468 hasRelatedWork W3196303310 @default.
- W70797468 hasRelatedWork W83599154 @default.
- W70797468 hasRelatedWork W2335988281 @default.
- W70797468 hasRelatedWork W2485483011 @default.
- W70797468 isParatext "false" @default.
- W70797468 isRetracted "false" @default.
- W70797468 magId "70797468" @default.
- W70797468 workType "book-chapter" @default.