Browsing by Author "Severini, Simone"
Atserias, Albert; Kolaitis, Phokion; Severini, Simone (2019-09)
Open AccessSchaefer introduced a framework for generalized satisfiability problems on the Boolean domain and characterized the computational complexity of such problems. We investigate an algebraization of Schaefer's framework in ...
Atserias, Albert; Mancinska, Laura; Roberson, David E.; Samal, Robert; Severini, Simone; Varvitsiotis, Antonios (2019-05)
Restricted access - publisher's policyWe introduce the (G,H)-isomorphism game, a new two-player non-local game that classical players can win with certainty iff the graphs G and H are isomorphic. We then define quantum and non-signalling isomorphisms by ...