BibTeX record conf/vamos/SundermannNBHTS21

• > Home > conf/vamos/SundermannNBHTS21

@inproceedings{DBLP:conf/vamos/SundermannNBHTS21,
  author       = {Chico Sundermann and
                  Michael Nieke and
                  Paul Maximilian Bittner and
                  Tobias He{\ss} and
                  Thomas Th{\"{u}}m and
                  Ina Schaefer},
  editor       = {Paul Gr{\"{u}}nbacher and
                  Christoph Seidl and
                  Deepak Dhungana and
                  Helena Lovasz{-}Bukvova},
  title        = {Applications of {\#}SAT Solvers on Feature Models},
  booktitle    = {VaMoS'21: 15th International Working Conference on Variability Modelling
                  of Software-Intensive Systems, Virtual Event / Krems, Austria, February
                  9-11, 2021},
  pages        = {12:1--12:10},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3442391.3442404},
  doi          = {10.1145/3442391.3442404},
  timestamp    = {Mon, 26 Jun 2023 20:49:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vamos/SundermannNBHTS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}