h1

% IMPORTANT: The following is UTF-8 encoded.  This means that in the presence
% of non-ASCII characters, it will not work with BibTeX 0.99 or older.
% Instead, you should use an up-to-date BibTeX implementation like “bibtex8” or
% “biber”.

@INPROCEEDINGS{Nalbach:1022792,
      author       = {Nalbach, Jasper Kurt Ferdinand and Michel, Lucas and
                      Abraham, Erika and Brown, Christopher W. and Davenport,
                      James H. and England, Matthew and Mathonet, Pierre and
                      Zénaïdi, Naïm},
      title        = {{P}rojective {D}elineability for {S}ingle {C}ell
                      {C}onstruction},
      volume       = {4116},
      address      = {Aachen, Germany},
      publisher    = {RWTH Aachen},
      reportid     = {RWTH-2025-10263},
      series       = {CEUR workshop proceedings},
      pages        = {41-54},
      year         = {2025},
      comment      = {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},
      booktitle     = {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},
      month         = {Aug},
      date          = {2025-08-02},
      organization  = {10. International Workshop on
                       Satisfiability Checking and Symbolic
                       Computation, Stuttgart (Germany), 2 Aug
                       2025 - 2 Aug 2025},
      cin          = {123420 / 080060 / 120000},
      cid          = {$I:(DE-82)123420_20140620$ / $I:(DE-82)080060_20170720$ /
                      $I:(DE-82)120000_20140620$},
      pnm          = {GRK 2236 - GRK 2236: Unsicherheit und Randomisierung in
                      Algorithmen, Verifikation und Logik. (282652900) / DFG
                      project G:(GEPRIS)531314152 - SMT Techniken für
                      arithmetische Theorien (531314152)},
      pid          = {G:(GEPRIS)282652900 / G:(GEPRIS)531314152},
      typ          = {PUB:(DE-HGF)7 / PUB:(DE-HGF)8},
      doi          = {10.18154/RWTH-2025-10263},
      url          = {https://publications.rwth-aachen.de/record/1022792},
}