{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:12:28Z","timestamp":1725664348572},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540586012"},{"type":"electronic","value":"9783540490326"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58601-6_90","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:37:49Z","timestamp":1330274269000},"page":"63-77","source":"Crossref","is-referenced-by-count":4,"title":["Analyzing and debugging hierarchies of multi-way local propagation constraints"],"prefix":"10.1007","author":[{"given":"Michael","family":"Sannella","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"issue":"3","key":"6_CR1","doi-asserted-by":"crossref","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":"6_CR2","unstructured":"Richard Helm, Tien Huynh, Kim Marriott, and John Vlissides. An Object-Oriented Architecture for Constraint-Based Graphical Editing. In Proceedings of the Third Eurographics Workshop on Object-oriented Graphics, Champery, Switzerland, October 1992. Also will be published in Advances in Object-Oriented Graphics II, Springer-Verlag, 1993."},{"issue":"3","key":"6_CR3","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1145\/129393.129398","volume":"14","author":"J. Jaffar","year":"1992","unstructured":"Joxan Jaffar, Spiro Michaylov, Peter Stuckey, and Roland Yap. The CLP(R) Language and System. ACM Transactions on Programming Languages and Systems, 14(3):339\u2013395, July 1992.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"6_CR4","unstructured":"Walid T. Keirouz, Glenn A. Kramer, and Jahir Pabon. Exploiting Constraint Dependency Information for Debugging and Explanation. In Saraswat and van Hentenryck, editors, Proceedings of the 1993 Workshop on Principles and Practice of Constraint Programming. MIT Press, 1994. To appear."},{"key":"6_CR5","unstructured":"John Maloney. Using Constraints for User Interface Construction. PhD thesis, Department of Computer Science and Engineering, University of Washington, August 1991. Published as UW CSE Technical Report 91-08-12."},{"issue":"11","key":"6_CR6","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1109\/2.60882","volume":"23","author":"B. A. Myers","year":"1990","unstructured":"Brad A. Myers, Dario A. Giuse, Roger B. Dannenberg, Brad Vander Zanden, David S. Kosbie, Ed Pervin, Andrew Mickish, and Philippe Marchal. Garnet: Comprehensive Support for Graphical, Highly-Interactive User Interfaces. IEEE Computer, 23(11):71\u201385, November 1990.","journal-title":"IEEE Computer"},{"key":"6_CR7","unstructured":"Michael Sannella. Constraint Satisfaction and Debugging for Interactive User Interfaces. PhD thesis, Department of Computer Science and Engineering, University of Washington, 1994."},{"key":"6_CR8","unstructured":"Michael Sannella. The SkyBlue Constraint Solver and Its Applications. In Saraswat and van Hentenryck, editors, Proceedings of the 1993 Workshop on Principles and Practice of Constraint Programming. MIT Press, 1994. To appear."},{"key":"6_CR9","unstructured":"Michael Sannella and Alan Borning. Multi-Garnet: Integrating Multi-Way Constraints with Garnet. Technical Report 92-07-01, Department of Computer Science and Engineering, University of Washington, September 1992."},{"issue":"5","key":"6_CR10","doi-asserted-by":"crossref","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. Multi-way versus One-way Constraints in User Interfaces: Experience with the DeltaBlue Algorithm. Software\u2014Practice and Experience, 23(5):529\u2013566, May 1993.","journal-title":"Software\u2014Practice and Experience"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58601-6_90.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:18:58Z","timestamp":1619572738000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58601-6_90"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540586012","9783540490326"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-58601-6_90","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}