Computational Examples for Boolean Constraint System Algebras and Nonlocal Games

Entong He (BEng, CompSc); Supervisor: Prof. Yuxiang Yang.

Explore the power of various quantum models in multi-interactive proofs.