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

A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination

Nalbach, Jasper Kurt Ferdinand (Corresponding author)^RWTH* ; Abraham, Erika^RWTH*

In
SC-Square 2025 : Satisfiability Checking and Symbolic Computation 2025 : Proceedings of the 10th International Workshop on Satisfiability Checking and Symbolic Computation (SC-Square 2025), Collocated with The 30th International Conference on Automated Deduction (CADE 2025) : Stuttgart, Germany, August 2, 2025 / Edited by Mădălina Erașcu, Mikoláš Janota, Seiten/Artikel-Nr: 19-34

2025

Konferenz/Event:10. International Workshop on Satisfiability Checking and Symbolic Computation , Stuttgart , Germany , SC-Square 2025 , 2025-08-02 - 2025-08-02

Konferenz/Event:30. International Conference on Automated Deduction , Stuttgart , Germany , CADE 2025 , 2025-07-28 - 2025-08-02

ImpressumAachen, Germany : RWTH Aachen

Umfang19-34

ReiheCEUR workshop proceedings ; 4116

Online
DOI: 10.18154/RWTH-2025-10262
URL: https://publications.rwth-aachen.de/record/1022791/files/1022791.pdf
URL: https://ceur-ws.org/Vol-4116/
URL: https://ceur-ws.org/Vol-4116/paper114.pdf

Einrichtungen

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

Projekte

1. DFG project G:(GEPRIS)531314152 - SMT Techniken für arithmetische Theorien (531314152) (531314152)
2. GRK 2236 - GRK 2236: Unsicherheit und Randomisierung in Algorithmen, Verifikation und Logik. (282652900) (282652900)

OpenAccess:
PDF
Externe links:
Homepage of book
Volltext

Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online

Sprache
English

Externe Identnummern
WOS Core Collection: WOS:001661539000003

Interne Identnummern
RWTH-2025-10262
Datensatz-ID: 1022791

Beteiligte Länder
Germany