TY  - RPRT
TI  - Design Space Exploration as Quantified Satisfaction
AU  - Alexander Feldman
AU  - Johan de Kleer
AU  - Ion Matei
PY  - 2021
UR  - https://arxiv.org/abs/1905.02303
ID  - 1905.02303
ER  -