guest ::
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
; ; ;
In
Journal of Logical and Algebraic Methods in Programming 119, Seiten/Artikel-Nr.:100633
2021 & 2020
Received 15 April 2019, Revised 22 November 2020, Accepted 23 November 2020, Available online 27 November 2020
Online
DOI: 10.1016/j.jlamp.2020.100633
DOI: 10.18154/RWTH-2021-02922
URL: https://publications.rwth-aachen.de/record/816049/files/816049.pdf
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Fachgruppe Informatik (120000)
Thematische Einordnung (Klassifikation)
DDC: 004
OpenAccess: 
PDF
Dokumenttyp
Journal Article
Format
online
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85098799338
WOS Core Collection: WOS:000618727200006
OpenAlex: W3010680447
Interne Identnummern
RWTH-2021-02922
Datensatz-ID: 816049
Beteiligte Länder
Germany, UK
Related:
Preprint
Deciding the Consistency of Non-Linear Real Arithmetic Constraints with a Conflict Driven Search Using Cylindrical Algebraic Coverings
Amsterdam [u.a.] : Elsevier Science 41 Seiten (2020) [10.48550/ARXIV.2003.05633]
Files Fulltext by arXiv.org
BibTeX |
EndNote:
XML,
Text |
RIS
; 
; Clarivate Analytics Master Journal List ; Current Contents - Engineering, Computing and Technology ; Essential Science Indicators ; IF < 5 ; JCR ; SCOPUS ; Science Citation Index Expanded ; Web of Science Core Collection
|
The record appears in these collections: |
PDF