A I ] 1 3 A ug 2 01 9 Design Space Exploration as Quantified Satisfaction