Solving set-valued constraint satisfaction problems