{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T18:05:37Z","timestamp":1725645937891},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642791949"},{"type":"electronic","value":"9783642791925"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-3-642-79192-5_6","type":"book-chapter","created":{"date-parts":[[2011,12,26]],"date-time":"2011-12-26T09:20:26Z","timestamp":1324891226000},"page":"54-70","source":"Crossref","is-referenced-by-count":0,"title":["A Quantum Approach to Geometric Constraint Satisfaction"],"prefix":"10.1007","author":[{"given":"Remco C.","family":"Veltkamp","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Arbab, F. and Wang, B. (1989). A geometric constraint management system in Oar. In ten Hagen, P. J. W. and Veerkamp, P., editors, Intelligent CAD Systems III \u2014 Practical Experience and Evaluation (Proceedings 3rd Eurographics Workshop on Intelligent CAD Systems, 1989), pages 231-252. Springer-Verlag."},{"key":"6_CR2","unstructured":"Arbab, F. and Wing, J. M. (1985). Geometric reasoning: A new paradigm for processing geometric information. In Yoshikawa, H. and Warman, E. A., editors, Design Theory for CAD (Proceedings of the IFIP WG. 5.2 Working Conference, 1985), pages 145-165. Elsevier Science Publishers."},{"issue":"6","key":"6_CR3","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1109\/MCG.1987.276894","volume":"7","author":"NI Badler","year":"1987","unstructured":"Badler, N. I. and Kamran, H. (1987). Articulated figure positioning by multiple constraints. IEEE Computer Graphics & Applications (special issue on articulated figure animation, 7(6):28\u201338.","journal-title":"IEEE Computer Graphics & Applications"},{"issue":"4","key":"6_CR4","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1145\/357146.357147","volume":"3","author":"A Borning","year":"1981","unstructured":"Borning, A. (1981). The programming language aspects of ThingLab, a constraint-oriented simulation laboratory. ACM Transactions on Programming Languages and Systems, 3(4):353\u2013387.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"7","key":"6_CR5","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1145\/79204.79209","volume":"33","author":"J Cohen","year":"1990","unstructured":"Cohen, J. (1990). Constraint logic programming languages. Communications of the ACM, 33(7):52\u201368.","journal-title":"Communications of the ACM"},{"key":"6_CR6","unstructured":"Cournarie, E. and Beaudouin-Lafon, M. (1992). Alien: a prototype-based constraint system. In this volume."},{"key":"6_CR7","unstructured":"Davenport, J. H., Siret, Y., and Tournier, E. (1988). Computer Algebra \u2014 systems and algorithms for algebraic computation. Academic Press."},{"key":"6_CR8","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/0004-3702(87)90091-9","volume":"32","author":"E Davis","year":"1987","unstructured":"Davis, E. (1987). Constraint propagation with interval labels. Artificial Intelligence, 32:281\u2013331.","journal-title":"Artificial Intelligence"},{"key":"6_CR9","unstructured":"Emmerik, M. J. G. M. v. (1990). A system for interactive graphical modeling with 3D constraints. In Proceedings Computer Graphics International\u2019 90, pages 361-376. Sringer-Verlag."},{"issue":"10","key":"6_CR10","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1145\/97946.97957","volume":"25","author":"BN Freeman-Benson","year":"1990","unstructured":"Freeman-Benson, B. N. (1990). Kaleidoscope: Mixing objects, constraints, and imperative programming. (ECOOP\/OOPSLA\u2019 90 Proceedings) SIGPLAN Notices, 25(10):77\u201388.","journal-title":"SIGPLAN Notices"},{"key":"6_CR11","unstructured":"Heintze, N. C, Michaylov, S., and Stuckey, P. J. (1987). CLP(K) and some problems in electrical engineering. In Lassez, J.-L., editor, Proceedings of the 4th International Conference on Logic Programming. MIT Press."},{"key":"6_CR12","unstructured":"Helander, M., editor (1988). Handbook of Human-Computer Interaction. North-Holland."},{"issue":"2","key":"6_CR13","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/127070.127087","volume":"2","author":"C Laffra","year":"1991","unstructured":"Laffra, C. and van den Bos, J. (1991). Propagators and concurrent constraints. OOPS Messenger 2(2):68\u201372.","journal-title":"OOPS Messenger"},{"key":"6_CR14","unstructured":"Leier, W. (1988). Constraint Programming Languages, Their Specification and Generation. Addison-Wesley."},{"issue":"3","key":"6_CR15","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1145\/965161.806803","volume":"15","author":"VC Lin","year":"1981","unstructured":"Lin, V. C., Gossard, D. C, and Light, R. A. (1981). Variational geometry in computer-aided design. (Proceedings SIGGRAPH\u2019 81) Computer Graphics, 15(3):171\u2013177.","journal-title":"Computer Graphics"},{"key":"6_CR16","unstructured":"M\u00e4ntyl\u00e4, M. (1988). An Introduction to Solid Modeling. Computer Science Press."},{"key":"6_CR17","volume-title":"Object-Oriented Concepts, Databases, and Applications","author":"DA Moon","year":"1989","unstructured":"Moon, D. A. (1989). The common lisp object-oriented programming language. In Kim, W. and Lochovsky, F., editors, Object-Oriented Concepts, Databases, and Applications. ACM Press\/Addison Wesley."},{"issue":"3","key":"6_CR18","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1145\/325165.325241","volume":"19","author":"G Nelson","year":"1985","unstructured":"Nelson, G. (1985). Juno, a constraint-based graphics system. Proceedings SIGGRAPH\u2019 85, Computer Graphics, 19(3):235\u2013243.","journal-title":"Proceedings SIGGRAPH\u2019 85, Computer Graphics"},{"key":"6_CR19","unstructured":"Pratt, M. J. (1987). Form Features and their Applications in Solid Modeling, Tutorial SIGGRAPH\u201487."},{"key":"6_CR20","unstructured":"Quintus (1990). Quintus Prolog User Manual. Quintus Computer Systems, Inc."},{"key":"6_CR21","unstructured":"Rankin, J. R. (1992). A graphical object oriented constraint solver. In this volume."},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Rankin, J. R. and Burns, J. (1991). Coordinate frames and geometric approximation in graphics object oriented programming. In E. Blake, and P. Wi\u00dfkirchen, editors, Advances in Object-Oriented Graphics I, pages 131-148. Springer-Verlag.","DOI":"10.1007\/978-3-642-76303-8_8"},{"key":"6_CR23","unstructured":"Rossignac, J. R. (1986). Constraints in constructive solid geometry. In Crow, F. and Pizer, S. M., editors, Proceedings of the 1986 ACM Workshop on Interactive 3D Graphics, pages 93-110. ACM Press."},{"issue":"1","key":"6_CR24","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/BF03037020","volume":"1","author":"E Shapiro","year":"1983","unstructured":"Shapiro, E. and A. Takeuchi (1983). Object-oriented programming in concurrent Prolog. New Generation Computing, 1(1):25\u201348.","journal-title":"New Generation Computing"},{"issue":"1","key":"6_CR25","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1145\/390009.804464","volume":"9","author":"GL Steele Jr.","year":"1979","unstructured":"Steele Jr., G. L. and Sussman, G. J. (1979). CONSTRAINTS. APL Quote Quad, 9(4-Part 1):208\u2013225.","journal-title":"APL Quote Quad"},{"key":"6_CR26","unstructured":"Stroustrup, B. (1986). The C++ Programming Language. Addison Wesley."},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"Sutherland, I. (1963). Sketchpad: A man-machine graphical communication system. In Proceedings of the Spring Joint Computer Conference (IFIPS), pages 329-345.","DOI":"10.1145\/1461551.1461591"},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"Szekely, P. and Myers, B. (1988). A user-interface toolkit based on graphical objects and constraints. In Proceedings of the 1988 ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 36-45. ACM.","DOI":"10.1145\/62083.62088"},{"key":"6_CR29","unstructured":"Veltkamp, R. C. (1991). Geometric constraint management with quanta. In Brown, D. C., Waldron, M., and Yoshikawa, H., editors, Proceedings of the IFIP TC5\/WG5.2 Working Conference on Intelligent Computer Aided Design, Columbus, Ohio, September 1991). To be published by North-Holland."},{"key":"6_CR30","doi-asserted-by":"crossref","unstructured":"Veltkamp, R. C. and Arbab, F. (1992). Geometric constraint propagation with quantum labels. In B. Falcidieno, I. Herman, and C. Pienovi, editors, Computer Graphics and Mathematics, pages 211-228. Springer-Verlag.","DOI":"10.1007\/978-3-642-77586-4_14"},{"key":"6_CR31","unstructured":"Zaniolo, C. (1984). Object-oriented programming in Prolog. In Proceedings of the IEEE International Symposium on Logic Programming, pages 265-270. IEEE."}],"container-title":["Object-Oriented Programming for Graphics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-79192-5_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,22]],"date-time":"2019-04-22T21:21:19Z","timestamp":1555968079000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-79192-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783642791949","9783642791925"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-79192-5_6","relation":{},"subject":[],"published":{"date-parts":[[1995]]}}}