h1

001022792 001__ 1022792
001022792 005__ 20260303082226.0
001022792 0247_ $$2ISSN$$a1613-0073
001022792 0247_ $$2datacite_doi$$a10.18154/RWTH-2025-10263
001022792 0247_ $$2WOS$$aWOS:001661539000005
001022792 037__ $$aRWTH-2025-10263
001022792 041__ $$aEnglish
001022792 1001_ $$0P:(DE-82)IDM04423$$aNalbach, Jasper Kurt Ferdinand$$b0$$eCorresponding author$$urwth
001022792 1112_ $$a10. International Workshop on Satisfiability Checking and Symbolic Computation$$cStuttgart$$d2025-08-02 - 2025-08-02$$gSC-Square 2025$$wGermany
001022792 245__ $$aProjective Delineability for Single Cell Construction$$honline
001022792 260__ $$aAachen, Germany$$bRWTH Aachen$$c2025
001022792 29510 $$aSC-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
001022792 300__ $$a41-54
001022792 3367_ $$033$$2EndNote$$aConference Paper
001022792 3367_ $$0PUB:(DE-HGF)7$$2PUB:(DE-HGF)$$aContribution to a book
001022792 3367_ $$0PUB:(DE-HGF)8$$2PUB:(DE-HGF)$$aContribution to a conference proceedings$$bcontrib$$mcontrib
001022792 3367_ $$2BibTeX$$aINPROCEEDINGS
001022792 3367_ $$2DRIVER$$aconferenceObject
001022792 3367_ $$2DataCite$$aOutput Types/Conference Paper
001022792 3367_ $$2ORCID$$aCONFERENCE_PAPER
001022792 4900_ $$aCEUR workshop proceedings$$v4116
001022792 536__ $$0G:(GEPRIS)282652900$$aGRK 2236 - GRK 2236: Unsicherheit und Randomisierung in Algorithmen, Verifikation und Logik. (282652900)$$c282652900$$x0
001022792 536__ $$0G:(GEPRIS)531314152$$aDFG project G:(GEPRIS)531314152 - SMT Techniken für arithmetische Theorien (531314152)$$c531314152$$x1
001022792 591__ $$aBelgium
001022792 591__ $$aGermany
001022792 591__ $$aUK
001022792 591__ $$aUSA
001022792 7001_ $$aMichel, Lucas$$b1
001022792 7001_ $$0P:(DE-82)IDM00047$$aAbraham, Erika$$b2$$urwth
001022792 7001_ $$aBrown, Christopher W.$$b3
001022792 7001_ $$aDavenport, James H.$$b4
001022792 7001_ $$aEngland, Matthew$$b5
001022792 7001_ $$aMathonet, Pierre$$b6
001022792 7001_ $$aZénaïdi, Naïm$$b7
001022792 7112_ $$a30. International Conference on Automated Deduction$$cStuttgart$$d2025-07-28 - 2025-08-02$$gCADE 2025$$wGermany
001022792 8564_ $$uhttps://ceur-ws.org/Vol-4116/$$yHomepage of book
001022792 8564_ $$uhttps://ceur-ws.org/Vol-4116/paper137.pdf$$yFulltext
001022792 8564_ $$uhttps://publications.rwth-aachen.de/record/1022792/files/1022792.pdf$$yOpenAccess
001022792 909CO $$ooai:publications.rwth-aachen.de:1022792$$popenaire$$popen_access$$pVDB$$pdriver$$pdnbdelivery
001022792 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM04423$$aRWTH Aachen$$b0$$kRWTH
001022792 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM00047$$aRWTH Aachen$$b2$$kRWTH
001022792 915__ $$0StatID:(DE-HGF)0510$$2StatID$$aOpenAccess
001022792 915__ $$0LIC:(DE-HGF)CCBY4$$2HGFVOC$$aCreative Commons Attribution CC BY 4.0
001022792 9201_ $$0I:(DE-82)123420_20140620$$k123420$$lLehr- und Forschungsgebiet Theorie Hybrider Systeme$$x0
001022792 9201_ $$0I:(DE-82)080060_20170720$$k080060$$lGraduiertenkolleg UnRAVeL$$x1
001022792 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x2
001022792 961__ $$c2025-12-03T12:42:38.255675$$x2025-12-03T12:42:38.255675$$z2025-12-03
001022792 9801_ $$aFullTexts
001022792 980__ $$aI:(DE-82)080060_20170720
001022792 980__ $$aI:(DE-82)120000_20140620
001022792 980__ $$aI:(DE-82)123420_20140620
001022792 980__ $$aUNRESTRICTED
001022792 980__ $$aVDB
001022792 980__ $$acontb
001022792 980__ $$acontrib