Matches in SemOpenAlex for { <https://semopenalex.org/work/W2969721123> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2969721123 endingPage "122" @default.
- W2969721123 startingPage "111" @default.
- W2969721123 abstract "SPASS-SATT is a CDCL(LA) solver for linear rational and linear mixed/integer arithmetic. This system description explains its specific features: fast cube tests for integer solvability, bounding transformations for unbounded problems, close interaction between the SAT solver and the theory solver, efficient data structures, and small-clause-normal-form generation. SPASS-SATT is currently one of the strongest systems on the respective SMT-LIB benchmarks." @default.
- W2969721123 created "2019-08-29" @default.
- W2969721123 creator A5029258929 @default.
- W2969721123 creator A5046034681 @default.
- W2969721123 creator A5069366068 @default.
- W2969721123 creator A5086520801 @default.
- W2969721123 date "2019-01-01" @default.
- W2969721123 modified "2023-10-16" @default.
- W2969721123 title "SPASS-SATT" @default.
- W2969721123 cites W1128447031 @default.
- W2969721123 cites W113043827 @default.
- W2969721123 cites W1480909796 @default.
- W2969721123 cites W1489527380 @default.
- W2969721123 cites W1500991862 @default.
- W2969721123 cites W1519551513 @default.
- W2969721123 cites W1521022632 @default.
- W2969721123 cites W1545415851 @default.
- W2969721123 cites W1554551469 @default.
- W2969721123 cites W1980985059 @default.
- W2969721123 cites W2006120207 @default.
- W2969721123 cites W2022846948 @default.
- W2969721123 cites W2125967324 @default.
- W2969721123 cites W2133527541 @default.
- W2969721123 cites W2152498238 @default.
- W2969721123 cites W2159786179 @default.
- W2969721123 cites W221832247 @default.
- W2969721123 cites W2401610261 @default.
- W2969721123 cites W2491318681 @default.
- W2969721123 cites W2613671682 @default.
- W2969721123 cites W2945675489 @default.
- W2969721123 cites W4246691913 @default.
- W2969721123 cites W4298890824 @default.
- W2969721123 cites W4299514408 @default.
- W2969721123 doi "https://doi.org/10.1007/978-3-030-29436-6_7" @default.
- W2969721123 hasPublicationYear "2019" @default.
- W2969721123 type Work @default.
- W2969721123 sameAs 2969721123 @default.
- W2969721123 citedByCount "6" @default.
- W2969721123 countsByYear W29697211232021 @default.
- W2969721123 countsByYear W29697211232022 @default.
- W2969721123 countsByYear W29697211232023 @default.
- W2969721123 crossrefType "book-chapter" @default.
- W2969721123 hasAuthorship W2969721123A5029258929 @default.
- W2969721123 hasAuthorship W2969721123A5046034681 @default.
- W2969721123 hasAuthorship W2969721123A5069366068 @default.
- W2969721123 hasAuthorship W2969721123A5086520801 @default.
- W2969721123 hasBestOaLocation W29697211232 @default.
- W2969721123 hasConcept C114614502 @default.
- W2969721123 hasConcept C126255220 @default.
- W2969721123 hasConcept C154945302 @default.
- W2969721123 hasConcept C199360897 @default.
- W2969721123 hasConcept C2778770139 @default.
- W2969721123 hasConcept C33923547 @default.
- W2969721123 hasConcept C41008148 @default.
- W2969721123 hasConcept C53051483 @default.
- W2969721123 hasConcept C63584917 @default.
- W2969721123 hasConcept C97137487 @default.
- W2969721123 hasConceptScore W2969721123C114614502 @default.
- W2969721123 hasConceptScore W2969721123C126255220 @default.
- W2969721123 hasConceptScore W2969721123C154945302 @default.
- W2969721123 hasConceptScore W2969721123C199360897 @default.
- W2969721123 hasConceptScore W2969721123C2778770139 @default.
- W2969721123 hasConceptScore W2969721123C33923547 @default.
- W2969721123 hasConceptScore W2969721123C41008148 @default.
- W2969721123 hasConceptScore W2969721123C53051483 @default.
- W2969721123 hasConceptScore W2969721123C63584917 @default.
- W2969721123 hasConceptScore W2969721123C97137487 @default.
- W2969721123 hasLocation W29697211231 @default.
- W2969721123 hasLocation W29697211232 @default.
- W2969721123 hasLocation W29697211233 @default.
- W2969721123 hasLocation W29697211234 @default.
- W2969721123 hasOpenAccess W2969721123 @default.
- W2969721123 hasPrimaryLocation W29697211231 @default.
- W2969721123 hasRelatedWork W1967784590 @default.
- W2969721123 hasRelatedWork W2044215988 @default.
- W2969721123 hasRelatedWork W2123715679 @default.
- W2969721123 hasRelatedWork W2320229756 @default.
- W2969721123 hasRelatedWork W2325635326 @default.
- W2969721123 hasRelatedWork W2327497304 @default.
- W2969721123 hasRelatedWork W2329128713 @default.
- W2969721123 hasRelatedWork W2561984558 @default.
- W2969721123 hasRelatedWork W2958975737 @default.
- W2969721123 hasRelatedWork W1595010305 @default.
- W2969721123 isParatext "false" @default.
- W2969721123 isRetracted "false" @default.
- W2969721123 magId "2969721123" @default.
- W2969721123 workType "book-chapter" @default.