A bibliographical survey of constraint-based approaches to CAD, graphics, layout, visualization, and related topics

There is nearly no conference on graphics, multimedia, and user interfaces that does not include a section on constraint-based graphics; on the other hand most conferences on constraint processing favour applications in graphics. The present work compiles numerous papers on constraint-based approaches to computer-aided design, graphics, layout configuration, and user interfaces in general. In order to keep this study of bibliographical points up-to-date the authors appreciate any comment and update information.

[1]  Bjørn N. Freeman-Benson,et al.  Integrating Constraints with an Object-Oriented Language , 1992, ECOOP.

[2]  Alan de Pennington,et al.  Constraint definition system: a computer-algebra based approach to solving geometric-constraint problems , 1993, Comput. Aided Des..

[3]  Mark D. Gross,et al.  Graphical constraints in CoDraw , 1992, Proceedings IEEE Workshop on Visual Languages.

[4]  Jeffrey D. McWhirter,et al.  Escalante: an environment for the rapid construction of visual language applications , 1994, Proceedings of 1994 IEEE Symposium on Visual Languages.

[5]  T. S. Chua,et al.  CG International '90 : computer graphics around the world , 1990 .

[6]  Michael J. Maher,et al.  Constraint Logic Programming: A Survey , 1994, J. Log. Program..

[7]  Alan Borning,et al.  Constraint hierarchies , 1992 .

[8]  Boi Faltings,et al.  Arc-Consistency for Continuous Variables , 1994, Artif. Intell..

[9]  Jean-François Puget,et al.  Panel Session: Commercial Applications of Constraint Programming , 1994, PPCP.

[10]  Pascal Van Hentenryck Constraint Solving for Combinatorial Search Problems: A Tutorial , 1995, CP.

[11]  Reiner Anderl,et al.  Modelling with constraints: theoretical foundation and application , 1996, Comput. Aided Des..

[12]  Marc H. Brown,et al.  Zeus: a system for algorithm animation and multi-view editing , 1991, Proceedings 1991 IEEE Workshop on Visual Languages.

[13]  Steven K. Feiner,et al.  Inferring constraints from multiple snapshots , 1993, TOGS.

[14]  Brad A. Myers The garnet user interface development environment , 1994, CHI Conference Companion.

[15]  Satoshi Matsuoka,et al.  Creating visual objects by direct manipulation , 1992, Proceedings IEEE Workshop on Visual Languages.

[16]  Winfried Graf,et al.  Constraint-Based Graphical Layout of Multimodal Presentations , 1998, Advanced Visual Interfaces.

[17]  R. Agrawal,et al.  Engineering Constraint Management Based on an Occurrence Matrix Approach , 1993 .

[18]  Roger B. Dannenberg,et al.  Creating graphical interactive application objects by demonstration , 1989, UIST '89.

[19]  Robert E. Young,et al.  SPARK: an artificial intelligence constraint network system for concurrent engineering , 1991 .

[20]  Frances Paulisch,et al.  The Design of an Extendible Graph Editor , 1993, Lecture Notes in Computer Science.

[21]  Pascal Van Hentenryck Constraint satisfaction in logic programming , 1989, Logic programming.

[22]  Massimo Paltrinieri A visual environment for constraint programming , 1995, Proceedings of Symposium on Visual Languages.

[23]  John H. Maloney Using constraints for user interface construction , 1992 .

[24]  Michael R. Wilk,et al.  Equate: an object-oriented constraint solver , 1991, OOPSLA '91.

[25]  Gurminder Singh,et al.  Chisel: a system for creating highly interactive screen layouts , 1989, UIST '89.

[26]  Norman I. Badler,et al.  Articulated Figure Positioning by Multiple Constraints , 1987, IEEE Computer Graphics and Applications.

[27]  Roger B. Dannenberg,et al.  Garnet: comprehensive support for graphical, highly interactive user interfaces , 1990, Computer.

[28]  M. Fox,et al.  Constraint satisfaction techniques for spatial planning , 1992 .

[29]  Enrico Gobbetti,et al.  Supporting Interactive Animation Using Multi-way Constraints , 1995, Eurographics Workshop on Programming Paradigms in Graphics.

[30]  Daniel Thalmann,et al.  VB2: an architecture for interaction in synthetic worlds , 1993, UIST '93.

[31]  Joe Marks,et al.  Constraint-driven diagram layout , 1993, Proceedings 1993 IEEE Symposium on Visual Languages.

[32]  Leo Pini Magalhães,et al.  MANAGEMENT OF CONSISTENCY CONSTRAINTS IN A CAD DATABASE SYSTEM , 1993 .

[33]  Allan Heydon,et al.  The Juno-2 Constraint-Based Drawing Editor , 1994 .

[34]  Fay Sudweeks,et al.  Artificial Intelligence in Design ’96 , 1996, Springer Netherlands.

[35]  Michael F. Cohen,et al.  Controlling dynamic simulation with kinematic constraints , 1987, SIGGRAPH.

[36]  K. Kondo,et al.  Algebraic method for manipulation of dimensional relationships in geometric models , 1992, Comput. Aided Des..

[37]  William J. Dally,et al.  An object oriented architecture , 1985, ISCA '85.

[38]  Ephraim P. Glinert Visual Programming Environments: Applications and Issues , 1990 .

[39]  Ian H. Witten,et al.  CONSTRAINT-SOLVING IN INTERACTIVE GRAPHICS A USER-FRIENDLY APPROACH , 1989 .

[40]  Glenn A. Kramer Solving geometric constraint systems a case study in kinematics , 1992, Comput. Aided Des..

[41]  Michael Gleicher,et al.  Practical Issues in Graphical Constraints , 1993, PPCP.

[42]  Franck du Verdier Solving Geometric Constraint Satisfaction Problems for Spatial Planning , 1993, IJCAI.

[43]  Stuart C. Shapiro,et al.  Encyclopedia of artificial intelligence, vols. 1 and 2 (2nd ed.) , 1992 .

[44]  Clayton Lewis NoPumpG: Creating Interactive Graphics With Spreadsheet Machinery , 1987 .

[45]  Michael Sannella,et al.  The SkyBlue Constraint Solver and Its Applications , 1993, PPCP.

[46]  Timothy E. Johnson Sketchpad III: a computer program for drawing in three dimensions , 1963, AFIPS '63 (Spring).

[47]  Steve Sistare Graphical interaction techniques in constraint-based geometric modeling , 1991 .

[48]  Pere Brunet,et al.  Constructive constraint-based model for parametric CAD systems , 1994, Comput. Aided Des..

[49]  Francesca Rossi,et al.  Principles and Practice of Constraint Programming — CP '95 , 1995, Lecture Notes in Computer Science.

[50]  Walter Hower,et al.  Evolutionary Layout Design , 1996 .

[51]  Andrew P. Witkin,et al.  Energy constraints on parameterized models , 1987, SIGGRAPH.

[52]  Raimund K. Ege Direct manipulation user interfaces based on constraints , 1989, [1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference.

[53]  Michael Gleicher,et al.  Integrating constraints and direct manipulation , 1992, I3D '92.

[54]  J. Dill,et al.  Intelligent computer aided design , 1993 .

[55]  Boi Faltings,et al.  Computer-Aided Creative Mechanism Design , 1995, IJCAI.

[56]  Vipin Kumar,et al.  Algorithms for Constraint-Satisfaction Problems: A Survey , 1992, AI Mag..

[57]  Yacov Hel-Or,et al.  Relaxed parametric design with probabilistic constraints , 1993, Comput. Aided Des..

[58]  Scott Wallace,et al.  Fabrik: a visual programming environment , 1988, OOPSLA '88.

[59]  Ari Rappoport Direct Manipulation Devices for the Design of Geometric Constraint Networks , 1993 .

[60]  S. Jacobi,et al.  Chapter 9 - A distributed realization for constraint satisfaction , 1994 .

[61]  Devendra Kalra,et al.  A Constraint-Based Figure-Maker , 1990, Eurographics.

[62]  John S. Gero,et al.  Artificial Intelligence in Design ’98 , 1998, Springer Netherlands.

[63]  David Serrano,et al.  Constraint Management in Conceptual Design , 1989 .

[64]  Bjørn N. Freeman-Benson,et al.  Kaleidoscope: A Constraint Imperative Programming Language , 1993, NATO ASI CP.

[65]  J. P. Barthes,et al.  Implementing constraint propagation in mechanical CAD systems , 1989 .

[66]  Françoise Darses Constraints in design: Towards a methodology of psychological analysis based on AI formalisms , 1990, INTERACT.

[67]  Walter Hower,et al.  Solving Geometrical Constraint Systems: A Case Study in Kinematics , 1993 .

[68]  David Maier,et al.  The Filter Browser Defining Interfaces Graphically , 1987, ECOOP.

[69]  S.P. Reiss A framework for abstract 3D visualization , 1993, Proceedings 1993 IEEE Symposium on Visual Languages.

[70]  Hitoshi Iba,et al.  Reasoning of Geometric Concepts based on Algebraic Constraint-directed Method , 1991, IJCAI.

[71]  Robert Duisberg Visual Programming of Program Visualizations , 1990 .

[72]  Dan R. Olsen,et al.  Creating interactive techniques by symbolically solving geometric constraints , 1990, UIST '90.

[73]  Brad A. Myers,et al.  Creating user interfaces by demonstration , 1988 .

[74]  Brad A. Myers,et al.  Languages for developing user interfaces , 1992 .

[75]  Alan Borning,et al.  The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory , 1981, TOPL.

[76]  Steve Howard,et al.  Human-Computer Interaction INTERACT ’97 , 1997, IFIP — The International Federation for Information Processing.

[77]  Daniel Thalmann,et al.  Creating and Animating the Virtual World , 1992, Computer Animation Series.

[78]  D. Sriram,et al.  The Representation and Use of Constraints in Structural Design , 1986 .

[79]  A. Thornton Genetic Algorithms Versus Simulated Annealing: Satisfaction of Large Sets of Algebraic Mechanical Design Constraints , 1994 .

[80]  Pascal Van Hentenryck,et al.  Principles and practice of constraint programming: The Newport papers , 1996, Computers & Mathematics with Applications.

[81]  A. Borning,et al.  Constraint technology for user-interface construction in ThingLab II , 1989, OOPSLA 1989.

[82]  Winfried Graf LAYLAB - A Constraint-Based Layout Manager for Multimedia Presentations , 1993, HCI.

[83]  Bart Selman,et al.  Systematic Versus Stochastic Constraint Satisfaction , 1995, IJCAI.

[84]  Alan Borning,et al.  ThingLab: a constraint-oriented simulation laboratory , 1979 .

[85]  Ricky Yeung,et al.  TBAG: a high level framework for interactive, animated 3D graphics applications , 1994, SIGGRAPH.

[86]  James A. Landay,et al.  Inferring graphical constraints with Rockit , 1993, INTERCHI.

[87]  Satoshi Matsuoka,et al.  A general framework for bidirectional translation between abstract and pictorial data , 1992, TOIS.

[88]  J Rinderle,et al.  Interval approaches for concurrent evaluation of design constraints , 1990 .

[89]  Winfried Graf,et al.  The Constraint-Based Layout Framework LayLab and Its Applications , 1996 .

[90]  Ian F. C. Smith,et al.  Dynamic Constraint Satisfaction with Continuous Variables , 1991, IntCAD.

[91]  Ralph D. Hill A 2-D Graphics System for Multi-User Interactive Graphics Based on Objects and Constraints , 1991 .

[92]  Kensei Tsuchida The Complexity of Drawing Tree-Structured Diagrams , 1995, IEICE Trans. Inf. Syst..

[93]  Steven P. Reiss,et al.  Using GELO to visualize software systems , 1989, UIST '89.

[94]  Bruce Horn Properties of user interface systems and the Siri programming language , 1992 .

[95]  Jirí Matousek On geometric optimization with few violated constraints , 1994, SCG '94.

[96]  Christopher J. Van Wyk,et al.  A High-Level Language for Specifying Pictures , 1982, TOGS.

[97]  Andrew P. Witkin,et al.  Variational surface modeling , 1992, SIGGRAPH.

[98]  Walter Hower,et al.  Backtracking along with constraint processing and their time complexities , 1996, J. Exp. Theor. Artif. Intell..

[99]  Michael Kass,et al.  CONDOR: constraint-based dataflow , 1992, SIGGRAPH.

[100]  Robert A. Duisberg,et al.  Animation Using Temporal Constraints: an Overview of the Animus System , 1987, SGCH.

[101]  J. C. Owen,et al.  Algebraic solution for geometry from dimensional constraints , 1991, SMA '91.

[102]  Mark T. Maybury,et al.  Intelligent multimedia interfaces , 1994, CHI Conference Companion.

[103]  Nicolas Beldiceanu,et al.  Extending CHIP in order to solve complex scheduling and placement problems , 1993, JFPL.

[104]  R. A. Adey,et al.  Knowledge Based Expert Systems in Engineering: Planning and Design , 1988 .

[105]  Gert Smolka,et al.  Object-Oriented Concurrent Constraint Programming in Oz , 1993, KI.

[106]  Catherine Lassez,et al.  A linear constraint technology for interactive graphic systems , 1992 .

[107]  Satoshi Matsuoka,et al.  Declarative programming of graphical interfaces by visual examples , 1992, UIST '92.

[108]  Masamichi Shimura,et al.  Parametric Engineering Design Using Constraint-Based Reasoning , 1990, AAAI.

[109]  Avelino J. Gonzalez,et al.  Constraint mechanisms in automated knowledge generation , 1993, Appl. Artif. Intell..

[110]  Kim Marriott,et al.  An Object-Oriented Architecture for Constraint-Based Graphical Editing , 1992, Workshops on Object-Oriented Graphics.

[111]  Roland Berling,et al.  Constraint Processing in Human Computer Interaction with an Emphasis on Intelligent CAD , 1993, HCI.

[112]  Ioannis G. Tollis,et al.  Algorithms for Drawing Graphs: an Annotated Bibliography , 1988, Comput. Geom..

[113]  E. A. Warman Computer Applications in Production and Engineering , 1985 .

[114]  Ellis S. Cohen,et al.  Constraint-Based Tiled Windows , 1986, IEEE Computer Graphics and Applications.

[115]  Mark D. Gross,et al.  Constraints: Knowledge representation in design , 1988 .

[116]  Zsófia Ruttkay,et al.  A Co-operative Graphical Editor Based on Dynamically Constrained Objects , 1991, Workshops on Object-Oriented Graphics.

[117]  T. Smithers,et al.  AI-based versus geometry-based design or Why design cannot be supported by geometry alone , 1989 .

[118]  Walter Hower Bottom-up Layout Generation , 1996, Informatica.

[119]  John R. Rankin A Graphics Object-Oriented Constraint Solver , 1991, Workshops on Object-Oriented Graphics.

[120]  Steven K. Feiner,et al.  Interactive constraint-based search and replace , 1992, CHI.

[121]  Chun Du RelCAD: a relational CAD system with contraint based geometric modelling , 1995 .

[122]  Bjørn N. Freeman-Benson,et al.  Multi‐way versus one‐way constraints in user interfaces: Experience with the deltablue algorithm , 1993, Softw. Pract. Exp..

[123]  Jean Patrick Tsang,et al.  Constraint Propagation Issues in Automated Design , 1990, Expert Systems in Engineering.

[124]  Farhad Arbab,et al.  A geometric constraint management system in Oar , 1992 .

[125]  R. Dechter to Constraint Satisfaction , 1991 .

[126]  Edwin Blake Advances in Object-Oriented Graphics I , 1991, EurographicSeminars.

[127]  Michael Gleicher,et al.  A graphics toolkit based on differential constraints , 1993, UIST '93.

[128]  Tiziana Catarci,et al.  Advanced Visual Interfaces: Proceedings of the International Workshop AVI '92 , 1992 .

[129]  Louis I. Steinberg Design as Refinement Plus Constraint Propagation: The VEXED Experience , 1987, AAAI.

[130]  Bjørn N. Freeman-Benson Converting an existing user interface to use constraints , 1993, UIST '93.

[131]  M. J. G. M. van van Emmerik A system for interactive graphical modeling with three-dimensional constraints , 1990 .

[132]  Michael Sannella,et al.  Constraint satisfaction and debugging for interactive user interfaces , 1994 .

[133]  Isabel F. Cruz Expressing Constraints for Data Display Specification: A Visual Approach , 1993 .

[134]  Wolfgang Wahlster,et al.  WIP: The Automatic Synthesis of Multimodal Presentations , 1991, AAAI Workshop on Intelligent Multimedia Interfaces.

[135]  Second Eurographics Workshop on Object Oriented Graphics , 1990 .

[136]  Paul Veerkamp,et al.  Intelligent CAD Systems III: Practical Experience and Evaluation , 1991 .

[137]  Steven L. Rohall,et al.  The Rendezvous language and architecture , 1993, CACM.

[138]  Louis I. Steinberg,et al.  EVEXED and MEET for Mechanical Design: Testing Structural Decomposition and Constraint Propagation , 1996, Artif. Intell..

[139]  Charles E. Pfefferkorn,et al.  A heuristic problem solving design system for equipment or furniture layouts , 1975, Commun. ACM.

[140]  Lawrence A. Rowe,et al.  The Picasso Application Framework , 1990 .

[141]  J.T. Stasko,et al.  Tango: a framework and system for algorithm animation , 1990, Computer.

[142]  Bradley T. Vander Zanden Incremental Constraint Satisfaction and its Application to Graphical Interfaces , 1988 .

[143]  J. Davenport Editor , 1960 .

[144]  Enric Celaya Llover Geometric reasoning for the determination of the position of objects linked by spatial relationships , 1993 .

[145]  Ivan E. Sutherland,et al.  Sketchpad a Man-Machine Graphical Communication System , 1899, Outstanding Dissertations in the Computer Sciences.

[146]  Gerhard Friedrich,et al.  Extending Constraint Satisfaction Problem Solving in Structural Design , 1992, IEA/AIE.

[147]  Satoshi Matsuoka,et al.  A general framework for Bi-directional translation between abstract and pictorial data , 1991, UIST '91.

[148]  Alan Borning,et al.  Constraint-Based Tools for Building User Interfaces , 1986, ACM Trans. Graph..

[149]  Tomás Lozano-Pérez,et al.  Spatial Planning: A Configuration Space Approach , 1983, IEEE Transactions on Computers.

[150]  Scott E. Hudson,et al.  Interactive specification of flexible user interface displays , 1990, TOIS.

[151]  J. Ludden,et al.  Principles and Practice , 1998, Community-based Learning and Social Movements.

[152]  R. A. Duisberg,et al.  Animated graphical interfaces using temporal constraints , 1986, CHI '86.

[153]  M. Carter Computer graphics: Principles and practice , 1997 .

[154]  Aleksander Vesel,et al.  Representing Geometric Objects Using Constraint Description Graphs , 1992, IEA/AIE.

[155]  Winfried Graf,et al.  Constraint-based layout in visual program design , 1995, Proceedings of Symposium on Visual Languages.

[156]  John S. Gero,et al.  Artificial Intelligence in Design ’94 , 1994, Springer Netherlands.

[157]  Takao Asano,et al.  A dynamic algorithm for placing rectangles without overlapping , 1991 .

[158]  Wilf R. LaLonde,et al.  A Smalltalk Window System Based on Constraints , 1988, OOPSLA.

[159]  Ralph D. Hill The Rendezvous constraint maintenance system , 1993, UIST '93.

[160]  Joyce J. Elam,et al.  Inside a software design team: knowledge acquisition, sharing, and integration , 1993, CACM.

[161]  Luis Alberto Pineda Reference, Synthesis and Constraint Satisfaction * , 1992, Comput. Graph. Forum.

[162]  Jan Maluszy¿ski Constraint Programming in Oz , 1997 .

[163]  鎌田 富久 Visualizing abstract objects and relations : a constraint-based approach , 1989 .

[164]  Mark S. Fox,et al.  Hierarchical Generate-and-Test vs Constraint-Directed Search , 1992 .

[165]  Christoph M. Hoffmann,et al.  Geometric constraint solver , 1995, Comput. Aided Des..

[166]  William Leler,et al.  Constraint programming languages: their specification and generation , 1988 .

[167]  Remco C. Veltkamp A Quantum Approach to Geometric Constraint Satisfaction , 1991, Workshops on Object-Oriented Graphics.

[168]  Greg Nelson,et al.  Juno, a constraint-based graphics system , 1985, SIGGRAPH.

[169]  Theodosios Pavlidis,et al.  An automatic beautifier for drawings and illustrations , 1985, SIGGRAPH.

[170]  Bjørn N. Freeman-Benson,et al.  An incremental constraint solver , 1990, CACM.

[171]  Walter Hower,et al.  Placing computations by adaptive procedures , 1997, Artif. Intell. Eng..

[172]  Bjørn N. Freeman-Benson Constraint imperative programming , 1992 .

[173]  Yasuo Nagai,et al.  A Constraint-Based Knowledge Compiler for Parametric Design Problems in Mechanical Engineering , 1996 .

[174]  James Bowen,et al.  An Axiomatic Approach that Supports Negotiated Resolution of Design Conflicts in Concurrent Engineering , 1994 .

[175]  Walter Hower,et al.  Constraint Satisfaction - Algorithms and Complexity Analysis , 1995, Inf. Process. Lett..

[176]  Elisha Sacks What's in a Linkage? Review of: Glenn Kramer, Solving Geometric Constraint Systems , 1993, Artif. Intell..

[177]  Yanxi Liu,et al.  Symmetiy Constraint Inference in Assembly Planning: Automatic Assembly Configuration Specification , 1990, AAAI.

[178]  Peter Schnupp,et al.  The Representation and Use of Constraints , 1989 .

[179]  Gurminder Singh,et al.  Inferring 3-dimensional constraints with DEVI , 1994, PPCP.

[180]  Satoru Kawai,et al.  A general framework for visualizing abstract objects and relations , 1991, TOGS.

[181]  Brad A. Myers,et al.  The importance of pointer variables in constraint models , 1991, UIST '91.

[182]  Beat D. Brüderlin,et al.  Constructing three-dimensional geometric objects defined by constraints , 1987, I3D '86.

[183]  Glenn A. Kramer,et al.  A Geometric Constraint Engine , 1992, Artif. Intell..

[184]  Ephraim P. Glinert,et al.  Visual Programming Environments: Paradigms and Systems , 1990 .

[185]  Paul S. Barth An object-oriented approach to graphical interfaces , 1986, TOGS.

[186]  Ram D. Sriram,et al.  Solving constraint satisfaction problems using ATeams , 1996, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[187]  Norman I. Badler,et al.  Interactive real-time articulated figure manipulation using multiple kinematic constraints , 1990, I3D '90.