159 research outputs found

    Quantified Constraints in Twenty Seventeen

    Get PDF
    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
    • …
    corecore