engNalbach, Jasper Kurt FerdinandMichel, LucasAbraham, ErikaBrown, Christopher W.Davenport, James H.England, MatthewMathonet, PierreZénaïdi, NaïmProjective Delineability for Single Cell ConstructionAachen, Germany : RWTH Aachen, CEUR workshop proceedings 4116, 41-54 (2025). doi:10.18154/RWTH-2025-10263info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionSC-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áš JanotaSC-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<br/>10. International Workshop on Satisfiability Checking and Symbolic Computation, SC-Square 2025, Stuttgart, Germany, 2025-08-02 - 2025-08-02<br/>30. International Conference on Automated Deduction, CADE 2025, Stuttgart, Germany, 2025-07-28 - 2025-08-02RWTH Aachen2025info:eu-repo/semantics/openAccessDEhttps://publications.rwth-aachen.de/record/1022792https://publications.rwth-aachen.de/search?p=id:%22RWTH-2025-10263%22Researchersinfo:eu-repo/semantics/altIdentifier/issn/1613-0073info:eu-repo/semantics/altIdentifier/doi/10.18154/RWTH-2025-10263info:eu-repo/semantics/altIdentifier/wos/WOS:001661539000005