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{brahm:957774,
      author       = {Ábrahám, Erika and Nalbach, Jasper Kurt Ferdinand and
                      Promies, Valentin Maxim},
      title        = {{A}utomated {E}xercise {G}eneration for {S}atisfiability
                      {C}hecking},
      volume       = {13962},
      address      = {Cham, Switzerland},
      publisher    = {Springer},
      reportid     = {RWTH-2023-04951},
      series       = {Lecture notes in computer science},
      pages        = {1-16},
      year         = {2023},
      comment      = {Formal methods teaching : 5th International Workshop, FMTea
                      2023, Lübeck, Germany, March 6, 2023 : proceedings /
                      Catherine Dubois, Pierluigi San Pietro, editors},
      booktitle     = {Formal methods teaching : 5th
                       International Workshop, FMTea 2023,
                       Lübeck, Germany, March 6, 2023 :
                       proceedings / Catherine Dubois,
                       Pierluigi San Pietro, editors},
      month         = {Mar},
      date          = {2023-03-06},
      organization  = {5. International Workshop on Formal
                       Methods Teaching, Lübeck (Germany), 6
                       Mar 2023 - 6 Mar 2023},
      cin          = {123420 / 080060 / 120000},
      cid          = {$I:(DE-82)123420_20140620$ / $I:(DE-82)080060_20170720$ /
                      $I:(DE-82)120000_20140620$},
      typ          = {PUB:(DE-HGF)7 / PUB:(DE-HGF)8},
      UT           = {WOS:001346427700001},
      doi          = {10.1007/978-3-031-27534-0_1},
      url          = {https://publications.rwth-aachen.de/record/957774},
}