@misc{indiciaea1f12f9ea66d,
  title = {Implementations of two Algorithms for the Threshold Synthesis Problem},
  author = {Jan-Georg Smaus and Christian Schilling and Fabian Wenzelmann},
  year = {2023},
  url = {https://arxiv.org/abs/2301.03667},
  note = {Source identifier: 2301.03667}
}