3XOR Games with Perfect Commuting Operator Strategies Have Perfect Tensor Product Strategies and are Decidable in Polynomial Time
Communications in mathematical physics/Communications in Mathematical Physics