159 research outputs found
Quantified Constraints in Twenty Seventeen
I present a survey of recent advances in the algorithmic and computational complexity theory of non-Boolean Quantified Constraint Satisfaction Problems, incorporating some more modern research directions
- …