Գրեք սա: Quantified constraints: algorithms and complexity