{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T22:50:44Z","timestamp":1773960644295,"version":"3.50.1"},"reference-count":30,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1990,1,1]],"date-time":"1990-01-01T00:00:00Z","timestamp":631152000000},"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":["Computers & Graphics"],"published-print":{"date-parts":[[1990,1]]},"DOI":"10.1016\/0097-8493(90)90033-t","type":"journal-article","created":{"date-parts":[[2003,8,7]],"date-time":"2003-08-07T23:49:30Z","timestamp":1060300170000},"page":"211-224","source":"Crossref","is-referenced-by-count":38,"title":["Geometric constraints and reasoning for geometrical CAD systems"],"prefix":"10.1016","volume":"14","author":[{"given":"Hiromasa","family":"Suzuki","sequence":"first","affiliation":[]},{"given":"Hidetoshi","family":"Ando","sequence":"additional","affiliation":[]},{"given":"Fumihiko","family":"Kimura","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0097-8493(90)90033-T_BIB1","series-title":"CAD 86","first-page":"59","article-title":"Rule-based approach to variational geometry","author":"Aldefeld","year":"1986"},{"key":"10.1016\/0097-8493(90)90033-T_BIB2","series-title":"Computer Applications in Production and Engineering, CAPE'89","first-page":"131","article-title":"A geometric reasoning system for Mechanical product design","author":"Ando","year":"1989"},{"key":"10.1016\/0097-8493(90)90033-T_BIB3","series-title":"Artificial Intelligence in Engineering: Design","first-page":"405","article-title":"A constraint-based design system based on operational transformation planning","author":"Arbab","year":"1989"},{"key":"10.1016\/0097-8493(90)90033-T_BIB4","series-title":"Design Theory for CAD","first-page":"107","article-title":"Geometric reasoning\u2014A new paradigm for processing geometric information","author":"Arbab","year":"1985"},{"key":"10.1016\/0097-8493(90)90033-T_BIB5","series-title":"Proc. of Fifth IJCAI","first-page":"497","article-title":"ThingLab\u2014An object oriented system for building simulations using constraints","author":"Borning","year":"1977"},{"key":"10.1016\/0097-8493(90)90033-T_BIB6","first-page":"85","article-title":"Algebraic methods for geometric reasoning","volume":"vol. 3","author":"Buchberger","year":"1988"},{"key":"10.1016\/0097-8493(90)90033-T_BIB7","series-title":"Programming in Prolog","author":"Clocksin","year":"1984"},{"issue":"8","key":"10.1016\/0097-8493(90)90033-T_BIB8","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1109\/38.503","article-title":"Representing dimensions, tolerances, and features in MCAE systems","volume":"8","author":"Gossard","year":"1988","journal-title":"IEEE Computer Graphics and Applications"},{"key":"10.1016\/0097-8493(90)90033-T_BIB9","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","article-title":"An assumption-based TMS","volume":"28","author":"de Kleer","year":"1986","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0097-8493(90)90033-T_BIB10","series-title":"Proc. of the International Conference on Fifth Generation Computer Systems","first-page":"263","article-title":"Constraint logic programming language CAL.","author":"Aiba","year":"1988"},{"key":"10.1016\/0097-8493(90)90033-T_BIB11","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","article-title":"RETE: A fast algorithm for the many pattern\/many object pattern match problem","volume":"24","author":"Forgy","year":"1982","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0097-8493(90)90033-T_BIB12","series-title":"Proc. of International Conference on Information Processing","article-title":"Realization of a geometry theorem-proving machine","author":"Gelernter","year":"1959"},{"key":"10.1016\/0097-8493(90)90033-T_BIB13","series-title":"Proc. of SIGGRAPH'78","first-page":"234","article-title":"Characterizing non-ideal shapes in terms of dimensions and tolerances","author":"Hillyard","year":"1978"},{"key":"10.1016\/0097-8493(90)90033-T_BIB14","article-title":"Dimensions and tolerances in shape design","author":"Hillyard","year":"1978"},{"issue":"3","key":"10.1016\/0097-8493(90)90033-T_BIB15","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/0010-4485(78)90140-9","article-title":"Analysis of dimensions and tolerances in computer-aided mechanical design","volume":"10","author":"Hillyard","year":"1978","journal-title":"Computer-Aided Design"},{"key":"10.1016\/0097-8493(90)90033-T_BIB16","series-title":"4th IEEE Symposium on Logic Programming","article-title":"Constraint logic programming","author":"Jaffar","year":"1987"},{"issue":"1","key":"10.1016\/0097-8493(90)90033-T_BIB17","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/S0007-8506(07)62555-4","article-title":"Variational geometry based on logical constraints and its applications to product modelling","volume":"37","author":"Kimura","year":"1987","journal-title":"Annals of the CIRP"},{"issue":"1","key":"10.1016\/0097-8493(90)90033-T_BIB18","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/S0007-8506(07)61842-3","article-title":"Variational product design by constraint propagation and satisfaction in product modelling","volume":"35","author":"Kimura","year":"1986","journal-title":"Annals of the CIRP"},{"key":"10.1016\/0097-8493(90)90033-T_BIB19","series-title":"Computer in Production and Engineering. CAPE'86","first-page":"165","article-title":"A uniform approach to dimensioning and tolerancing in product modelling","author":"Kimura","year":"1987"},{"key":"10.1016\/0097-8493(90)90033-T_BIB20","series-title":"Constraint Programming Language","author":"Leler","year":"1988"},{"issue":"4","key":"10.1016\/0097-8493(90)90033-T_BIB21","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/0010-4485(82)90292-5","article-title":"Modification of geometric models through variational geometry","volume":"14","author":"Light","year":"1982","journal-title":"Computer-Aided Design"},{"issue":"3","key":"10.1016\/0097-8493(90)90033-T_BIB22","doi-asserted-by":"crossref","DOI":"10.1145\/965161.806803","article-title":"Variational geometry in computer-aided design","volume":"15","author":"Lin","year":"1981","journal-title":"ACM Computer Graphics"},{"key":"10.1016\/0097-8493(90)90033-T_BIB23","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","article-title":"A logic for default reasoning","volume":"13","author":"Reiter","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0097-8493(90)90033-T_BIB24","series-title":"Proc. of Workshop 3D Interactive Graphics","article-title":"Constraints in constructive solid geometry","author":"Rossignac","year":"1986"},{"key":"10.1016\/0097-8493(90)90033-T_BIB25","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1016\/S0007-8506(07)61749-1","article-title":"Designing machine assembly structure using geometric constraints in product modelling","volume":"34","author":"Sata","year":"1985","journal-title":"Annals of the CIRP"},{"issue":"1","key":"10.1016\/0097-8493(90)90033-T_BIB26","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(80)90032-6","article-title":"CONSTRAINTS\u2014A language for expressing almost-hierarchical descriptions","volume":"14","author":"Sussman","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0097-8493(90)90033-T_BIB27","series-title":"Proc. of 23rd SJCC","first-page":"329","article-title":"Sketchpad: A man-machine graphical communication system","author":"Sutherland","year":"1963"},{"key":"10.1016\/0097-8493(90)90033-T_BIB28","series-title":"Preprints of IFIP WG 5.2 Workshop on Intelligent CAD","first-page":"165","article-title":"Synthesizing product's shapes with geometric design constraints and reasoning","author":"Suzuki","year":"1987"},{"issue":"3\/4","key":"10.1016\/0097-8493(90)90033-T_BIB29","doi-asserted-by":"crossref","first-page":"483","DOI":"10.1016\/0736-5845(88)90020-8","article-title":"A product modeling system for constructing intelligent CAD and CAM systems","volume":"4","author":"Suzuki","year":"1988","journal-title":"Robotics and Computer Aided Manufacturing"},{"key":"10.1016\/0097-8493(90)90033-T_BIB30","series-title":"Proc. of The First International Symposium on Design and Synthesis (ISDS 1984)","first-page":"491","article-title":"Treatment of dimensions on product modelling concept","author":"Suzuki","year":"1985"}],"container-title":["Computers & Graphics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:009784939090033T?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:009784939090033T?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T06:50:33Z","timestamp":1552632633000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/009784939090033T"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,1]]},"references-count":30,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1990,1]]}},"alternative-id":["009784939090033T"],"URL":"https:\/\/doi.org\/10.1016\/0097-8493(90)90033-t","relation":{},"ISSN":["0097-8493"],"issn-type":[{"value":"0097-8493","type":"print"}],"subject":[],"published":{"date-parts":[[1990,1]]}}}