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:1022791,
      author       = {Nalbach, Jasper Kurt Ferdinand and Abraham, Erika},
      title        = {{A} {V}ariant of {N}on-uniform {C}ylindrical {A}lgebraic
                      {D}ecomposition for {R}eal {Q}uantifier {E}limination},
      volume       = {4116},
      address      = {Aachen, Germany},
      publisher    = {RWTH Aachen},
      reportid     = {RWTH-2025-10262},
      series       = {CEUR workshop proceedings},
      pages        = {19-34},
      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          = {DFG project G:(GEPRIS)531314152 - SMT Techniken für
                      arithmetische Theorien (531314152) / GRK 2236 - GRK 2236:
                      Unsicherheit und Randomisierung in Algorithmen, Verifikation
                      und Logik. (282652900)},
      pid          = {G:(GEPRIS)531314152 / G:(GEPRIS)282652900},
      typ          = {PUB:(DE-HGF)7 / PUB:(DE-HGF)8},
      doi          = {10.18154/RWTH-2025-10262},
      url          = {https://publications.rwth-aachen.de/record/1022791},
}