Return to Article Details Compositional Model Repositories via Dynamic Constraint Satisfaction with Order-of-Magnitude Preferences Download Download PDF