{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:30:07Z","timestamp":1752460207574},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540652243"},{"type":"electronic","value":"9783540494812"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49481-2_25","type":"book-chapter","created":{"date-parts":[[2007,11,24]],"date-time":"2007-11-24T19:46:10Z","timestamp":1195933570000},"page":"340-354","source":"Crossref","is-referenced-by-count":13,"title":["A Tableau Based Constraint Solving Toolkit for Interactive Graphical Applications"],"prefix":"10.1007","author":[{"given":"Kim","family":"Marriott","sequence":"first","affiliation":[]},{"given":"Sitt Sen","family":"Chok","sequence":"additional","affiliation":[]},{"given":"Alan","family":"Finlay","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,6,11]]},"reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"A. Borning and B. Freeman-Benson. The OTI constraint solver: A constraint library for constructing interactive graphical user interfaces. In Proceedings of the First International Conference on Principles and Practice of Constraint Programming, pages 624\u2013628, Cassis, France, September 1995.","DOI":"10.1007\/3-540-60299-2_38"},{"issue":"1","key":"25_CR2","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1023\/A:1009704614502","volume":"3","author":"A. Borning","year":"1998","unstructured":"A. Borning and B. Freeman-Benson. Ultraviolet: A constraint satisfaction algorithm for interactive graphics. Constraints, 3(1):9\u201332, 1998.","journal-title":"Constraints"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"A. Borning, B. Freeman-Benson, and M. Wilson. Constraint hierarchies. Lisp and Symbolic Computation, 5(3):223\u2013270, September 1992.","DOI":"10.1007\/BF01807506"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"A. Borning, R. Lin, and K. Marriott. Constraints for the Web. In Proceedings of the Fifth ACM International Multi-Media Conference, pages 173\u2013182, November 1997.","DOI":"10.1145\/266180.266361"},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"A. Borning, K. Marriott, P. Stuckey, and Y. Xiao. Solving linear arithmetic constraints for user interface applications. In Proceedings of the 10th ACM Symposium on User Interface Software and Technology, pages 87\u201396, 1997.","DOI":"10.1145\/263407.263518"},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"S.S. Chok and K. Marriott. Automatic construction of user interfaces from constraint multiset grammars. In IEEE Symposium on Visual Languages, pages 242\u2013250, 1995.","DOI":"10.1109\/VL.1995.520815"},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"S.S. Chok and K. Marriott. Automatic construction of intelligent diagram editors. In Proceedings of the 11th ACM Symposium on User Interface Software and Technology, 1998.","DOI":"10.1145\/288392.288603"},{"key":"25_CR8","volume-title":"Practical Methods of Optimization","author":"R. Fletcher","year":"1987","unstructured":"R. Fletcher. Practical Methods of Optimization. John Wiley & Sons, Chichester, 1987."},{"key":"25_CR9","series-title":"Lect Notes Comput Sci","first-page":"217","volume-title":"Graph Drawing\u2019 96","author":"W. He","year":"1996","unstructured":"W. He and K. Marriott. Constrained graph layout. In Graph Drawing\u2019 96, volume 1190 of LNCS, pages 217\u2013232. Springer-Verlag, 1996."},{"key":"25_CR10","unstructured":"W. He and K. Marriott. Removing node overlapping using constrained optimisation. In Twenty-First Australasian Computer Science Conf., pages 169\u2013180. Springer-Verlag, 1998."},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"R. Helm, T. Huynh, K. Marriott, and J. Vlissides. An object-oriented architecture for constraint-based graphical editing. In C. Laffra, E. Blake, V. de Mey, and X. Pintado, editors, Object-Oriented Programming for Graphics, pages 217\u2013238. Springer-Verlag, 1995.","DOI":"10.1007\/978-3-642-79192-5_16"},{"key":"25_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/3-540-61551-2_78","volume-title":"Proceedings of the Second International Conference on Principles and Practice of Constraint Programming","author":"H. Hosobe","year":"1996","unstructured":"H. Hosobe, S. Matsuoka, and A. Yonezawa. 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. Springer-Verlag LLNCS 1118, 1996."},{"key":"25_CR13","doi-asserted-by":"crossref","unstructured":"H. Hosobe, K. Miyashita, S. Takahashi, S. Matsuoka, and A. Yonezawa. Locally simultaneous constraint satisfaction. In Proceedings of the 1994 Workshop on Principles and Practice of Constraint Programming, pages 51\u201362. Springer-Verlag LL-NCS 874, 1994.","DOI":"10.1007\/3-540-58601-6_89"},{"key":"25_CR14","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/0020-0190(95)00063-I","volume":"55","author":"T. Huynh","year":"1995","unstructured":"T. Huynh and K. Marriott. Incremental constraint deletion in systems of linear constraints. Information Processing Letters, 55:111\u2013115, 1995.","journal-title":"Information Processing Letters"},{"key":"25_CR15","doi-asserted-by":"crossref","unstructured":"K. Marriott and P. Stuckey. Programming with Constraints: An Introduction. The MIT Press, 1998.","DOI":"10.7551\/mitpress\/5625.001.0001"},{"key":"25_CR16","doi-asserted-by":"crossref","unstructured":"I. Sutherland. Sketchpad: A man-machine graphical communication system. In Proceedings of the Spring Joint Computer Conference, pages 329\u2013346. IFIPS, 1963.","DOI":"10.1145\/1461551.1461591"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2014 CP98"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49481-2_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T22:18:04Z","timestamp":1551133084000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49481-2_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540652243","9783540494812"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-49481-2_25","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}