TY  - RPRT
TI  - Implementations of two Algorithms for the Threshold Synthesis Problem
AU  - Jan-Georg Smaus
AU  - Christian Schilling
AU  - Fabian Wenzelmann
PY  - 2023
UR  - https://arxiv.org/abs/2301.03667
ID  - 2301.03667
ER  -