P
Initializing...
Eqs. (10)–(13): the GHZ constraints admit no ±1 assignment · Prove2Me