Lorenzo Ciardo

A broad class of computational tasks can be phrased as the problem of determining whether two cooperating players, Alice and Bob, can convince a referee that a given statement involving relations between variables is true. Classic examples include...