Eastman, C. M., 1973, “Automated Space Planning,” Artif. Intell., 4(1), pp. 41–64.

[CrossRef]Medjdoub, B., and Yannou, B., 2000, “Separating Topology and Geometry in Space Planning,” Comput.-Aided Des., 32(1), pp. 39–61.

[CrossRef]Dohmen, M., 1995, “A Survey of Constraint Satisfaction Techniques for Geometric Modeling,” Comput. Graphics, 19(6), pp. 831–845.

[CrossRef]Yannou, B., Moreno, F., Thevenot, H. J., and Simpson, T. W.,2005, “Faster Generation of Feasible Design Points,” Proceedings of International Design Engineering Technical Conferences and Computers and Information in Engineering Conference (IDETC/CIE2005), pp. 355–363.

Titus, N., and Ramani, K., 2005, “Design Space Exploration Using Constraint Satisfaction,” Papers From the Configuration Workshop at the 19th International Joint Conference on Artificial Intelligence (IJCAI'05), pp. 31–36.

Sébastian, P., Chenouard, R., Nadeau, J. P., and Fischer, X., 2007, “The Embodiment Design Constraint Satisfaction Problem of the BOOTSTRAP Facing Interval Analysis and Genetic Algorithm Based Decision Support Tools,” Int. J. Interact. Des. Manuf., 1, pp. 99–106.

[CrossRef]Panchal, J. H., Gero Fernández, M., Paredis, C. J. J., Allen, J. K., and Mistree, F., 2007, “An Interval-Based Constraint Satisfaction (IBCS) Method for Decentralized, Collaborative Multifunctional Design,” Concurr. Eng. Res. Appl., 15(3), pp. 309–323.

[CrossRef]Yvars, P. A., 2009, “A CSP Approach for the Network of Product Lifecycle Constraints Consistency in a Collaborative Design Context,” Eng. Applic. Artif. Intell., 22(6), pp. 961–970.

[CrossRef]Lottaz, C., Sam-Haroud, D., Faltings, B., and Smith, I.,1998, “Constraint Techniques for Collaborative Design,” Proceedings of IEEE International Conference on Tools With Artificial Intelligence, pp. 34–41.

Devanathan, S., and Ramani, K., 2010, “Creating Polytope Representations of Design Spaces for Visual Exploration Using Consistency Techniques,” ASME J. Mech. Des., 132(8), p. 081011.

[CrossRef]Yan, X.-T., and Sawada, H., 2006, “A Framework for Supporting Multidisciplinary Engineering Design Exploration and Life-Cycle Design Using Underconstrained Problem Solving,” Artif. Intell. Eng. Des. Anal. Manuf., 20(4), pp. 329–350.

[CrossRef]Sam-Haroud, D., and Faltings, B., 1996, “Consistency Techniques for Continuous Constraints,” Constraints, 1(1–2), pp. 85–118.

[CrossRef]Börner, F., Bulatov, A., Jeavons, P., and Krokhin, A., 2003, “Quantified Constraints: Algorithms and Complexity,” Comp. Sci. Logic, 2803, pp. 58–70.

Dantan, Y. J., 2005, “Tolerance Synthesis: Quantifier Notion and Virtual Boundary,” Comput.-Aided Des., 37, pp. 231–240.

[CrossRef]Qureshi, A. J., Dantan, J. Y., Bruyere, J., and Bigot, R., 2010, “Set Based Robust Design of Mechanical Systems Using the Quantifier Constraint Satisfaction Algorithm,” Eng. Applic. Artif. Intell., 23(7), pp. 1173–1186.

[CrossRef]Wang, Y., 2008, “Interpretable Interval Constraint Solvers in Semantic Tolerance Analysis,” Comput.-Aided Des. Appl., 5, pp. 654–666.

[CrossRef]Wang, Y., 2008, “Closed-Loop Analysis in Semantic Tolerance Modeling,” ASME J. Mech. Des., 130(6), p. 061701.

[CrossRef]Dantan, J. Y., and Qureshi, A. J., 2009, “Worst-Case and Statistical Tolerance Analysis Based on Quantified Constraint Satisfaction Problems and Monte Carlo Simulation,” Comput.-Aided Des., 41(1), pp. 1–12.

[CrossRef]Benhamou, F., Goualard, F., Languenou, E., and Cheristie, M., 2004, “Interval Constraint Solving for Camera Control and Motion Planning,” ACM Trans. Comput. Logic, 5(4), pp. 732–767.

[CrossRef]Jirstrand, M., 1997, “Nonlinear Control System Design by Quantifier Elimination,” J. Symb. Comput., 24, pp. 137–152.

[CrossRef]Herrero, P., Sainz, M. A., Vehi, J., and Jaulin, L., 2005, “Quantified Set Inversion Algorithm With Applications to Control,” Reliab. Comput., 11(5), pp. 369–382.

[CrossRef]Herrero, P., Sainz, M. Á., Vehí, J., and Jaulin, L.,2004, “Quantified Set Inversion With Applications to Control,” Proceedings of IEEE International Symposium on Computer Aided Control Systems Design, pp. 179–183.

Ratschan, S., and Vehı, J.,2003, “Robust Pole Clustering of Parametric Uncertain Systems Using Interval Methods,” Proceedings of the 4th IFAC Symposium on Robust Control Design, S.Bittanti, and P.Colaneri, eds., pp. 323–328.

Benedetti, M., Lallouet, A., and Vautard, J., 2008, “Modeling Adversary Scheduling With QCSP+,” Proceedings of the 23rd Annual ACM Symposium on Applied Computing, ACM Press, pp. 151–155.

Benedetti, M., Lallouet, A., and Vautard, J.,2007, “QCSP made Practical by Virtue of Restricted Quantification,” Proceedings of the 20th International Joint Conference on Artiffcial Intelligence (IJCAI 2007), pp. 38–43.

Sachenbacher, M., and Maier, P., 2008, “Test Strategy Generation Using Quantified CSPs,” Proceedings of the 14th International Conference on Pingciples and Prractice of Active of Constraint Programming (CP-08), P. J.Stuckey, ed., Springer, New York, pp. 566–570.

Sachenbacher, M., and Schwoon, S., 2008, “Model-Based Testing Using Quantified CSPs: A Map,” Papers From the Workshop at the ECAI 2008 on Model-Based Systems, pp. 37–41.

Gardeñes, E., Sainz, M. Á., Jorba, L., Calm, R., Estela, R., Mielgo, H., and Trepat, A., 2001, “Modal Intervals,” Reliab. Comput., 7(2), pp. 77–111.

[CrossRef]Dimitrova, N. S., Markov, S. M., and Popova, E. D., 1992, “Extended Interval Arithmetics: New Results and Applications,” L.Atanassova and J.Herzberger, eds., Comp. Arith. Enclosure Methods, Elsevier Sci. Publishers, pp. 225–232.

Simpson, T. W., Siddique, Z., and Jiao, J., 2006, *Product Platform and Product Family Design: Methods and Applications*, Springer-Verlag, New York.

Nayak, R. U., Chen, W., and Simpson, T. W., 2002, “A Variation-Based Method for Product Family Design,” Eng. Optimiz., 34(1), pp. 65–81.

[CrossRef]Messac, A., Martinez, M. P., and Simpson, T. W., 2002, “Effective Product Family Design Using Physical Programming,” Eng. Optimiz., 34(3), pp. 245–261.

[CrossRef]Kaucher, E., 1980, “Interval Analysis in the Extended Interval Space IR,” Comput. Suppl., 2, pp. 33–49.

[CrossRef]Mackworth, A. K., and Eugnene, C. F., 1985, “The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems,” Artif. Intell., 25(1), pp. 65–73.

[CrossRef]Golomb, S. W., and Baumert, L. D., 1965, “Backtrack Programming,” J. ACM, 12(4), pp. 516–524.

[CrossRef]Haralick, R., and Elliott, G., 1980, “Increasing Tree Search Efficiency for Constraint Satisfaction Problems,” Artif. Intell., 14, pp. 263–313.

[CrossRef]Sabin, D., and Freuder, E. C.,1994, “Contradicting Conventional Wisdom in Constraint Satisfaction,” Proceedings of the 11th European Conference on Artifcial Intelligence (ECAI-94), A. G.Cohn, ed., John Wiley and Sons, UK, pp. 125–129.

Apt, K. R., 1999, “The Essence of Constraint Propagation,” Theor. Comput. Sci., 221(1–2), pp. 179–210.

[CrossRef]Benhamou, F., Goualard, F., Granvilliers, L., and Puget, J.-F.,1999, “Revising Hull and Box Consistency,” Proceedings of the 16th Iinternational Conference on Logic Programming, MIT Press, pp. 230–244.

Benhamou, F., and Granvilliers, L., 2006, “Continuous and Interval Constraints,” *Handbook of Constraint Programming*, F.Rossi, P.Van Beek, and T.Walsh, eds., Elsevier, UK, pp. 574–604.

Mamoulis, N., and Stergiou, K.,2004, “Algorithms for Quantified Constraint Satisfaction Problems,” Proceedings of the 10th International Conference on Pingciples and Prractice of Active of Constraint Programming (CP-04), M.Wallace, ed., Springer, New York, pp. 752–756.

Gent, I. P., Nightingale, P., and Stergiou, K.,2005, “QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems,” Proceedings of the 19th International Joint Conference on Artificial Intelligence, Lawrence Erlbaum Asspciates LTD., pp. 138–143.

Gent, I. P., Nightingale, P., Rowley, A., and Stergiou, K., 2008, “Solving Quantified Constraint Satisfaction Problems,” Artif. Intell., 172(6–7), pp. 738–771.

[CrossRef]Bordeaux, L., Cadoli, M., and Mancini, T.,2005, “CSP Properties for Quantified Constraints: Definitions and Complexity,” Proceedings of the 20th National Conference on Artificial Intelligence (AAAI-05), AAAI Press, pp. 360–366.

Collins, G. E.,1975, “Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition,” Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages, pp. 134–183.

Leonid, L.,2000, “Variable Independence, Quantifier Elimination, and Constraint Representations,” Proceedings of the 27th International Colloquium Automata, Languages and Programming, U.Montanari, J. D. P.Rolim, and E.Welzl, eds., Springer-Verlag, pp. 260–271.

John, K. A., and Chakraborty, S., 2011, “A Quantifier Elimination Algorithm for Linear Modular Equations and Disequations,” Comput. Aided Verification, 6806, pp. 486–503.

[CrossRef]Kupriyanova, L., 1995, “Inner Estimation of the United Solution Set of Interval Linear Algebraic System,” Reliab. Comput., 1(1), pp. 15–31.

[CrossRef]Shary, S. P., 1996, “Algebraic Approach to the Interval Linear Static Identification, Tolerance, and Control Problems, or One More Application of Kaucher Arithmetic,” Reliab. Comput., 2(1), pp. 3–33.

[CrossRef]Shary, S. P., 2002, “A New Technique in Systems Analysis Under Interval Uncertainty and Ambiguity,” Reliab. Comput., 8(5), pp. 321–418.

[CrossRef]Goldsztejn, A., 2005, “A Right-Preconditioning Process for the Formal–Algebraic Approach to Inner and Outer Estimation of AE-Solution Sets,” Reliab. Comput., 11(6), pp. 443–478.

[CrossRef]Grandon, C., and Goldsztejn, A., 2006, “Inner Approximation of Distance Constraints With Existential Quantification of Parameters,” ACM Symposium on Applied Computing, pp. 1660–1661.

Goldsztejn, A., and Jaulin, L., 2006, “Inner and Outer Approximations of Existentially Quantified Equality Constraints,” Proceedings of the 16th international Conference on Principles and Practice of Constraint Programming, F.Benhamou, ed., Springer, NewYork, pp. 189–202.

Goldsztejn, A.,2006, “A Branch and Prune Algorithm for the Approximation of Non-Linear AE-Solution Sets,” Proceedings the 21th ACM Symposium on Applied computing (SAC-06), pp. 1650–1654.

Goldsztejn, A., and Chabert, G., 2007, “A Generalized Interval LU Decomposition for the Solution of Interval Linear Systems,” Numer. Methods Appl., 4310, pp. 312–319.

[CrossRef]Goldsztejn, A., Michel, C., and Rueher, M., 2008, “Efficient Handling of Universally Quantified Inequalities,” Constraint, 14(1), pp. 117–135.

[CrossRef]Moore, R. E., 1966, *Interval Analysis*, Pretince Hall, New Jersey.

Sobek, D. K., Ward, A. C., and Liker, J. K., 1999, “Toyota's Principles of Set-Based Concurrent Engineering,” Sloan Manage. Rev., 40(2), pp. 67–84.

Moore, R. E., Kearfott, R. B., and Cloud, M. J., 2009, *Introduction to Interval Analysis*, Society for Industrial Mathematics, Philadelphia, PA.

Kim, H. M., Rideout, D. G., Papalambros, P. Y., and Stein, J. L., 2003, “Analytical Target Cascading in Automotive Vehicle Design,” ASME J. Mech. Des., 125(3), pp. 481–489.

[CrossRef]Wong, J. Y., 2001, *Theory of Ground Vehicles*, Wiley-Interscience, New York.