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

Projective Delineability for Single Cell Construction

Nalbach, Jasper Kurt Ferdinand (Corresponding author)^RWTH* ; Michel, Lucas ; Abraham, Erika^RWTH* ; Brown, Christopher W. ; Davenport, James H. ; England, Matthew ; Mathonet, Pierre ; Zénaïdi, Naïm

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: 41-54

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

Umfang41-54

ReiheCEUR workshop proceedings ; 4116

Online
DOI: 10.18154/RWTH-2025-10263
URL: http://publications.rwth-aachen.de/record/1022792/files/1022792.pdf
URL: https://ceur-ws.org/Vol-4116/
URL: https://ceur-ws.org/Vol-4116/paper137.pdf

Einrichtungen

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

Projekte

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

OpenAccess:
PDF
External links:
Homepage of book
Fulltext

Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online

Sprache
English

Interne Identnummern
RWTH-2025-10263
Datensatz-ID: 1022792

Beteiligte Länder
Belgium, Germany, UK, USA