http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Under-Approximation of a Single Algebraic Cell

Promies, Valentin Maxim (Corresponding author)^RWTH* ; Nalbach, Jasper Kurt Ferdinand^RWTH* ; Ábrahám, Erika^RWTH*

In
PAAR+SC-Square 2024: Practical Aspects of Automated Reasoning and Satisfiability Checking and Symbolic Computation Workshop 2024 : joint proceedings of the 9th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 9th Satisfiability Checking and Symbolic Computation Workshop (SC-Square), 2024, co-located with the 12th International Joint Conference on Automated Reasoning (IJCAR 2024) : Nancy, France, July 2, 2024 / edited by Chris Brown, Daniela Kaufmann, Cláudia Nalon, Alexander Steen, Martin Suda, Seiten/Artikel-Nr: 132-136

2024

Konferenz/Event:9. Workshop on Practical Aspects of Automated Reasoning , Nancy , France , PAAR 2024 , 2024-07-02 - 2024-07-02

Konferenz/Event:12. International Joint Conference on Automated Reasoning 9. Satisfiability Checking and Symbolic Computation Workshop , Nancy Nancy , France France , IJCAR 2024 SC-Square 2024 , 2024-07-02 - 2024-07-02 2024-07-02 - 2024-07-02

ImpressumAachen, Germany : RWTH Aachen

Umfang132-136

ReiheCEUR workshop proceedings ; 3717

Online
URL: https://ceur-ws.org/Vol-3717/
URL: https://ceur-ws.org/Vol-3717/short3.pdf

Einrichtungen

1. Lehr- und Forschungsgebiet Theorie Hybrider Systeme (123420)
2. Fachgruppe Informatik (120000)
3. Graduiertenkolleg UnRAVeL (080060)

Projekte

1. DFG project G:(GEPRIS)531314152 - SMT Techniken für arithmetische Theorien (531314152) (531314152)

External links:
Homepage of book
Fulltext

Dokumenttyp
Abstract (Extended abstract)/Contribution to a book/Contribution to a conference proceedings

Format
online

Sprache
English

Anmerkung
Peer review status of article unknown

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85198636728

Interne Identnummern
RWTH-2024-09042
Datensatz-ID: 994020

Beteiligte Länder
Germany