h1

h2

h3

h4

h5
h6
%0 Conference Paper
%A Nalbach, Jasper Kurt Ferdinand
%A Michel, Lucas
%A Abraham, Erika
%A Brown, Christopher W.
%A Davenport, James H.
%A England, Matthew
%A Mathonet, Pierre
%A Zénaïdi, Naïm
%T Projective Delineability for Single Cell Construction
%V 4116
%C Aachen, Germany
%I RWTH Aachen
%M RWTH-2025-10263
%B CEUR workshop proceedings
%P 41-54
%D 2025
%< 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
%B 10. International Workshop on Satisfiability Checking and Symbolic Computation
%C 2 Aug 2025 - 2 Aug 2025, Stuttgart (Germany)
Y2 2 Aug 2025 - 2 Aug 2025
M2 Stuttgart, Germany
%F PUB:(DE-HGF)7 ; PUB:(DE-HGF)8
%9 Contribution to a bookContribution to a conference proceedings
%R 10.18154/RWTH-2025-10263
%U https://publications.rwth-aachen.de/record/1022792