h1

h2

h3

h4

h5
h6
TY  - CONF
AU  - Nalbach, Jasper Kurt Ferdinand
AU  - Michel, Lucas
AU  - Abraham, Erika
AU  - Brown, Christopher W.
AU  - Davenport, James H.
AU  - England, Matthew
AU  - Mathonet, Pierre
AU  - Zénaïdi, Naïm
TI  - Projective Delineability for Single Cell Construction
VL  - 4116
CY  - Aachen, Germany
PB  - RWTH Aachen
M1  - RWTH-2025-10263
T2  - CEUR workshop proceedings
SP  - 41-54
PY  - 2025
T2  - 10. International Workshop on Satisfiability Checking and Symbolic Computation
CY  - 2 Aug 2025 - 2 Aug 2025, Stuttgart (Germany)
Y2  - 2 Aug 2025 - 2 Aug 2025
M2  - Stuttgart, Germany
LB  - PUB:(DE-HGF)7 ; PUB:(DE-HGF)8
DO  - DOI:10.18154/RWTH-2025-10263
UR  - https://publications.rwth-aachen.de/record/1022792
ER  -