Matches in SemOpenAlex for { <https://semopenalex.org/work/W4385452208> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W4385452208 abstract "We present an effective procedure for solving of the so-called $delta-$satisfiability modulo theory (SMT) problem over the reals. Our methods are supported by the special approach to the exact real arithmetic: constructive analysis. First, we present an alternative proof of the decidability of the bounded $delta-$SMT problem within our framework and an efficient branch-and-bound algorithm, which is based on the rational interval arithmetic. We provide some initial experiments to demonstrate the applicability of the derived solver. Finally, we discuss potential extensions and possible optimizations of the suggested algorithm." @default.
- W4385452208 created "2023-08-02" @default.
- W4385452208 creator A5050202669 @default.
- W4385452208 creator A5063478376 @default.
- W4385452208 creator A5079468064 @default.
- W4385452208 date "2023-06-13" @default.
- W4385452208 modified "2023-10-16" @default.
- W4385452208 title "Extraction of a computer-certified SMT solver for nonlinear theories" @default.
- W4385452208 doi "https://doi.org/10.23919/ecc57647.2023.10178209" @default.
- W4385452208 hasPublicationYear "2023" @default.
- W4385452208 type Work @default.
- W4385452208 citedByCount "0" @default.
- W4385452208 crossrefType "proceedings-article" @default.
- W4385452208 hasAuthorship W4385452208A5050202669 @default.
- W4385452208 hasAuthorship W4385452208A5063478376 @default.
- W4385452208 hasAuthorship W4385452208A5079468064 @default.
- W4385452208 hasConcept C11413529 @default.
- W4385452208 hasConcept C118615104 @default.
- W4385452208 hasConcept C134306372 @default.
- W4385452208 hasConcept C152062344 @default.
- W4385452208 hasConcept C153269930 @default.
- W4385452208 hasConcept C16221470 @default.
- W4385452208 hasConcept C164155591 @default.
- W4385452208 hasConcept C168773769 @default.
- W4385452208 hasConcept C191252586 @default.
- W4385452208 hasConcept C199360897 @default.
- W4385452208 hasConcept C2778701210 @default.
- W4385452208 hasConcept C2778770139 @default.
- W4385452208 hasConcept C33923547 @default.
- W4385452208 hasConcept C34388435 @default.
- W4385452208 hasConcept C41008148 @default.
- W4385452208 hasConcept C54732982 @default.
- W4385452208 hasConcept C80444323 @default.
- W4385452208 hasConcept C94375191 @default.
- W4385452208 hasConcept C98045186 @default.
- W4385452208 hasConceptScore W4385452208C11413529 @default.
- W4385452208 hasConceptScore W4385452208C118615104 @default.
- W4385452208 hasConceptScore W4385452208C134306372 @default.
- W4385452208 hasConceptScore W4385452208C152062344 @default.
- W4385452208 hasConceptScore W4385452208C153269930 @default.
- W4385452208 hasConceptScore W4385452208C16221470 @default.
- W4385452208 hasConceptScore W4385452208C164155591 @default.
- W4385452208 hasConceptScore W4385452208C168773769 @default.
- W4385452208 hasConceptScore W4385452208C191252586 @default.
- W4385452208 hasConceptScore W4385452208C199360897 @default.
- W4385452208 hasConceptScore W4385452208C2778701210 @default.
- W4385452208 hasConceptScore W4385452208C2778770139 @default.
- W4385452208 hasConceptScore W4385452208C33923547 @default.
- W4385452208 hasConceptScore W4385452208C34388435 @default.
- W4385452208 hasConceptScore W4385452208C41008148 @default.
- W4385452208 hasConceptScore W4385452208C54732982 @default.
- W4385452208 hasConceptScore W4385452208C80444323 @default.
- W4385452208 hasConceptScore W4385452208C94375191 @default.
- W4385452208 hasConceptScore W4385452208C98045186 @default.
- W4385452208 hasLocation W43854522081 @default.
- W4385452208 hasOpenAccess W4385452208 @default.
- W4385452208 hasPrimaryLocation W43854522081 @default.
- W4385452208 hasRelatedWork W1505526588 @default.
- W4385452208 hasRelatedWork W1602210665 @default.
- W4385452208 hasRelatedWork W1868334863 @default.
- W4385452208 hasRelatedWork W1945774704 @default.
- W4385452208 hasRelatedWork W3014139035 @default.
- W4385452208 hasRelatedWork W3157401082 @default.
- W4385452208 hasRelatedWork W4295885746 @default.
- W4385452208 hasRelatedWork W4298483060 @default.
- W4385452208 hasRelatedWork W4300638632 @default.
- W4385452208 hasRelatedWork W2098505979 @default.
- W4385452208 isParatext "false" @default.
- W4385452208 isRetracted "false" @default.
- W4385452208 workType "article" @default.