Solving quantified constraint satisfaction problems with value selection rules