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.