P
Initializing...
Quantum local lemma for $k$-QSAT on $n$ qubits, operator form (Corollary 16) · Prove2Me