Design Space Exploration as Quantified Satisfaction