P

Initializing...

$k$-QSAT with orthogonal projectors of rank at most $r$ and bounded qubit degree is satisfiable (Corollary 16, the paper's setting) · Prove2Me