TY - RPRT TI - Towards Completely Characterizing the Complexity of Boolean Nets Synthesis AU - Ronny Tredup AU - Christian Rosenke PY - 2018 UR - https://arxiv.org/abs/1806.03703 ID - 1806.03703 ER -