TY - RPRT TI - On the hardness of conversion from entangled proof into separable one AU - Seiseki Akibue AU - Go Kato AU - Seiichiro Tani PY - 2024 UR - https://arxiv.org/abs/2402.08981 ID - 2402.08981 ER -