@misc{indiciaecf06f4eea8c4,
  title = {Reconfiguring Hybrid Systems Using SAT},
  author = {Kaja Balzereit and Oliver Niggemann},
  year = {2021},
  url = {https://arxiv.org/abs/2105.08398},
  note = {Source identifier: 2105.08398}
}