{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T11:33:48Z","timestamp":1777635228906,"version":"3.51.4"},"reference-count":231,"publisher":"Elsevier BV","issue":"7","license":[{"start":{"date-parts":[[1996,11,1]],"date-time":"1996-11-01T00:00:00Z","timestamp":846806400000},"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":["Knowledge-Based Systems"],"published-print":{"date-parts":[[1996,11]]},"DOI":"10.1016\/s0950-7051(96)01055-6","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T15:23:28Z","timestamp":1027610608000},"page":"449-464","source":"Crossref","is-referenced-by-count":25,"title":["A bibliographical survey of constraint-based approaches to CAD, graphics, layout, visualization, and related topics"],"prefix":"10.1016","volume":"9","author":[{"given":"Walter","family":"Hower","sequence":"first","affiliation":[]},{"given":"Winfried H","family":"Graf","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0950-7051(96)01055-6_BIB1","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/0010-4485(89)90068-7","article-title":"AI-based design versus geometry-based design or Why design cannot be supported by geometry alone","volume":"21","author":"Smithers","year":"1989","journal-title":"Computer-Aided Design"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB2","series-title":"Advanced Visual Interfaces, Proc. Int. Workshop AVI '92","volume":"Vol. 36","year":"1992"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB3","series-title":"Intelligent Multimedia Interfaces","year":"1993"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB4","series-title":"Computer graphics: principles and practice","author":"Foley","year":"1996"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB5","series-title":"Proc. Twentieth Annual Hawaii International Conference on System Sciences","first-page":"591","article-title":"VIVID, The Kernel of a Knowledge Representation Environment Based on the Constraints Paradigm of Computation","author":"Maleki","year":"1987"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB6","series-title":"New Trends in Computer Graphics","first-page":"305","article-title":"Constraint-solving in interactive graphics: A user-friendly approach","author":"Maulsby","year":"1988"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB7","series-title":"Principles of Practice of Constraint Programming: The Newport Papers","first-page":"407","article-title":"Practical issues in graphical constraints","author":"Gleicher","year":"1995"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB8","series-title":"Graphics Interface '91","first-page":"85","article-title":"Graphical interaction techniques in constraint-based geometric modeling","author":"Sistare","year":"1991"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB9","series-title":"12th International Joint Conference on Artificial Intelligence","first-page":"563","article-title":"Panel on AI and design","volume":"Vol. 1","author":"Amarel","year":"1991"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB10","series-title":"A Review of Industrial Constraint Solving Tools","year":"1993"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB11","series-title":"Second International Workshop, PPCP '94","first-page":"350","article-title":"Panel Session: Commercial Applications of Constraint Programming","author":"Kurlander","year":"1994"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB12","series-title":"Computation in Cognitive Science","article-title":"Foundation of constraint satisfaction","author":"Tsang","year":"1993"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB13","first-page":"2027","article-title":"Systematic Versus Stochastic Constraint Satisfaction","author":"Freuder","year":"1995"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB14","article-title":"Solving geometric constraint systems: A case study in kinematics","author":"Kramer","year":"1992"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB15","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1145\/357146.357147","article-title":"The programming language aspects of ThingLab, a constraint-oriented simulation laboratory","volume":"3","author":"Borning","year":"1981","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB16","series-title":"Graphics Interface '92","first-page":"301","article-title":"A linear constraint technology for interactive graphic systems","author":"Helm","year":"1992"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB17","first-page":"1451","article-title":"Computer-aided creative mechanism design","volume":"Vol. 2","author":"Faltings","year":"1993"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB18","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/0020-0190(95)00089-U","article-title":"Constraint satisfaction \u2014 Algorithms and complexity analysis","volume":"55","author":"Hower","year":"1995","journal-title":"Information Processing Letters"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB19","series-title":"First International Conference","first-page":"564","article-title":"Constraint solving for combinatorial search problems: A tutorial","author":"Van Hentenryck","year":"1995"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB20","first-page":"240","author":"Dechter","year":"1995","journal-title":"Local and Global Relational Consistency \u2014 Summary of Recent Results"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB21","series-title":"Invited talk, International Workshop on Constraint Processing in Computer-Aided Design (CoPiCAD-94)","article-title":"Constraint satisfaction problems in CAD systems","author":"Faltings","year":"1994"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB22","doi-asserted-by":"crossref","DOI":"10.1007\/BF00143879","article-title":"Consistency techniques for continuous constraints","volume":"1","author":"Sam Haroud","year":"1996","journal-title":"Constraints"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB23_1","series-title":"Object-Oriented Programming for Graphics, Focus on Computer Graphics, Tutorials and Perspectives in Computer Graphics","first-page":"71","article-title":"A graphics object-oriented constraint solver","author":"Rankin","year":"1995"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB23_2","series-title":"paper presented at the second EUROGRAPHICS workshop on Object-Oriented Graphics","year":"1991"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB24","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1080\/09528139650042547","article-title":"Backtracking along with constraint processing and their time complexities","volume":"8","author":"Zahn","year":"1996","journal-title":"Journal of Experimental & Theoretical Artificial Intelligence"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB25","series-title":"Constraint Programming Languages: Their Specification and Generation","author":"Leler","year":"1988"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB26","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/BF01807506","article-title":"Constraint hierarchies","volume":"5","author":"Borning","year":"1992","journal-title":"LISP and Symbolic Computation: An International Journal"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB27","author":"Sannella","year":"1994"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB28","series-title":"Programmation par contraintes","author":"Fron","year":"1994"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB29","series-title":"Working Notes of the AAAI-91 Workshop on Intelligent Multimedia Interfaces","article-title":"Constraint-based processing of design knowledge","author":"Graf","year":"1991"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB30","series-title":"Intelligent Multimedia Interfaces","first-page":"75","article-title":"WIP: The automatic synthesis of multimodal presentations","author":"Andr\u00e9","year":"1993"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB31","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1016\/0004-3702(94)90022-1","article-title":"Arc-consistency for continuous variables","volume":"65","author":"Faltings","year":"1994","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB32_1","series-title":"Object-Oriented Programming for Graphics, Focus on Computer Graphics, Tutorials and Perspectives in Computer Graphics","first-page":"217","article-title":"An objectoriented architecture for constraint-based graphical editing","author":"Helm","year":"1995"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB32_2","series-title":"paper presented at the third EUROGRAPHICS workshop on Object-Oriented Graphics","author":"Helm","year":"1992"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB33","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\/S0950-7051(96)01055-6_BIB34","series-title":"Principles of Practice of Constraint Programming: The Newport Papers","first-page":"385","article-title":"The SkyBlue constraint solver and its applications","author":"Sannella","year":"1995"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB35","series-title":"Spring Joint Computer Conference","first-page":"329","article-title":"Sketchpad, a man-machine graphical communication system","author":"Sutherland","year":"1963"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB36","author":"Borning","year":"1979"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB37","author":"Gosling","year":"1983"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB38","first-page":"285","article-title":"Constraint satisfaction","volume":"Vol. 1","author":"Mackworth","year":"1992"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB39","first-page":"32","article-title":"Algorithms for constraint-satisfaction problems: A survey","volume":"13","author":"Kumar","year":"1992","journal-title":"AI Magazine"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB40_1","series-title":"Constraint Satisfaction in Logic Programming","author":"Van Hentenryck","year":"1989"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB40_2","author":"Van Hentenryck","year":"1987"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB41","first-page":"107","article-title":"A distributed realization for constraint satisfaction","author":"Hower","year":"1994"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB42","series-title":"Numerical Recipes in C","author":"Press","year":"1994"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB43_1","first-page":"235","article-title":"Juno, a constraint-based graphics system","volume":"19","author":"Nelson","year":"1985"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB43_2","series-title":"SIGGRAPH'85","author":"Nelson"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB44","series-title":"SRC Research Report 131a","article-title":"The Juno-2 constraint-based drawing editor","author":"Heydon","year":"1994"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB45","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1145\/159730.159731","article-title":"Inferring constraints from multiple snapshots","volume":"12","author":"Kurlander","year":"1993","journal-title":"ACM Transactions on Graphics"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB46","author":"Kamada","year":"1989"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB47","series-title":"Proc. Int. Workshop on Constraints for Graphics and Visualization (CGV '95)","first-page":"103","article-title":"A constraint-based approach for visualization and animation","author":"Takahashi","year":"1995"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB48","series-title":"Computer Graphics, Special issue, Proceedings, 1992 Symposium on Interactive 3D Graphics","first-page":"171","article-title":"Integrating constraints and direct manipulation","author":"Gleicher","year":"1992"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB49","author":"Knuth","year":"1986","journal-title":"The METAFONT book, Computer and Typesetting Series"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB50","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1145\/357299.357303","article-title":"A high-level language for specifying pictures","volume":"1","author":"van Wyk","year":"1982","journal-title":"ACM Transactions on Graphics"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB51","doi-asserted-by":"crossref","DOI":"10.1007\/BF01900698","article-title":"Drawing with constraints","volume":"11","author":"Gleicher","year":"1994","journal-title":"The Visual Computer"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB52","series-title":"UIST 90, 3rd Annual Symp. on User Interface Software and Technology","first-page":"102","article-title":"Creating interactive techniques by symbolically solving geometric constraints","author":"Olsen","year":"1990"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB53","series-title":"Proc. OOPSLA '91 (ACM Conference on ObjectOriented Programming Systems, Languages, and Applications)","first-page":"286","article-title":"Equate: An object-oriented constraint solver","author":"Wilk","year":"1991"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB54","series-title":"Languages for Developing User Interfaces","first-page":"211","article-title":"Properties of user interface systems and the Siri programming language","author":"Horn","year":"1992"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB55","doi-asserted-by":"crossref","DOI":"10.1145\/142920.134033","article-title":"Variational surface modeling","volume":"26","author":"Welch","year":"1992","journal-title":"Computer Graphics"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB56","article-title":"Constraint imperative programming","author":"Freeman-Benson","year":"1991"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB57","series-title":"Proc. UIST'93 (ACM SIGGRAPH Symp. on User Interface Software and Technology)","first-page":"207","article-title":"Converting an existing user interface to use constraints","author":"Freeman-Benson","year":"1993"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB58","series-title":"Proc. ACM SIGGRAPH '94","article-title":"TBAG: A high level framework for interactive, animated 3d graphics applications","author":"Elliott","year":"1994"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB59","series-title":"Proc. UIST'93 (ACM SIGGRAPH Symp. on User Interface Software and Technology)","first-page":"167","article-title":"VB2: An architecture for interaction in synthetic worlds","author":"Gobbetti","year":"1993"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB60","series-title":"Proc. Fifth Eurographics Workshop on Programming Paradigms in Graphics, EUROGRAPHICS '95","first-page":"17","article-title":"Supporting interactive animation using multi-way constraints","author":"Balaguer","year":"1995"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB61","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1109\/2.60882","article-title":"Comprehensive support for graphical, highly-interactive user interface: The Garnet user interface development environment","volume":"23","author":"Myers","year":"1990","journal-title":"IEEE Computer"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB62","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1145\/151233.151238","article-title":"The rendezvous language and architecture","volume":"36","author":"Hill","year":"1993","journal-title":"Communications of the ACM"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB63","series-title":"Proc. UIST'93 (ACM SIGGRAPH Symp. on User Interface Software and Technology)","first-page":"225","article-title":"The RENDEZVOUS constraint maintenance system","author":"Hill","year":"1993"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB64","series-title":"Proc. UIST'91 (ACM SIGGRAPH Symp. on User Interface Software and Technology)","first-page":"95","article-title":"The PICASSO application framework","author":"Rowe","year":"1991"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB65","series-title":"Proc. UIST'93 (ACM SIGGRAPH Symp. on User Interface Software and Technology)","first-page":"109","article-title":"A graphics toolkit based on differential constraints","author":"Gleicher","year":"1993"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB66","series-title":"Proc. 1995 IEEE Symp. on Visual Languages","article-title":"Constraint-based layout in visual program design","author":"Graf","year":"1995"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB67","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/99902.99903","article-title":"A general framework for visualizing abstract objects and relations","volume":"10","author":"Kamada","year":"1991","journal-title":"ACM Transactions on Graphics"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB68","series-title":"Proc. UIST'91 (ACM SIG GRAPH Symp. on User Interface Software and Technology)","first-page":"165","article-title":"A general framework for bi-directional translation between abstract and pictorial data","author":"Takahashi","year":"1991"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB69","series-title":"Proc. UIST'92 (ACM SIGGRAPH Symp. on User Interface Software and Technology)","first-page":"107","article-title":"Declarative programming of graphical interfaces by visual examples","author":"Miyashita","year":"1992"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB70","series-title":"Proc. 1992 IEEE Workshop on Visual Languages","first-page":"81","article-title":"Graphical constraints in CoDraw","author":"Gross","year":"1992"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB71","series-title":"Proc. 1992 IEEE Workshop on Visual Languages","first-page":"95","article-title":"Creating visual objects by direct manipulation","author":"Tonouchi","year":"1992"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB72","series-title":"Conf. on Human Factors in Computing Systems","article-title":"Graphical Constraints CHI'94 Tutorial","author":"Szwillus","year":"1994"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB73","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1145\/360762.360817","article-title":"A heuristic problem solving design system for equipment or furniture layouts","volume":"18","author":"Pfefforkorn","year":"1975","journal-title":"Communications of the ACM"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB74","series-title":"Spring Joint Computer Conf.","first-page":"347 ff","article-title":"Sketchpad III, a computer program for drawing in three dimensions","author":"Johnson","year":"1963"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB75","series-title":"Second International Workshop, PPCP'94","first-page":"78","article-title":"Inferring 3-dimensional constraints with DEVI","author":"Thennarangam","year":"1994"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB76","series-title":"Eleventh National Conf. on Artificial Intelligence","first-page":"145","article-title":"A constraint decomposition method for spatiotemporal configuration problems","author":"Tanimoto","year":"1993"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB77","series-title":"Workshop notes, Third International Conference on Artificial Intelligence in Design (AID'94)","first-page":"14","article-title":"How to Use Constraints \u2014 Exemplified in Configuration Problem Solving","author":"Klein","year":"1994"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB78","series-title":"Artificial Intelligence in Design '91","first-page":"79","article-title":"SPARK: an artificial intelligence constraint network system for concurrent engineering","author":"Young","year":"1991"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB79","series-title":"ICOT Technical Memorandum TM-1270","article-title":"A constraint-based knowledge compiler for parametric design problem in mechanical engineering","author":"Nagai","year":"1993"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB80","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/0142-694X(88)90042-7","article-title":"Constraints: Knowledge representation in design","volume":"9","author":"Gross","year":"1988","journal-title":"Design Studies"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB81","series-title":"Proceedings of the Third International IFIP Conference on Computer Applications in Production and Engineering, CAPE '89","first-page":"95","article-title":"Constraint-based object description for product modeling","author":"Shimada","year":"1989"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB82","first-page":"1038","article-title":"Symmetry Constraint Inference in Assembly Planning \u2014 Automatic Assembly Configuration Specification","author":"Liu","year":"1990"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB83","series-title":"Eurographics '90, Proc. European Computer Graphics Conf. and Exhibition","first-page":"413","article-title":"A constraint-based figure-maker","author":"Kalra","year":"1990"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB84","series-title":"Proceedings of the Third International Conference on CAD and Computer Graphics (CAD\/Graphics '93)","first-page":"770","article-title":"Management of consistency constraints in a CAD database system","author":"Nourani","year":"1993"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB85","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1145\/91394.91452","article-title":"Interactive real-time articulated figure manipulation using multiple kinematic constraints","volume":"24","author":"Phillips","year":"1990","journal-title":"Computer Graphics"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB86","doi-asserted-by":"crossref","first-page":"426","DOI":"10.1016\/0010-4485(94)90065-5","article-title":"Relaxed parametric design with probabilistic constraints","volume":"26","author":"Hel-Or","year":"1994","journal-title":"Computer-Aided Design"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB87_1","series-title":"Object-Oriented Programming for Graphics, Focus on Computer Graphics, Tutorials and Perspectives in Computer Graphics","first-page":"54","article-title":"A quantum approach to geometric constraint satisfaction","author":"Veltkamp","year":"1995"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB87_2","series-title":"paper presented at the second EUROGRAPHICS workshop on Object-Oriented Graphics","year":"1991"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB88","series-title":"Computer Graphics International '93 \u2014 Communicating with Virtual Worlds","first-page":"294","article-title":"Direct manipulation devices for the design of geometric constraint networks","author":"Rappoport","year":"1993"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB89","series-title":"Expert Systems in Engineering \u2014 Principles and Applications","first-page":"135","article-title":"Constraint propagation issues in automated design","volume":"Volume 462","author":"Tsang","year":"1990"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB90","series-title":"Proc. 1993 IEEE Symp. on Visual Languages","first-page":"330","article-title":"Constraint-driven diagram layout","author":"Dengler","year":"1993"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB91","first-page":"365","article-title":"Constraint-based graphical layout of multimodal presentations","volume":"Vol. 36","author":"Graf","year":"1992"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB92","series-title":"Proceedings of the Fifth International Conference on Human-Computer Interaction (HCI International '93, Orlando, Florida, USA)","first-page":"446","article-title":"LAYLAB \u2014 A Constraint-Based Layout Manager for Multimedia Presentations","volume":"Volume 2","author":"Graf","year":"1993"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB93","series-title":"Proc. Workshop on Effective Abstractions in Multimedia Layout, Presentations, and Interaction in conjunction with ACM Multimedia '95","article-title":"The constraint-based layout framework LayLab and its applications","author":"Graf","year":"1995"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB94","series-title":"Proc. First Int. Workshop on Intelligence and Multimodality in Multimedia Interfaces (IMMI-1)","article-title":"Intent-based layout in interactive multimedia communication","author":"Grab","year":"1995"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB95","series-title":"Conf. Object-Oriented Programming Systems, Languages, and Applications","first-page":"381","article-title":"Constraint technology for user-interface construction in ThingLab II","author":"Maloney","year":"1989"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB96","series-title":"Proc. UIST'91 (ACM SIGGRAPH Symp. on User Interface Software and Technology)","first-page":"155","article-title":"The importance of pointer variables in constraint models","author":"Vander Zanden","year":"1991"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB97","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1145\/98188.98201","article-title":"Interactive specification of flexible user interface displays","volume":"8","author":"Hudson","year":"1990","journal-title":"ACM Transactions on Information Systems"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB98","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1109\/MCG.1986.276790","article-title":"Constraint-based tiled windows","volume":"6","author":"Cohen","year":"1986","journal-title":"IEEE Computer Graphics and Applications"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB99","series-title":"Proc. OOPSLA '88 (ACM Conference on Object-Oriented Programming Systems, Languages, and Applications)","first-page":"83","article-title":"A Smalltalk window system based on constraints","author":"Epstein","year":"1988"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB100","series-title":"Proc. UIST'89 (ACM SIGGRAPH Symp. on User Interface Software and Technology","first-page":"86","article-title":"Chisel: A system for creating highly interactive screen layouts","author":"Singh","year":"1989"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB101","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1145\/22949.22951","article-title":"An object-oriented approach to graphical interfaces","volume":"5","author":"Barth","year":"1986","journal-title":"ACM Transactions on Graphics"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB102","series-title":"Creating User Interfaces by Demonstration","author":"Myers","year":"1988"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB103","series-title":"Proc. UIST'89 (ACM SIGGRAPH Symp. on User Interface Software and Technology)","first-page":"95","article-title":"Creating graphical interactive application objects by demonstration","author":"Myers","year":"1989"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB104","series-title":"Advances in object-oriented graphics I","first-page":"67","article-title":"A 2-D graphics system for multi-user interactive graphics based on objects and constraints","author":"Hill","year":"1991"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB105","series-title":"Human-Computer Interaction","first-page":"275","article-title":"Animation using temporal constraints: An oyerview of the animus system","author":"Duisberg","year":"1987"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB106","series-title":"Proc. ECOOP-OOPSLA'87 (European Conference on Object-Oriented Programming)","first-page":"155","article-title":"The Filter browser \u2014 defining interfaces graphically","author":"Ege","year":"1987"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB107","series-title":"Proc. CHI'92 (Human Factors in Computing Systems)","first-page":"609","article-title":"Interactive constraint-based search and replace","author":"Kurlander","year":"1992"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB108","series-title":"Visual programming environments: paradigms and systems","first-page":"526","article-title":"NOpumpG: Creating interactive graphics with spreadsheet machinery","author":"Lewis","year":"1990"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB109","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1145\/325165.325240","article-title":"An automatic beautifier for drawings and illustrations","volume":"19","author":"Pavlidis","year":"1985","journal-title":"Computer Graphics"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB110","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/0925-7721(94)00014-X","article-title":"Algorithms for drawing graphs: an annotated bibliography","volume":"4","author":"Di Battista","year":"1994","journal-title":"Computational Geometry: Theory and Applications"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB111","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1145\/27623.29354","article-title":"Constraint-based tools for building user interfaces","volume":"5","author":"Borning","year":"1986","journal-title":"ACM Transactions on Graphics"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB112","series-title":"Visual programming environments: applications and issues","year":"1990"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB113","series-title":"Visual programming environments: paradigms and systems","year":"1990"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB114","series-title":"Proc. OOPSLA '88 (ACM Conference on Object-Oriented Programming Systems, Languages, and Applications)","first-page":"176","article-title":"Fabrik: A visual programming environment","author":"Ingalls","year":"1988"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB115","series-title":"Proc. UIST'89 (ACM SIGGRAPH Symp. on User Interface Software and Technology)","first-page":"149","article-title":"Using GELO to visualize software systems","author":"Duby","year":"1989"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB116","series-title":"Proc. 1993 IEEE Symp. on Visual Languages","first-page":"108","article-title":"A framework for abstract 3d visualization","author":"Reiss","year":"1993"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB117","series-title":"Principles of Practice of Constraint Programming: The Newport Papers","first-page":"445","article-title":"Expressing Constraints for Data Display Specification: A Visual Approach","author":"Cruz","year":"1995"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB118","series-title":"Proc. 1994 IEEE Symp. on Visual Languages","article-title":"Escalante: An environment for the rapid construction of visual language applications","author":"McWhirter","year":"1994"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB119","article-title":"Algorithm Animation","author":"Brown","year":"1988"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB120","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1109\/2.58216","article-title":"Tango: A framework and system for algorithm animation","volume":"23","author":"Stasko","year":"1990","journal-title":"IEEE Computer"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB121","series-title":"Proc. 1991 IEEE Workshop on Visual Languages","first-page":"4","article-title":"Zeus: A system for algorithm animation and multi-view editing","author":"Brown","year":"1991"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB122","series-title":"Visual Languages and Applications","first-page":"161","article-title":"Visual programming of program visualizations \u2014 A gestural interface for animating algorithms","author":"Duisberg","year":"1990"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB123","author":"Magnenat Thalmann","year":"1992"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB124","series-title":"Principles of Practice of Constraint Programming: The Newport Papers","first-page":"29","article-title":"Object-oriented concurrent constraint programming in Oz","author":"Henz","year":"1995"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB125","article-title":"Constraint Programming in Oz","author":"M\u00fcller","year":"1995"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB126","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0895-7177(93)90068-A","article-title":"Extending CHIP in order to solve complex scheduling and placement problems","volume":"17","author":"Aggoun","year":"1993","journal-title":"Mathematical and Computational Modelling"},{"issue":"20","key":"10.1016\/S0950-7051(96)01055-6_BIB127","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","article-title":"Constraint logic programming: a survey","volume":"19","author":"Jaffar","year":"1994","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB128","first-page":"30","article-title":"A dynamic algorithm for placing rectangles without overlapping","volume":"14","author":"Tokuyama","year":"1991","journal-title":"Journal of Information Processing"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB129","first-page":"613","article-title":"EAAS: environnement d'aide \u00e0 l'am\u00e9nagement spatial","volume":"Volume 1","author":"Charman","year":"1993"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB130_1","article-title":"Constraint processing in human-computer interaction with an emphasis on intelligent CAD","author":"Hower","year":"1993"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB130_2","unstructured":"Proceedings of the Fifth International Conference on Human-Computer Interaction (HCI International '93, Orlando, Florida, USA), Volume 1, pp. 243\u2013248."},{"key":"10.1016\/S0950-7051(96)01055-6_BIB131","first-page":"57","article-title":"Bottom-up layout generation","volume":"20","author":"Hower","year":"1996","journal-title":"Informatica"},{"issue":"84","key":"10.1016\/S0950-7051(96)01055-6_BIB132","first-page":"35","article-title":"A constraint-based approach to engineering design","volume":"83","author":"Elliman","year":"1993","journal-title":"AISB Quarterly"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB133","series-title":"Proc. Fifth Eurographics Workshop on Programming Paradigms in Graphics, EUROGRAPHICS '95","first-page":"251","article-title":"Computer-aided layout by evolutionary computing","author":"Hower","year":"1995"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB134","series-title":"Proceedings of the Fourth International Conference (AID'96)","first-page":"663","article-title":"Evolutionary layout design","author":"Hower","year":"1996"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB135","series-title":"Workshop W4 at the Fourth International Conference on Artificial Intelligence in Design","first-page":"25","article-title":"Layout design on triangles via evolutionary algorithms","author":"Hower","year":"1996"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB136","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1109\/TC.1983.1676196","article-title":"Spatial planning: A configuration space approach","volume":"C-32","author":"Lozano-P\u00e9rez","year":"1983","journal-title":"IEEE Transactions on Computers"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB137","first-page":"1564","article-title":"Solving geometric constraint satisfaction problems for spatial planning","volume":"Vol. 2","author":"du Verdier","year":"1993"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB138","series-title":"Non-Standard Constraint Processing, working notes of the ECAI-96 workshop W27","year":"1996"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB139","series-title":"Neue Architekturkonzepte zur Gestaltung graphischer Systeme, Proc. GMD-Studien Nr. 223, Gesellschaft f\u00fcr Mathematik und Datenverarbeitung mbH, Sankt Augustin; GI-Workshop","first-page":"19","article-title":"Modellierung geometrischer Constraints f\u00fcr CAD-Anwendungen","author":"Berling","year":"1993"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB140_1","series-title":"Constraint Processing in Computer-Aided Design (CoPiCAD-94)","year":"1994"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB140_2","series-title":"Workshop notes, Third International Conference on Artificial Intelligence in Design (AID'94)","year":"1994"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB141","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/MCG.1987.276894","article-title":"Articulated figure positioning by multiple constraints","volume":"7","author":"Badler","year":"1987","journal-title":"Computer Graphics and Applications"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB142","series-title":"COMPSAC'89, International Computer Software and Applications in Conf. IEEE","first-page":"374","article-title":"Direct manipulation user interfaces based on constraints","author":"Ege","year":"1989"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB143","series-title":"Technical Report 91-08-12","article-title":"Using Constraints for user interface construction","author":"Maloney","year":"1991"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB144","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1002\/spe.4380230507","article-title":"Multi-way versus one-way constraints in user interfaces: Experience with the DeltaBlue algorithm","volume":"23","author":"Sannella","year":"1993","journal-title":"Software \u2014 Practice and Experience"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB145","series-title":"Proceedings of the IFIP TC 13 Third International Conference on Human-Computer Interaction","first-page":"135","article-title":"Constraints in design: towards a methodology of psychological analysis based on AI formalisms","author":"Darses","year":"1990"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB146","series-title":"CG International '90, Computer Graphics Around the World","first-page":"361","article-title":"A system for interactive graphical modeling with three-dimensional constraints","author":"van Emmerik","year":"1990"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB147","series-title":"Proc. IFIP WG 5.2 Working Conference on Intelligent Computer Aided Design (IntCAD91)","first-page":"427","article-title":"Dynamic constraint satisfaction with continuous variables","author":"Faltings","year":"1992"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB148_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-85983-0_12","article-title":"Kaleidoscope: A constraint imperative programming language","author":"Lopez","year":"1994"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB148_2","series-title":"Proceedings of the NATO Advanced Study Institute on Constraint Programming","first-page":"313","author":"Lopez","year":"1993"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB149_1","series-title":"Geometric Modeling for CAD Applications","first-page":"199","article-title":"Specification of shape by dimensions and other geometric constraints","author":"Sunde","year":"1988"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB149_2","series-title":"Selected and expanded papers from the IFIP WG 5.2 Working Conference","author":"Sunde","year":"1986"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB150_1","series-title":"Intelligent CAD Systems II, Implementational Issues, Record of the Second Eurographics Workshop on \u2018Intelligent CAD Systems \u2014 Implementational Issues\u2019","article-title":"Implementing constraint propagation in mechanical CAD systems","author":"El Dahshan","year":"1988"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB150_2","series-title":"Eurographic Seminars, Tutorials and Perspectives in Computer Graphics, EUROGRAPHICS","first-page":"217","author":"El Dahshan","year":"1989"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB151","article-title":"Creating 3d scenes with constraints","author":"Fertey","year":"1990"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB152","series-title":"Third Eurographics Workshop on \u2018Intelligent CAD Systems\u2019","first-page":"205","article-title":"A Geometric Constraint Management System in Oar","author":"Arbab","year":"1991"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB153","series-title":"RelCAD: A relational CAD system with constraint-based geometric modelling","author":"Du","year":"1995"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB154","series-title":"11th Int. IEEE Symp. on Visual Languages","first-page":"118","article-title":"A visual environment for constraint programming","author":"Paltrinieri","year":"1995"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB155","series-title":"Workshop on Interactive 3D Graphics Chapel Hill","first-page":"111","article-title":"Constructing three-dimensional geometric objects defined by constraints","author":"Brdderlin","year":"1986"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB156","series-title":"Knowledge Based Expert Systems in Engineering: Planning and Design","first-page":"211","article-title":"Constraint management in conceptual design","author":"Serrano","year":"1987"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB157","article-title":"Incremental constraint satisfaction and its application to graphical interfaces","author":"Vander Zanden","year":"1988"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB158","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0019371","article-title":"The Design of an Extendible Graph Editor","author":"Newbery Paulisch","year":"1993"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB159","series-title":"5th International Conference on Human-Computer Interaction jointly with 9th Symposium on Human Interface (Japan)","first-page":"267","article-title":"Solving linear graphical constraint expressions Poster Sessions: Abridged Proceedings HCI International '93","author":"Szwillus","year":"1993"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB160","series-title":"International Conference on Design Theory and Methodology","first-page":"1","article-title":"Integrating parametric geometry, features, and variational modeling for conceptual design","author":"Keirouz","year":"1990"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB161_1","series-title":"Geometric Modeling for Product Engineering","first-page":"221","article-title":"A constraint modeling system for variational geometry","author":"Yamaguchi","year":"1990"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB161_2","series-title":"Selected and Expanded Papers from the IFIP WG 5.2\/NSF Working Conference on Geometric Modeling","author":"Yamaguchi","year":"1988"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB162","series-title":"American Association for Artificial Intelligence, Proceedings","first-page":"505","article-title":"Parametric engineering design using constraint-based reasoning","volume":"Vol. 1","author":"Murtagh","year":"1990"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB163","series-title":"Versioning in Database Management Systems, Dagstuhl-Seminar-Report 55","first-page":"12","article-title":"UNDO in CAD Systems","author":"Rosendahl","year":"1993"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB164","series-title":"Third Eurographics Workshop on \u2018Intelligent CAD Systems\u2019","first-page":"187","article-title":"Constraint satisfaction techniques for spatial planning","author":"Baykan","year":"1991"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB165","series-title":"Artificial intelligence in design '92 (Part 14 Design Processes)","first-page":"817","article-title":"Hierarchical generate-and-test vs constraint-directed search \u2014 A comparison in the context of layout synthesis","author":"Flemming","year":"1992"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB166","series-title":"5th International Conference, IEA\/AIE \u2014 92","first-page":"505","article-title":"Representing geometric objects using constraint description graphs","author":"\u017dalik","year":"1992"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB167","first-page":"C-333","article-title":"Reference, Synthesis and Constraint Satisfaction","volume":"Vol. 11","author":"Pineda","year":"1992"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB168","series-title":"10th Annual Symp. on Computational Geometry","article-title":"On geometric optimization with few violated constraints","author":"Matou\u0161ek","year":"1994"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB169","series-title":"Artificial Intelligence in Design '94","first-page":"363","article-title":"An axiomatic approach that supports negotiated resolution of design conflicts in concurrent engineering","author":"Bahler","year":"1994"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB170_1","series-title":"Object-Oriented Programming for Graphics, Focus on Computer Graphics, Tutorials and Perspectives in Computer Graphics","first-page":"92","article-title":"ALIEN: A prototypebased constraint system","author":"Cournarie","year":"1995"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB170_2","series-title":"paper presented at the second EUROGRAPHICS workshop on Object-Oriented Graphics","author":"Cournarie","year":"1991"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB171","series-title":"ECOOP'92, European Conference on Object-Oriented Programming","first-page":"268","article-title":"Integrating constraints with an object-oriented language","author":"Freeman-Benson","year":"1992"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB172","series-title":"Applications of Artificial Intelligence in Engineering, 1st International Conference","first-page":"355","article-title":"The representation and use of constraints in structural design","author":"Sriram","year":"1986"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB173","series-title":"CHI'86 conference proceedings","first-page":"131","article-title":"Animated graphical interfaces using temporal constraints","author":"Duisberg","year":"1986"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB174","series-title":"SIGGRAPH '87","first-page":"225","article-title":"Energy constraints on parameterized models","volume":"21","author":"Witkin","year":"1987"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB175_1","first-page":"830","article-title":"Design as refinement plus constraint propagation: The VEXED experience","volume":"Vol. 2","author":"Steinberg","year":"1987"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB175_2","series-title":"Proceedings, American Association of Artificial Intelligence","first-page":"37","volume":"84","author":"Steinberg","year":"1996"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB176","series-title":"12th International Joint Conference on Artificial Intelligence","first-page":"143","article-title":"Reasoning of geometric concepts based on algebraic constraint-directed method","volume":"Vol. 1","author":"Iba","year":"1991"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB177","series-title":"Symp. Solid Modeling Foundations and CAD; CAM Applications","first-page":"397","article-title":"Algebraic solution for geometry from dimensional constraints","author":"Owen","year":"1991"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB178","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":"Computer-Aided Design"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB179_1","series-title":"Object-Oriented Programming for Graphics, Focus on Computer Graphics, Tutorials and Perspectives in Computer Graphics","first-page":"33","article-title":"A co-operative graphical editor based on dynamically constrained objects","author":"Ruttkay","year":"1995"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB179_2","series-title":"paper presented at the second EUROGRAPHICS workshop on Object-Oriented Graphics","author":"Ruttkay","year":"1991"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB180","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1115\/1.2919305","article-title":"Engineering constraint management based on an occurrence matrix approach","volume":"115","author":"Agrawal","year":"1993","journal-title":"Transactions of the ASME. Journal of Mechanical Design"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB181","doi-asserted-by":"crossref","first-page":"741","DOI":"10.1016\/0010-4485(93)90101-S","article-title":"Constraint definition system: a computer-algebra based approach to solving geometric-constraint problems","volume":"25","author":"Buchanan","year":"1993","journal-title":"Computer-Aided Design"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB182","series-title":"SIGGRAPH '87","first-page":"215","article-title":"Controlling dynamic simulation with kinematic constraints, behavior functions and inverse dynamics","volume":"21","author":"Isaacs","year":"1987"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB183","first-page":"678","volume":"25","author":"Bouzy","year":"1993","journal-title":"Computer-Aided Design"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB184","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0004-3702(93)90074-L","article-title":"What's in a linkage","volume":"61","author":"Sacks","year":"1993","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB185","series-title":"Constraint-Based Reasoning, Special issues of Artificial Intelligence","first-page":"327","article-title":"A geometric constraint engine","author":"Kramer","year":"1994"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB186","author":"Celaya Llover","year":"1992"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB187","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1016\/0010-4485(94)00013-4","article-title":"Geometric constraint solver","volume":"27","author":"Bouma","year":"1995","journal-title":"Computer-Aided Design"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB188","doi-asserted-by":"crossref","first-page":"614","DOI":"10.1016\/0010-4485(94)90104-X","article-title":"Constructive constraint-based model for parametric CAD systems","volume":"26","author":"Solano","year":"1994","journal-title":"Computer-Aided Design"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB189","series-title":"Proc. AID'94 workshop W9 on Constraint Processing in ComputerAided Design (CoPiCAD-94)","first-page":"44","article-title":"Constraint-based variational design","author":"Chung","year":"1994"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB190","first-page":"17","article-title":"Integrating parametric geometry, features, and variational modeling for conceptual design","volume":"2","author":"Pabon","year":"1992","journal-title":"International Journal of Systems Automation: Research and Applications (SARA)"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB191","series-title":"HCI'92","article-title":"Inferring Graphical Constraints with Rockit","author":"Karsenty","year":"1992"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB192_1","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1145\/142920.134087","article-title":"CONDOR: Constraint-Based Dataflow","volume":"26","author":"Kass","year":"1992","journal-title":"Computer Graphics"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB192_2","series-title":"SIGGRAPH '92, 19th annual ACM Conference on Computer Graphics and Interactive Techniques","author":"Kass","year":"1992"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB193","series-title":"Symp. Concurrent Product and Process Design","first-page":"101","article-title":"Interval approaches for concurrent evaluation of design constraints","author":"Navinchandra","year":"1989"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB194","series-title":"5th International Conference, IEA\/AIE \u2014 92","first-page":"341","article-title":"Extending constraint satisfaction problem solving in structural design","author":"Guan","year":"1992"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB195","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1080\/08839519308949979","article-title":"Constraint mechanisms in automated knowledge generation","volume":"7","author":"Towhidnejad","year":"1993","journal-title":"Applied Artificial Intelligence"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB196","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/BF00871723","article-title":"A constraint-based approach to spatiotemporal reasoning","volume":"3","author":"Guesgen","year":"1993","journal-title":"Journal of Applied Intelligence"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB197","series-title":"Artificial Intelligence in Design '94","first-page":"381","article-title":"Genetic algorithms versus simulated annealing: satisfaction of large sets of algebraic mechanical design constraints","author":"Thornton","year":"1994"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB198","first-page":"901","article-title":"The complexity of drawing tree-structured diagrams","volume":"E78-D","author":"Tsuchida","year":"1995","journal-title":"IEICE Transactions on Information and Systems"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB199","series-title":"Proc. Int. Workshop on Constraints for Graphics and Visualization (CGV '95)","first-page":"85","article-title":"Constraints in graph drawing","author":"Tamassia","year":"1995"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB200","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0010-4485(95)00023-2","article-title":"Modelling with constraints: theoretical foundation and application","volume":"28","author":"Anderl","year":"1996","journal-title":"Computer-Aided Design"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB201","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S0890060400001256","article-title":"Solving constraint satisfaction problems using ATeams","volume":"10","author":"Gorti","year":"1996","journal-title":"Artificial Intelligence for Engineering Design, Analysis and Manufacturing"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB202","series-title":"12th International Joint Conference on Artificial Intelligence","volume":"Vol. 1","year":"1991"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB203","series-title":"Third Eurographics Workshop on \u2018Intelligent CAD Systems\u2019","year":"1991"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB204","series-title":"Artificial Intelligence in Design '94","year":"1994"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB205","series-title":"Proc. Fifth Eurographics Workshop on Programming Paradigms in Graphics, EUROGRAPHICS '95","year":"1995"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB206","series-title":"Proc. AID'94 workshop W9 on Constraint Processing in ComputerAided Design (CoPiCAD-94)","year":"1994"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB207","series-title":"Object-Oriented Programming for Graphics, Focus on Computer Graphics, Tutorials and Perspectives in Computer Graphics","year":"1995"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB208","series-title":"Principles of Practice of Constraint Programming: The Newport Papers","year":"1995"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB209","series-title":"First International Conference","article-title":"Principles and Practice of Constraint Programming \u2014 CP '95","volume":"Vol. 976","year":"1995"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB210","series-title":"IJCAI-93, Proc. Thirteenth Int. Joint Conf. on Artificial Intelligence","year":"1993"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB211","series-title":"5th International Conference, IEA\/AIE - 92","article-title":"Industrial and engineering applications of artificial intelligence and expert systems","year":"1992"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB212","series-title":"Second International Workshop, PPCP'94","article-title":"Principles and practice of constraint programming","year":"1994"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB213","doi-asserted-by":"crossref","first-page":"232","DOI":"10.3233\/AIC-1993-63-412","article-title":"Solving geometrical constraint systems","volume":"6","author":"Berling","year":"1993","journal-title":"AI Communications"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB214","series-title":"Proc. Int. Workshop on Constraints for Graphics and Visualization (CGV '95)","year":"1995"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB215","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/0004-3702(95)00093-3","article-title":"EVEXED and MEET for mechanical design: testing structural decomposition and constraint propagation","volume":"84","author":"Steinberg","year":"1996","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0950-7051(96)01055-6_BIB216","doi-asserted-by":"crossref","unstructured":"W. Hower, Placing computations by adaptive procedures, Artificial Intelligence in Engineering, in press.","DOI":"10.1016\/S0954-1810(96)00049-0"}],"container-title":["Knowledge-Based Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950705196010556?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950705196010556?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,10]],"date-time":"2020-01-10T09:20:41Z","timestamp":1578648041000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950705196010556"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,11]]},"references-count":231,"journal-issue":{"issue":"7","published-print":{"date-parts":[[1996,11]]}},"alternative-id":["S0950705196010556"],"URL":"https:\/\/doi.org\/10.1016\/s0950-7051(96)01055-6","relation":{},"ISSN":["0950-7051"],"issn-type":[{"value":"0950-7051","type":"print"}],"subject":[],"published":{"date-parts":[[1996,11]]}}}