{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T02:25:40Z","timestamp":1761963940244},"reference-count":41,"publisher":"Elsevier BV","issue":"14","license":[{"start":{"date-parts":[[1999,12,1]],"date-time":"1999-12-01T00:00:00Z","timestamp":944006400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer-Aided Design"],"published-print":{"date-parts":[[1999,12]]},"DOI":"10.1016\/s0010-4485(99)00074-3","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T19:04:40Z","timestamp":1027623880000},"page":"867-879","source":"Crossref","is-referenced-by-count":47,"title":["Geometric constraint satisfaction using optimization methods"],"prefix":"10.1016","volume":"31","author":[{"given":"Jian-Xin","family":"Ge","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shang-Ching","family":"Chou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiao-Shan","family":"Gao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"3","key":"10.1016\/S0010-4485(99)00074-3_BIB1","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/0010-4485(88)90019-X","article-title":"Variation of geometries based on a geometric-reasoning method","volume":"20","author":"Aldefeld","year":"1988","journal-title":"Computer Aided Design"},{"key":"10.1016\/S0010-4485(99)00074-3_BIB2","unstructured":"Barford LA. A graphical, language-based editor for generic solid models represented by constraints, PhD dissertation, Department of Computer Science, Cornell University, 1987."},{"key":"10.1016\/S0010-4485(99)00074-3_BIB3","series-title":"Nonlinear programming: theory and algorithms","author":"Bazarra","year":"1993"},{"issue":"4","key":"10.1016\/S0010-4485(99)00074-3_BIB4","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1145\/37402.37429","article-title":"Constraints on parametrized models","volume":"21","author":"Witkin","year":"1987","journal-title":"Computer Graphics"},{"issue":"6","key":"10.1016\/S0010-4485(99)00074-3_BIB5","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1016\/0010-4485(94)00013-4","article-title":"A geometric constraint solver","volume":"27","author":"Bouma","year":"1995","journal-title":"Computer Aided Design"},{"key":"10.1016\/S0010-4485(99)00074-3_BIB6","unstructured":"Bruderlin B. Rule-based geometric modeling, PhD dissertation, Swiss Federal Institute of Technology (ETH) Z\u00fcrich, 1988."},{"issue":"12","key":"10.1016\/S0010-4485(99)00074-3_BIB7","first-page":"740","article-title":"Constraint definition system: a computer algebra based approach to solving geometric problems","volume":"25","author":"Buchanan","year":"1993","journal-title":"Computer Aided Design"},{"key":"10.1016\/S0010-4485(99)00074-3_BIB8","series-title":"Mechanical geometry theorem proving","author":"Chou","year":"1987"},{"key":"10.1016\/S0010-4485(99)00074-3_BIB9","unstructured":"Chou S-C, Gao X-S, Zhang J-Z. A fixpoint approach to automated geometry theorem proving, WSUCS-95-2, Computer Science Department, Wichita State University, 1995."},{"key":"10.1016\/S0010-4485(99)00074-3_BIB10","series-title":"Modern mathematical methods of optimization","year":"1993"},{"issue":"1","key":"10.1016\/S0010-4485(99)00074-3_BIB11","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1145\/76372.77531","article-title":"An incremental constraint solver","volume":"33","author":"Freeman-Benson","year":"1990","journal-title":"Communications of the ACM"},{"key":"10.1016\/S0010-4485(99)00074-3_BIB12","unstructured":"Fudos I, Hoffmann CM. Correctness proof of a geometric constraint solver, Technical Report CSD93-076, Department of Computer Science of Purdue University, 1993."},{"issue":"2","key":"10.1016\/S0010-4485(99)00074-3_BIB13","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1145\/248210.248223","article-title":"A graph-constructive approach to solving systems of geometric constraints","volume":"16","author":"Fudos","year":"1997","journal-title":"ACM Transactions on Graphics"},{"issue":"2","key":"10.1016\/S0010-4485(99)00074-3_BIB14","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/S0010-4485(97)00055-9","article-title":"Solving geometric constraint problems. II. A symbolic approach and decision of rc-constructibility","volume":"30","author":"Gao","year":"1998","journal-title":"Computer Aided Design"},{"key":"10.1016\/S0010-4485(99)00074-3_BIB15","doi-asserted-by":"crossref","unstructured":"Gao X-S, Chou S-C. Solving geometric constraint problems, I. A global propagation approach. Computer Aided Design 1998;30(1): 47\u201354.","DOI":"10.1016\/S0010-4485(97)00052-3"},{"key":"10.1016\/S0010-4485(99)00074-3_BIB16","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1145\/356056.356066","article-title":"Algorithm 611\u2014subroutines for unconstrained minimization using a model\/trust-regin approach","volume":"9","author":"Gay","year":"1983","journal-title":"ACM Transactions on Mathematical Software"},{"key":"10.1016\/S0010-4485(99)00074-3_BIB17","series-title":"Introduction to global optimization","author":"Horst","year":"1995"},{"key":"10.1016\/S0010-4485(99)00074-3_BIB18","series-title":"Linear programming","author":"Ignizio","year":"1994"},{"key":"10.1016\/S0010-4485(99)00074-3_BIB19","first-page":"413","article-title":"Constraint-based figure-maker","author":"Kalra","year":"1990","journal-title":"Eurographics\u201990"},{"key":"10.1016\/S0010-4485(99)00074-3_BIB20","doi-asserted-by":"crossref","unstructured":"Kelley CT. Iterative methods for optimization, Department of Mathematics, North Carolina State University, http:\/\/www4.ncsu.edu\/eos\/users\/c\/ctkelley\/www\/darts.html, to be published by SIAM in 1999, Draft of May 4, 1998.","DOI":"10.1137\/1.9781611970920"},{"issue":"3","key":"10.1016\/S0010-4485(99)00074-3_BIB21","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/0010-4485(92)90033-7","article-title":"Algebraic method for manipulation of dimensional relationships in geometric models","volume":"24","author":"Kondo","year":"1992","journal-title":"Geometric Aided Design"},{"key":"10.1016\/S0010-4485(99)00074-3_BIB22","series-title":"Solving geometric constraint systems","author":"Kramer","year":"1992"},{"key":"10.1016\/S0010-4485(99)00074-3_BIB23","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1016\/0004-3702(92)90012-M","article-title":"Geometric constraint engine","volume":"58","author":"Kramer","year":"1992","journal-title":"Artificial Intelligence"},{"issue":"1","key":"10.1016\/S0010-4485(99)00074-3_BIB24","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/2945.489384","article-title":"Solving geometric constraints by homotopy","volume":"2","author":"Lamure","year":"1996","journal-title":"IEEE Transactions on Visualization and Computer Graphics"},{"issue":"11","key":"10.1016\/S0010-4485(99)00074-3_BIB25","doi-asserted-by":"crossref","first-page":"917","DOI":"10.1016\/0010-4485(96)00023-1","article-title":"Connectivity analysis: a tool for processing geometric constraints","volume":"28","author":"Latheam","year":"1994","journal-title":"Computer Aided Design"},{"issue":"10","key":"10.1016\/S0010-4485(99)00074-3_BIB26","doi-asserted-by":"crossref","first-page":"831","DOI":"10.1016\/0010-4485(96)00016-4","article-title":"Geometric reasoning for knowledge-based parametric design using graph representation","volume":"28","author":"Lee","year":"1996","journal-title":"Computer Aided Design"},{"issue":"1","key":"10.1016\/S0010-4485(99)00074-3_BIB27","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1016\/0010-4485(85)90006-5","article-title":"Inference of the positions of components in an assembly: part 2","volume":"17","author":"Lee","year":"1985","journal-title":"Computer Aided Design"},{"key":"10.1016\/S0010-4485(99)00074-3_BIB28","series-title":"Constraint programming languages","author":"Leler","year":"1988"},{"key":"10.1016\/S0010-4485(99)00074-3_BIB29","first-page":"208","article-title":"Modification of geometric models through variational geometry","volume":"14","author":"Light","year":"1982","journal-title":"Geometric Aided Design"},{"key":"10.1016\/S0010-4485(99)00074-3_BIB30","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1007\/BF01589116","article-title":"On the limited memory bfgs method for large scale optimization","volume":"45","author":"Lin","year":"1989","journal-title":"Mathematical Programming"},{"issue":"3","key":"10.1016\/S0010-4485(99)00074-3_BIB31","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1145\/965161.806803","article-title":"Variational geometry in computer-aided design","volume":"15","author":"Lin","year":"1981","journal-title":"Computer Graphics"},{"key":"10.1016\/S0010-4485(99)00074-3_BIB32","doi-asserted-by":"crossref","unstructured":"More JJ, Wright SJ. Optimization software guide, SIAM, 1993.","DOI":"10.1137\/1.9781611970951"},{"key":"10.1016\/S0010-4485(99)00074-3_BIB33","series-title":"Optimization","year":"1989"},{"key":"10.1016\/S0010-4485(99)00074-3_BIB34","doi-asserted-by":"crossref","unstructured":"Nocedal J. Updating quasi-Newton matrices with limited storage, Mathematics of Computation, 1980;35, 773\u201382.","DOI":"10.1090\/S0025-5718-1980-0572855-7"},{"key":"10.1016\/S0010-4485(99)00074-3_BIB35","doi-asserted-by":"crossref","unstructured":"Owen J. Algebraic solution for geometry from dimensional constraints, ACM Symp. Found. of Solid Modeling, Austin TX, 1991, p. 397\u2013407.","DOI":"10.1145\/112515.112573"},{"issue":"1","key":"10.1016\/S0010-4485(99)00074-3_BIB36","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/S0010-4485(87)80047-7","article-title":"System for interactive assembly modeling","volume":"19","author":"Rocheleau","year":"1987","journal-title":"Computer Aided Design"},{"key":"10.1016\/S0010-4485(99)00074-3_BIB37","series-title":"Artificial intelligence in engineering: design","article-title":"Constraint management in MCAE","author":"Serrano","year":"1988"},{"key":"10.1016\/S0010-4485(99)00074-3_BIB38","series-title":"Goal programming: methodology and applications","author":"Schnierderjans","year":"1995"},{"issue":"2","key":"10.1016\/S0010-4485(99)00074-3_BIB39","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1016\/0097-8493(90)90033-T","article-title":"Geometric constraints and reasoning for geometrical CAD systems","volume":"14","author":"Suzuki","year":"1990","journal-title":"Computer and Graphics"},{"key":"10.1016\/S0010-4485(99)00074-3_BIB40","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1137\/0402022","article-title":"A k-tree generalization that characterizes consistency of dimensioned engineering drawings","volume":"2","author":"Todd","year":"1989","journal-title":"SIAM Journal of Discussions in Mathematics"},{"issue":"3","key":"10.1016\/S0010-4485(99)00074-3_BIB41","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1016\/0010-4485(92)90040-H","article-title":"Rule-oriented method for parametrized computer-aided design","volume":"24","author":"Verroust","year":"1992","journal-title":"Computer Aided Design"}],"container-title":["Computer-Aided Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0010448599000743?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0010448599000743?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,15]],"date-time":"2020-01-15T01:12:04Z","timestamp":1579050724000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0010448599000743"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,12]]},"references-count":41,"journal-issue":{"issue":"14","published-print":{"date-parts":[[1999,12]]}},"alternative-id":["S0010448599000743"],"URL":"https:\/\/doi.org\/10.1016\/s0010-4485(99)00074-3","relation":{},"ISSN":["0010-4485"],"issn-type":[{"value":"0010-4485","type":"print"}],"subject":[],"published":{"date-parts":[[1999,12]]}}}