{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,13]],"date-time":"2025-07-13T04:40:03Z","timestamp":1752381603817,"version":"3.41.2"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2002,7,1]],"date-time":"2002-07-01T00:00:00Z","timestamp":1025481600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,7,1]],"date-time":"2002-07-01T00:00:00Z","timestamp":1025481600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Constraints"],"published-print":{"date-parts":[[2002,7]]},"DOI":"10.1023\/a:1020513316058","type":"journal-article","created":{"date-parts":[[2003,3,18]],"date-time":"2003-03-18T15:12:43Z","timestamp":1048000363000},"page":"229-254","source":"Crossref","is-referenced-by-count":20,"title":["QOCA: A Constraint Solving Toolkit for Interactive Graphical Applications"],"prefix":"10.1007","volume":"7","author":[{"given":"Kim","family":"Marriott","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sitt","family":"Sen Chok","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5095774_CR1","first-page":"624","volume-title":"Proceedings of the First International Conference on Principles andPr actice of Constraint Programming","author":"A. Borning","year":"1995","unstructured":"Borning, A., & Freeman-Benson, B. (1995). The OTI constraint solver: A constraint library for constructing interactive graphical user interfaces. In Proceedings of the First International Conference on Principles andPr actice of Constraint Programming, pages 624\u2013628, Cassis, France."},{"issue":"1","key":"5095774_CR2","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1023\/A:1009704614502","volume":"3","author":"A. Borning","year":"1998","unstructured":"Borning, A., & Freeman-Benson, B. (1998). Ultraviolet: A constraint satisfaction algorithm for interactive graphics. Constraints: an International Journal, 3(1): 9\u201332.","journal-title":"Constraints: an International Journal"},{"issue":"3","key":"5095774_CR3","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/BF01807506","volume":"5","author":"A. Borning","year":"1992","unstructured":"Borning, A., Freeman-Benson, B., & Wilson, M. (1992). Constraint hierarchies. Lisp andSymbolic Computation, 5(3): 223\u2013270.","journal-title":"Lisp andSymbolic Computation"},{"key":"5095774_CR4","doi-asserted-by":"crossref","unstructured":"Borning, A., Lin, R., & Marriott, K. (1997). Constraints for the Web. In Proceedings of the Fifth ACM International Multi-Media Conference, pages 173\u2013182.","DOI":"10.1145\/266180.266361"},{"key":"5095774_CR5","doi-asserted-by":"crossref","unstructured":"Borning, A., Marriott, K., Stuckey, P., & Xiao, Y. (1997). Solving linear arithmetic constraints for user interface applications. In Proceedings of the 10th ACM Symposium on User Interface Software and Technology, pages 87\u201396.","DOI":"10.1145\/263407.263518"},{"key":"5095774_CR6","doi-asserted-by":"crossref","unstructured":"Chok, S. S., & Marriott, K. (1995). Automatic construction ofuser interfaces from constraint multiset grammars. In IEEE Symposium on Visual Languages, pages 242\u2013250.","DOI":"10.1109\/VL.1995.520815"},{"key":"5095774_CR7","doi-asserted-by":"crossref","unstructured":"Chok, S. S., & Marriott, K. (1998). Automatic construction ofintelligent diagram editors. In Proceedings of the 11th ACM Symposium on User Interface Software andT echnology, pages 185\u2013194.","DOI":"10.1145\/288392.288603"},{"key":"5095774_CR8","doi-asserted-by":"crossref","unstructured":"Chok, S. S., Marriott, K., & Paton, T. (1999). Constraint-based diagram beautification. In Proceedings of the IEEE Symposium on Visual Languages (VL'99), pages 12\u201319.","DOI":"10.1109\/VL.1999.795870"},{"key":"5095774_CR9","volume-title":"Practical Methods of Optimization","author":"R. Fletcher","year":"1987","unstructured":"Fletcher, R. (1987). Practical Methods of Optimization. John Wiley & Sons, Chichester."},{"issue":"4","key":"5095774_CR10","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1023\/A:1009771921595","volume":"3","author":"W. He","year":"1998","unstructured":"He, W., & Marriott, K. (1998). Constrained graph layout. Constraints: an International Journal, 3(4): 289\u2013314.","journal-title":"Constraints: an International Journal"},{"key":"5095774_CR11","unstructured":"He, W., & Marriott, K. (1998). Removing node overlapping using constrained optimisation. In Twenty-First Australasian Computer Science Conference, pages 169\u2013180. Springer-Verlag."},{"key":"5095774_CR12","doi-asserted-by":"crossref","unstructured":"Helm, R., Huynh, T., Marriott, K., & Vlissides, J. (1995). An object-oriented architecture for constraintbased graphical editing. In Laffra, C., Blake, E., de Mey, V., & Pintado, X. eds. Object-OrientedPr ogramming for Graphics, pages 217\u2013238. Springer-Verlag.","DOI":"10.1007\/978-3-642-79192-5_16"},{"key":"5095774_CR13","doi-asserted-by":"crossref","unstructured":"Hosobe, H., Matsuoka, S., & Yonezawa, A. (1996). Generalized local propagation: A framework for solving constraint hierarchies. In Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, pages 237\u2013251. LLNCS 1118, Springer-Verlag.","DOI":"10.1007\/3-540-61551-2_78"},{"key":"5095774_CR14","doi-asserted-by":"crossref","unstructured":"Hosobe, H., Miyashita, K., Takahashi, S., Matsuoka, S., & Yonezawa, A. (1994). Locally simultaneous constraint satisfaction. In Proceedings of the 1994 Workshop on Principles and Practice of Constraint Programming, pages 51\u201362. LLNCS 874, Springer-Verlag.","DOI":"10.1007\/3-540-58601-6_89"},{"key":"5095774_CR15","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/0020-0190(95)00063-I","volume":"55","author":"T. Huynh","year":"1995","unstructured":"Huynh, T., & Marriott, K. (1995). Incremental constraint deletion in systems oflinear constraints. Information Processing Letters, 55: 111\u2013115.","journal-title":"Information Processing Letters"},{"key":"5095774_CR16","doi-asserted-by":"crossref","unstructured":"Marriott, K., Chok, S. S., & Finlay, A. (1998). A tableau based constraint solving toolkit for interactive graphical applications. In International Conference on Principles andPr actice of Constraint Programming (CP98), pages 340\u2013354.","DOI":"10.1007\/3-540-49481-2_25"},{"key":"5095774_CR17","doi-asserted-by":"crossref","unstructured":"Marriott, K., & Stuckey, P. (1998). Programming with Constraints: An Introduction. The MIT Press.","DOI":"10.7551\/mitpress\/5625.001.0001"},{"key":"5095774_CR18","doi-asserted-by":"crossref","unstructured":"Sutherland, I. (1963). Sketchpad: A man-machine graphical communication system. In Proceedings of the Spring Joint Computer Conference, pages 329\u2013346. IFIPS.","DOI":"10.1145\/1461551.1461591"},{"key":"5095774_CR19","unstructured":"Van Wyk, C. J. (1991). A class library for solving simultaneous equations. In Proceedings of the USENIX C++ Technical Conference, pages 229\u2013234."},{"issue":"6","key":"5095774_CR20","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1002\/spe.4380220604","volume":"22","author":"C. J. Van Wyk","year":"1992","unstructured":"Van Wyk, C. J. (1992). Arithmetic equality constraints as C++ statements. Software\u2014Practice and Experience, 22(6): 467\u2013494.","journal-title":"Software\u2014Practice and Experience"}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1020513316058.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1020513316058\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1020513316058.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,13]],"date-time":"2025-07-13T04:10:45Z","timestamp":1752379845000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1020513316058"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,7]]},"references-count":20,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2002,7]]}},"alternative-id":["5095774"],"URL":"https:\/\/doi.org\/10.1023\/a:1020513316058","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"type":"print","value":"1383-7133"},{"type":"electronic","value":"1572-9354"}],"subject":[],"published":{"date-parts":[[2002,7]]}}}