Anfonwch hwn fel neges destun: Quantified constraints: algorithms and complexity