@inproceedings{6912,
  author       = {Balzereit, Kaja and Niggemann, Oliver},
  booktitle    = {2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS)},
  location     = {Tampere, Finland},
  pages        = {461--468},
  publisher    = {IEEE},
  title        = {{Automated Reconfiguration of Cyber-Physical Production Systems using Satisfiability Modulo Theories}},
  doi          = {10.1109/ICPS48405.2020.9274707},
  year         = {2020},
}