{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T18:39:18Z","timestamp":1743014358593,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540428633"},{"type":"electronic","value":"9783540455783"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45578-7_25","type":"book-chapter","created":{"date-parts":[[2007,5,28]],"date-time":"2007-05-28T06:34:25Z","timestamp":1180334065000},"page":"361-376","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Solving Disjunctive Constraints for Interactive Graphical Applications"],"prefix":"10.1007","author":[{"given":"Kim","family":"Marriott","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Moulder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter J.","family":"Stuckey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan","family":"Borning","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,11,19]]},"reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"David Baraff. Fast contact force computation for nonpenetrating rigid bodies. In SIGGRAPH\u2019 94 Conference Proceedings, pages 23\u201332. ACM, 1994.","DOI":"10.1145\/192161.192168"},{"issue":"3","key":"25_CR2","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/BF01807506","volume":"5","author":"A. Borning","year":"1992","unstructured":"Alan Borning, Bjorn Freeman-Benson, and Molly Wilson. Constraint hierarchies. Lisp and Symbolic Computation, 5(3):223\u2013270, September 1992.","journal-title":"Lisp and Symbolic Computation"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"Alan Borning, Kim Marriott, Peter Stuckey, and Yi Xiao. Solving linear arithmetic constraints for user interface applications. In Proceedings of the 1997 ACM Symposium on User Interface Software and Technology, October 1997.","DOI":"10.1145\/263407.263518"},{"key":"25_CR4","unstructured":"Ioannis Fudos. Geometric Constraint Solving. PhD thesis, Purdue University, Department of Computer Sciences, 1995."},{"key":"25_CR5","unstructured":"Michael Gleicher. A Differential Approach to Constraint Satisfaction. PhD thesis, School of Computer Science, Carnegie-Mellon University, 1994."},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Mikako Harada, Andrew Witkin, and David Baraff. Interactive physically-based manipulation of discrete\/continuous models. In SIGGRAPH\u2019 95 Conference Proceedings, pages 199\u2013208, Los Angeles, August 1995. ACM.","DOI":"10.1145\/218380.218443"},{"key":"25_CR7","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"David Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"issue":"1\u20133","key":"25_CR8","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1016\/0004-3702(92)90012-M","volume":"58","author":"G. Kramer","year":"1992","unstructured":"Glenn Kramer. A geometric constraint engine. Artificial Intelligence, 58(1\u20133):327\u2013360, December 1992.","journal-title":"Artificial Intelligence"},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"K. Marriott, S.S. Chok, and A. Finlay. A tableau based constraint solving toolkit for interactive graphical applications. In International Conference on Principles and Practice of Constraint Programming (CP98), pages 340\u2013354, 1998.","DOI":"10.1007\/3-540-49481-2_25"},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"Kim Marriott and Peter Stuckey. Programming with Constraints: An Introduction. MIT Press, 1998.","DOI":"10.7551\/mitpress\/5625.001.0001"},{"key":"25_CR11","doi-asserted-by":"publisher","DOI":"10.1002\/9781118627372","volume-title":"Integer and Combinatorial Optimization","author":"G. L. Nemhauser","year":"1988","unstructured":"George L. Nemhauser and Laurence A. Wolsey. Integer and Combinatorial Optimization. Wiley, NewYork, 1988."},{"key":"25_CR12","unstructured":"James Rumbaugh, Ivar Jacobson, and Grady Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, 1998."},{"issue":"5","key":"25_CR13","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1002\/spe.4380230507","volume":"23","author":"M. Sannella","year":"1993","unstructured":"Michael Sannella, John Maloney, Bjorn Freeman-Benson, and Alan Borning. Multiway versus one-way constraints in user interfaces: Experience with the DeltaBlue algorithm. Software-Practice and Experience, 23(5):529\u2013566, May 1993.","journal-title":"Software-Practice and Experience"},{"key":"25_CR14","doi-asserted-by":"crossref","unstructured":"Ivan Sutherland. Sketchpad: A Man-Machine Graphical Communication System. PhD thesis, Department of Electrical Engineering, MIT, January 1963.","DOI":"10.1145\/1461551.1461591"},{"issue":"1","key":"25_CR15","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/225540.225543","volume":"18","author":"B. Vander Zanden","year":"1996","unstructured":"Brad Vander Zanden. An incremental algorithm for satisfying hierarchies of multiway dataflow constraints. ACM Transactions on Programming Languages and Systems, 18(1):30\u201372, January 1996.","journal-title":"ACM Transactions on Programming Languages and Systems"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2014 CP 2001"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45578-7_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,30]],"date-time":"2020-03-30T21:08:35Z","timestamp":1585602515000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45578-7_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540428633","9783540455783"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-45578-7_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"19 November 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}