1022792 20260303082226.0 ISSN 1613-0073 datacite_doi 10.18154/RWTH-2025-10263 WOS WOS:001661539000005 RWTH-2025-10263 English P:(DE-82)IDM04423 Nalbach, Jasper Kurt Ferdinand 0 Corresponding author rwth 10. International Workshop on Satisfiability Checking and Symbolic Computation Stuttgart 2025-08-02 - 2025-08-02 SC-Square 2025 Germany Projective Delineability for Single Cell Construction online Aachen, Germany RWTH Aachen 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 41-54 33 EndNote Conference Paper PUB:(DE-HGF)7 PUB:(DE-HGF) Contribution to a book PUB:(DE-HGF)8 PUB:(DE-HGF) Contribution to a conference proceedings contrib contrib BibTeX INPROCEEDINGS DRIVER conferenceObject DataCite Output Types/Conference Paper ORCID CONFERENCE_PAPER CEUR workshop proceedings 4116 G:(GEPRIS)282652900 GRK 2236 - GRK 2236: Unsicherheit und Randomisierung in Algorithmen, Verifikation und Logik. (282652900) 282652900 0 G:(GEPRIS)531314152 DFG project G:(GEPRIS)531314152 - SMT Techniken für arithmetische Theorien (531314152) 531314152 1 Belgium Germany UK USA Michel, Lucas 1 P:(DE-82)IDM00047 Abraham, Erika 2 rwth Brown, Christopher W. 3 Davenport, James H. 4 England, Matthew 5 Mathonet, Pierre 6 Zénaïdi, Naïm 7 30. International Conference on Automated Deduction Stuttgart 2025-07-28 - 2025-08-02 CADE 2025 Germany https://ceur-ws.org/Vol-4116/ Homepage of book https://ceur-ws.org/Vol-4116/paper137.pdf Fulltext http://publications.rwth-aachen.de/record/1022792/files/1022792.pdf OpenAccess oai:publications.rwth-aachen.de:1022792 dnbdelivery driver VDB open_access openaire I:(DE-588b)36225-6 P:(DE-82)IDM04423 RWTH Aachen 0 RWTH I:(DE-588b)36225-6 P:(DE-82)IDM00047 RWTH Aachen 2 RWTH StatID:(DE-HGF)0510 StatID OpenAccess LIC:(DE-HGF)CCBY4 HGFVOC Creative Commons Attribution CC BY 4.0 I:(DE-82)123420_20140620 123420 Lehr- und Forschungsgebiet Theorie Hybrider Systeme 0 I:(DE-82)080060_20170720 080060 Graduiertenkolleg UnRAVeL 1 I:(DE-82)120000_20140620 120000 Fachgruppe Informatik 2 FullTexts I:(DE-82)080060_20170720 I:(DE-82)120000_20140620 I:(DE-82)123420_20140620 UNRESTRICTED VDB contb contrib