1 paper
Andrei A. Bulatov, Stanislav Živný
The Mermin-Peres magic square is a celebrated example of a system of Boolean linear equations that is not (classically) satisfiable but is satisfiable via linear operators on a Hil…