{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T11:03:44Z","timestamp":1777374224406,"version":"3.51.4"},"reference-count":64,"publisher":"Springer Science and Business Media LLC","issue":"2-4","license":[{"start":{"date-parts":[[2018,9,18]],"date-time":"2018-09-18T00:00:00Z","timestamp":1537228800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2019,4]]},"DOI":"10.1007\/s10472-018-9599-5","type":"journal-article","created":{"date-parts":[[2018,9,17]],"date-time":"2018-09-17T21:31:12Z","timestamp":1537219872000},"page":"147-173","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Towards a better integration of modelers and black box constraint solvers within the product design process"],"prefix":"10.1007","volume":"85","author":[{"given":"Jean-Philippe","family":"Pernot","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dominique","family":"Michelucci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Daniel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3555-9125","authenticated-orcid":false,"given":"Sebti","family":"Foufou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,9,18]]},"reference":[{"key":"9599_CR1","unstructured":"Fiores II 2000\u201303, Character preservation and modelling in aesthetic and engineering design. GROWTH Project GRD-CT-2000-0003. \n                    http:\/\/www.fiores.com"},{"key":"9599_CR2","unstructured":"Aim@Shape: Engineering Design Methods: Strategies Design Product. Advanced and Innovative Models and Tools for the Development of Semantic-Based Systems for Handling, Acquiring, and Processing Knowledge Embedded in Multi-Dimensional Digital Objects. European Network of Excellence Key Action: 2.3.1.7. Semantic-based Knowledge Systems, VI Framework (2004)"},{"key":"9599_CR3","doi-asserted-by":"publisher","first-page":"1187","DOI":"10.1016\/j.advengsoft.2010.07.008","volume":"41","author":"S Ait-Aoudia","year":"2010","unstructured":"Ait-Aoudia, S., Foufou, S.: A 2d geometric constraint solver using a graph reduction method. Adv. Eng. Softw. 41, 1187\u20131194 (2010)","journal-title":"Adv. Eng. Softw."},{"key":"9599_CR4","unstructured":"Ait-Aoudia, S., Jegou, R., Michelucci, D.: Reduction of constraint systems. arXiv:\n                    1405.6131\n                    \n                  . (Third COMPUGRAPHICS 1993, pp. 331\u2013340) (2014)"},{"key":"9599_CR5","volume-title":"Optimization: Principles and Algorithms","author":"M Bierlaire","year":"2015","unstructured":"Bierlaire, M.: Optimization: Principles and Algorithms. EPFL Press, Lausanne (2015)"},{"key":"9599_CR6","unstructured":"Blender.org: Blender for Open source 3D Creation. \n                    https:\/\/www.blender.org\/"},{"key":"9599_CR7","unstructured":"Bonnans, J.F., Gilbert, J.C., Lemar\u00e9chal, C., Sagastiz\u00e1bal, C.A.: Numerical optimization: theoretical and practical aspects. Springer Science & Business Media (2006)"},{"issue":"1","key":"9599_CR8","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1504\/JDR.2006.010810","volume":"5","author":"C Bouchard","year":"2006","unstructured":"Bouchard, C., Aoussat, A., Duchamp, R.: Role of sketching in conceptual design of car styling. Journal of Design Research 5(1), 116\u2013148 (2006)","journal-title":"Journal of Design Research"},{"key":"9599_CR9","doi-asserted-by":"crossref","unstructured":"B\u00fcskens, C., Wassel, D.: The ESA NLP Solver WORHP. In: Fasano, G., Pint\u2019er, J.D. (eds.) Modeling and Optimization in Space Engineering, vol. 73, pp 85\u2013110. Springer, New York (2013)","DOI":"10.1007\/978-1-4614-4469-5_4"},{"key":"9599_CR10","doi-asserted-by":"publisher","first-page":"1190","DOI":"10.1137\/0916069","volume":"16","author":"RH Byrd","year":"1994","unstructured":"Byrd, R.H., Lu, P., Nocedal, J., Zhu, C.: A limited memory algorithm for bound constrained optimization. SIAM J. Sci. Comput. 16, 1190\u20131208 (1994)","journal-title":"SIAM J. Sci. Comput."},{"key":"9599_CR11","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1016\/j.cad.2016.01.003","volume":"74","author":"JD Camba","year":"2016","unstructured":"Camba, J.D., Contero, M., Company, P.: Parametric cad modeling: an analysis of strategies for design reusability. Comput. Aided Des. 74, 18\u201331 (2016)","journal-title":"Comput. Aided Des."},{"issue":"2","key":"9599_CR12","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1142\/S0218654307000993","volume":"13","author":"V Cheutet","year":"2007","unstructured":"Cheutet, V., Daniel, M., Hahmann, S., La Gr\u00e9ca, R., L\u00e9on, J. C., Maculet, R., M\u00e9n\u00e9gaux, D., Sauvage, B.: Constraint modeling for curves and surfaces in CAGD: a survey. Int. J. Shape Model. 13(2), 159\u2013199 (2007)","journal-title":"Int. J. Shape Model."},{"key":"9599_CR13","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1109\/MCG.2002.999786","volume":"22","author":"M Contero","year":"2002","unstructured":"Contero, M., Company, P., Vila, C., Aleixos, N.: Product data quality and collaborative engineering. IEEE Comput. Graph. Appl. 22, 32\u201342 (2002)","journal-title":"IEEE Comput. Graph. Appl."},{"key":"9599_CR14","volume-title":"Engineering Design Methods: Strategies for Design Product","author":"N Cross","year":"2000","unstructured":"Cross, N.: Engineering Design Methods: Strategies for Design Product, 3rd edn. Wiley, Chichester (2000)","edition":"3rd edn."},{"issue":"3","key":"9599_CR15","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1080\/16864360.2013.863510","volume":"11","author":"F Danglade","year":"2014","unstructured":"Danglade, F., Pernot, J.P., V\u00e9ron, P.: On the use of machine learning to defeature CAD models for simulation. Comput.-Aided Des. Applic. 11(3), 358\u2013368 (2014)","journal-title":"Comput.-Aided Des. Applic."},{"key":"9599_CR16","doi-asserted-by":"crossref","unstructured":"Decriteau, D., Pernot, J.P., Daniel, M.: Towards declarative CAD modeler built on top of a CAD modeler. In: Proceedings of CAD\u201915, Computer Aided Design and Applications, pp. 107\u2013112 (2015)","DOI":"10.14733\/cadconfP.2015.94-98"},{"key":"9599_CR17","doi-asserted-by":"crossref","unstructured":"Dufourd, J.F., Mathis, P., Schreck, P.: Formal resolution of geometrical constraint systems by assembling. In: Proceedings of the Fourth ACM Symposium on Solid Modeling and Applications, pp. 271\u2013284. ACM (1997)","DOI":"10.1145\/267734.267804"},{"issue":"1","key":"9599_CR18","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/S0004-3702(97)00070-2","volume":"99","author":"JF Dufourd","year":"1998","unstructured":"Dufourd, J.F., Mathis, P., Schreck, P.: Geometric construction by assembling solved subfigures. Artif. Intell. 99(1), 73\u2013119 (1998)","journal-title":"Artif. Intell."},{"key":"9599_CR19","doi-asserted-by":"crossref","unstructured":"Elber, G., Kim, M.S.: Geometric constraint solver using multivariate rational spline functions. In: Proceedings of the Sixth ACM Symposium on Solid Modeling and Applications, pp 1\u201310. ACM, New York (2001)","DOI":"10.1145\/376957.376958"},{"issue":"1","key":"9599_CR20","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/S0004-3702(00)00061-8","volume":"124","author":"C Essert-Villard","year":"2000","unstructured":"Essert-Villard, C., Schreck, P., Dufourd, J.F.: Sketch-based pruning of a solution space within a formal geometric constraint solver. Artif. Intell. 124(1), 139\u2013159 (2000)","journal-title":"Artif. Intell."},{"key":"9599_CR21","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1115\/1.1481371","volume":"2","author":"C Eva Catalano","year":"2002","unstructured":"Eva Catalano, C., Falcidieno, B., Giannini, F., Monti, M.: A survey of computer-aided modeling tools for aesthetic design. J. Comput. Inf. Sci. Eng. 2, 11\u201320 (2002)","journal-title":"J. Comput. Inf. Sci. Eng."},{"key":"9599_CR22","doi-asserted-by":"crossref","unstructured":"Falcidieno, B., Giannini, F., L\u00e9on, J.-C., Pernot, J.-P.: Processing free form objects within a Product Development Process framework. In: Michopoulos, J.G., Paredis, C.J.J., Rosen, D.W., Vance, J.M. (eds.) Advances in Computers and Information in Engineering Research, vol. 1, pp. 317\u2013344. ASME-Press (2014)","DOI":"10.1115\/1.860328_ch13"},{"key":"9599_CR23","doi-asserted-by":"publisher","DOI":"10.1201\/9781315141473","volume-title":"Dual-Number Methods in Kinematics, Statics and Dynamics","author":"I Fischer","year":"2017","unstructured":"Fischer, I.: Dual-Number Methods in Kinematics, Statics and Dynamics. Routledge, Evanston (2017)"},{"key":"9599_CR24","first-page":"192","volume":"17","author":"S Foufou","year":"2012","unstructured":"Foufou, S., Michelucci, D.: Bernstein basis and its application in solving geometric constraint systems. Journal of Reliable Computing 17, 192\u2013208 (2012)","journal-title":"Journal of Reliable Computing"},{"key":"9599_CR25","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1016\/j.ic.2011.09.006","volume":"216","author":"S Foufou","year":"2012","unstructured":"Foufou, S., Michelucci, D.: Interrogating witnesses for geometric constraint solving. Inf. Comput. 216, 24\u201338 (2012). Special Issue: 8th Conference on Real Numbers and Computers","journal-title":"Inf. Comput."},{"key":"9599_CR26","unstructured":"FreeCAD: FreeCAD: An open-source parametric 3D CAD modeler. \n                    https:\/\/www.freecadweb.org\/"},{"key":"9599_CR27","unstructured":"FreeSHIP: FreeSHIP: Surface Modeling. \n                    https:\/\/sourceforge.net\/projects\/freeship\/"},{"key":"9599_CR28","doi-asserted-by":"crossref","unstructured":"F\u00fcnfzig, C., Michelucci, D., Foufou, S.: Nonlinear systems solver in floating-point arithmetic using lp reduction. In: 2009 SIAM\/ACM Joint Conference on Geometric and Physical Modeling, SPM\u201909, pp 123\u2013134. ACM, New York (2009)","DOI":"10.1145\/1629255.1629271"},{"issue":"14","key":"9599_CR29","doi-asserted-by":"publisher","first-page":"867","DOI":"10.1016\/S0010-4485(99)00074-3","volume":"31","author":"JX Ge","year":"1999","unstructured":"Ge, J.X., Chou, S.C., Gao, X.S.: Geometric constraint satisfaction using optimization methods. Comput.-Aided Des. 31(14), 867\u2013879 (1999)","journal-title":"Comput.-Aided Des."},{"key":"9599_CR30","unstructured":"GeoGebra.org: GeoGebra: Dynamic Mathematics for Learning and Teaching. \n                    https:\/\/www.geogebra.org\/"},{"issue":"3","key":"9599_CR31","doi-asserted-by":"publisher","first-page":"449","DOI":"10.3722\/cadaps.2011.449-464","volume":"8","author":"F Giannini","year":"2011","unstructured":"Giannini, F., Montani, E., Monti, M., Pernot, J.P.: Semantic evaluation and deformation of curves based on aesthetic criteria. Comput.-Aided Des. Applic. 8 (3), 449\u2013464 (2011)","journal-title":"Comput.-Aided Des. Applic."},{"key":"9599_CR32","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.cad.2016.02.002","volume":"75","author":"G Gouaty","year":"2016","unstructured":"Gouaty, G., Fang, L., Michelucci, D., Daniel, M., Pernot, J.P., Raffin, R., Lanquetin, S., Neveu, M.: Variational geometric modeling with black box constraints and DAGs. Comput. Aided Des. 75, 1\u201312 (2016)","journal-title":"Comput. Aided Des."},{"issue":"1","key":"9599_CR33","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1137\/0221008","volume":"21","author":"B Hendrickson","year":"1992","unstructured":"Hendrickson, B.: Conditions for unique graph realizations. SIAM J. Comput. 21 (1), 65\u201384 (1992)","journal-title":"SIAM J. Comput."},{"key":"9599_CR34","volume-title":"Geometric and Solid Modeling: an Introduction","author":"CM Hoffmann","year":"1989","unstructured":"Hoffmann, C.M.: Geometric and Solid Modeling: an Introduction. Morgan Kaufman, San Mateo (1989)"},{"issue":"2-3","key":"9599_CR35","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1006\/jsco.1996.0089","volume":"23","author":"CM Hoffmann","year":"1997","unstructured":"Hoffmann, C.M., Joan-Arinyo, R.: Symbolic constraints in constructive geometric constraint solving. J. Symb. Comput. 23(2-3), 287\u2013299 (1997)","journal-title":"J. Symb. Comput."},{"key":"9599_CR36","doi-asserted-by":"crossref","unstructured":"Hoffmann, C.M., Lomonosov, A., Sitharam, M.: Geometric constraint decomposition. In: Geometric Constraint Solving and Applications, pp. 170\u2013195. Springer (1998)","DOI":"10.1007\/978-3-642-58898-3_9"},{"key":"9599_CR37","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1016\/j.cad.2017.05.019","volume":"90","author":"H Hu","year":"2017","unstructured":"Hu, H., Kleiner, M., Pernot, J.P.: Over-constraints detection and resolution in geometric equation systems. Comput. Aided Des. 90, 84\u201394 (2017)","journal-title":"Comput. Aided Des."},{"key":"9599_CR38","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0249-6","volume-title":"Interval Analysis","author":"L Jaulin","year":"2001","unstructured":"Jaulin, L., Kieffer, M., Didrit, O., Walter, \u00c9.: Interval Analysis. Springer, London (2001)"},{"issue":"05n06","key":"9599_CR39","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1142\/S0218195906002105","volume":"16","author":"C Jermann","year":"2006","unstructured":"Jermann, C., Trombettoni, G., Neveu, B., Mathis, P.: Decomposition of geometric constraint systems: a survey. Int. J. Comput. Geom. Appl. 16(05n06), 379\u2013414 (2006)","journal-title":"Int. J. Comput. Geom. Appl."},{"issue":"1","key":"9599_CR40","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/300776.300780","volume":"18","author":"R Joan-Arinyo","year":"1999","unstructured":"Joan-Arinyo, R., Soto-Riera, A.: Combining constructive and equational geometric constraint-solving techniques. ACM Trans. Graph. (TOG) 18(1), 35\u201355 (1999)","journal-title":"ACM Trans. Graph. (TOG)"},{"key":"9599_CR41","unstructured":"Khorramizadeh, M.: An application of the Dulmage-Mendelsohn decomposition to sparse null space bases of full row rank matrices. In: International Mathematical Forum, vol. 52, pp 2549\u20132554 (2012)"},{"issue":"3","key":"9599_CR42","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/0010-4485(92)90033-7","volume":"24","author":"K Kondo","year":"1992","unstructured":"Kondo, K.: Algebraic method for manipulation of dimensional relationships in geometric models. Comput. Aided Des. 24(3), 141\u2013147 (1992)","journal-title":"Comput. Aided Des."},{"key":"9599_CR43","unstructured":"Kubicki, A., Michelucci, D., Foufou, S.: Witness computation for solving geometric constraint systems. In: Science and Information Conference (SAI), 2014, pp. 759\u2013770. IEEE (2014)"},{"key":"9599_CR44","doi-asserted-by":"crossref","unstructured":"Lesage, D., L\u00e9on, J. C., Sebah, P., Rivi\u00e8re, A.: A proposal of structure for a variational modeler based on functional specifications. In: Gogu, G., Coutellier, D., Chedmail, P., Ray, P. (eds.) Recent Advances in Integrated Design and Manufacturing in Mechanical Engineering, pp. 73\u201384. Springer (2003)","DOI":"10.1007\/978-94-017-0161-7_8"},{"key":"9599_CR45","doi-asserted-by":"crossref","unstructured":"Li, Z., Giannini, F., Pernot, J.P., V\u00e9ron, P., Falcidieno, B.: Re-using heterogeneous data for the conceptual design of shapes in virtual environments. Virtual Reality 21(3), 127\u2013144. Springer (2017)","DOI":"10.1007\/s10055-016-0302-z"},{"key":"9599_CR46","doi-asserted-by":"crossref","unstructured":"Linke, T., Wassel, D., B\u00fcskens, C.: Recent advances in the solution of large nonlinear optimisation. In: Rodrigues, H., Herskovits, J., Soares, C.M., Guedes, J.M. (eds.) Engineering Optimization IV, pp 141\u2013146. Taylor & Francis, New York (2014)","DOI":"10.1201\/b17488-26"},{"key":"9599_CR47","doi-asserted-by":"crossref","unstructured":"Lov\u00e1sz, L., Plummer, M.D.: Matching Theory. American Mathematical Society Providence, USA. ISBN13 9780821847596 (2009)","DOI":"10.1090\/chel\/367"},{"key":"9599_CR48","doi-asserted-by":"crossref","unstructured":"Michelucci, D., Foufou, S.: Interrogating witnesses for geometric constraint solving. In: 2009 SIAM\/ACM Joint Conference on Geometric and Physical Modeling, pp. 343\u2013348. ACM (2009)","DOI":"10.1145\/1629255.1629301"},{"key":"9599_CR49","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1016\/j.cad.2013.11.002","volume":"48","author":"M Moinet","year":"2014","unstructured":"Moinet, M., Mandil, G., Serre, P.: Defining tools to address over-constrained geometric problems in computer aided design. Comput. Aided Des. 48, 42\u201352 (2014)","journal-title":"Comput. Aided Des."},{"issue":"3","key":"9599_CR50","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1016\/j.jsc.2008.04.016","volume":"44","author":"B Mourrain","year":"2005","unstructured":"Mourrain, B., Pavone, J.P.: Subdivision methods for solving polynomial equations. J. Symb. Comput. 44(3), 292\u2013306 (2005)","journal-title":"J. Symb. Comput."},{"key":"9599_CR51","doi-asserted-by":"crossref","unstructured":"Owen, J.C.: Algebraic solution for geometry from dimensional constraints. In: Proceedings of the First ACM Symposium on Solid modeling Foundations and CAD\/CAM Applications, pp. 397\u2013407. ACM (1991)","DOI":"10.1145\/112515.112573"},{"key":"9599_CR52","doi-asserted-by":"crossref","unstructured":"Pernot, J.P., Falcidieno, B., Giannini, F., L\u00e9on, J. C.: A hybrid models deformation tool for free-form shapes manipulation. In: 34Th Design Automation Conference (ASME DETC08-DAC 49524), pp. 647-657. ASME, New-York (2008)","DOI":"10.1115\/DETC2008-49524"},{"issue":"6","key":"9599_CR53","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1016\/j.compind.2008.03.004","volume":"59","author":"JP Pernot","year":"2008","unstructured":"Pernot, J.P., Falcidieno, B., Giannini, F., L\u00e9on, J. C.: Incorporating free-form features in aesthetic and engineering product design: state-of-the-art report. Comput. Ind. 59(6), 626\u2013637 (2008)","journal-title":"Comput. Ind."},{"key":"9599_CR54","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.mechmachtheory.2015.04.003","volume":"91","author":"JF Rameau","year":"2015","unstructured":"Rameau, J.F., Serr\u00e9, P.: Computing mobility condition using Groebner basis. Mech. Mach. Theory 91, 21\u201338 (2015)","journal-title":"Mech. Mach. Theory"},{"issue":"1","key":"9599_CR55","first-page":"19","volume":"7","author":"R Rao","year":"2016","unstructured":"Rao, R.: Jaya: a simple and new optimization algorithm for solving constrained and unconstrained optimization problems. Int. J. Ind. Eng. Comput. 7(1), 19\u201334 (2016)","journal-title":"Int. J. Ind. Eng. Comput."},{"key":"9599_CR56","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898718003","volume-title":"Iterative methods for sparse linear systems","author":"Y Saad","year":"2003","unstructured":"Saad, Y.: Iterative methods for sparse linear systems. SIAM, Philadelphia (2003)"},{"issue":"05n06","key":"9599_CR57","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1142\/S0218195906002129","volume":"16","author":"P Schreck","year":"2006","unstructured":"Schreck, P., Mathis, P.: Geometrical constraint system decomposition: a multi-group approach. Int. J. Comput. Geom. Appl. 16(05n06), 431\u2013442 (2006)","journal-title":"Int. J. Comput. Geom. Appl."},{"issue":"5","key":"9599_CR58","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1016\/j.cad.2006.01.002","volume":"38","author":"P Schreck","year":"2006","unstructured":"Schreck, P., Schramm, \u00c9.: Using invariance under the similarity group to solve geometric constraint systems. Comput. Aided Des. 38(5), 475\u2013484 (2006)","journal-title":"Comput. Aided Des."},{"key":"9599_CR59","doi-asserted-by":"crossref","unstructured":"Serrano, D.: Automatic dimensioning in design for manufacturing. In: Proceedings of the First ACM Symposium on Solid Modeling Foundations and CAD\/CAM Applications, SMA \u201991, pp 379\u2013386. ACM, New York (1991)","DOI":"10.1145\/112515.112568"},{"key":"9599_CR60","doi-asserted-by":"crossref","unstructured":"Solomon, C., Gibson, S.J., Maylin, M.I.S: A new computational methodology for the construction of forensic, facial composites. In: Proceedings of the 3rd IWCF, Netherlands, 2009. Lecture Notes in Computer Science, vol. 5718, pp. 67\u201377. Springer (2009)","DOI":"10.1007\/978-3-642-03521-0_7"},{"key":"9599_CR61","doi-asserted-by":"publisher","DOI":"10.1142\/5763","volume-title":"The Numerical Solution of Systems of Polynomials Arising in Engineering and Science","author":"AJ Sommese","year":"2005","unstructured":"Sommese, A.J., Wampler, C.W. II: The Numerical Solution of Systems of Polynomials Arising in Engineering and Science. World Scientific, Singapore (2005)"},{"key":"9599_CR62","unstructured":"Stiteler, M.: Construction History and Parametrics: Improving Affordability through Intelligent CAD Data Exchange. Chaps program final report, Advance Technology Institute (2004)"},{"issue":"10","key":"9599_CR63","doi-asserted-by":"publisher","first-page":"1234","DOI":"10.1016\/j.cad.2011.06.018","volume":"43","author":"SE Thierry","year":"2011","unstructured":"Thierry, S.E., Schreck, P., Michelucci, D., F\u00fcnfzig, C., G\u00e9nevaux, J. D.: Extensions of the witness method to characterize under-, over-and well-constrained geometric constraint systems. Comput. Aided Des. 43(10), 1234\u20131249 (2011)","journal-title":"Comput. Aided Des."},{"issue":"1","key":"9599_CR64","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/0142-694X(92)80003-H","volume":"13","author":"M Tovey","year":"1992","unstructured":"Tovey, M.: Intuitive and objective processes in automotive design. Des. Stud. 13 (1), 23\u201341 (1992)","journal-title":"Des. Stud."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-018-9599-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-018-9599-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-018-9599-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,17]],"date-time":"2019-09-17T19:11:38Z","timestamp":1568747498000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-018-9599-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,18]]},"references-count":64,"journal-issue":{"issue":"2-4","published-print":{"date-parts":[[2019,4]]}},"alternative-id":["9599"],"URL":"https:\/\/doi.org\/10.1007\/s10472-018-9599-5","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,9,18]]},"assertion":[{"value":"18 September 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}