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