${\hat{I}}_2^P$ vs PSpace Dichotomy for the Quantified Constraint Satisfaction Problem

Dmitriy Zhuk

The Quantified Constraint Satisfaction Problem is the problem of evaluating a sentence with both quantifiers, over relations from some constraint language, with conjunction as the…