{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:43:27Z","timestamp":1752461007416},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540637530"},{"type":"electronic","value":"9783540696421"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0017462","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T07:22:46Z","timestamp":1132644166000},"page":"491-505","source":"Crossref","is-referenced-by-count":10,"title":["Compiling constraint solving using projection"],"prefix":"10.1007","author":[{"given":"Warwick","family":"Harvey","sequence":"first","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":[[2005,6,10]]},"reference":[{"issue":"4","key":"38_CR1","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1145\/357146.357147","volume":"3","author":"A. Borning","year":"1981","unstructured":"A. Borning. The programming language aspects of ThingLab, a constraint-oriented simulation laboratory. ACM TOPLAS, 3(4):353\u2013387, 1981.","journal-title":"ACM TOPLAS"},{"key":"38_CR2","doi-asserted-by":"crossref","unstructured":"A. Borning, R. Anderson, and B. Freeman-Benson. Indigo: A local propagation algorithm for inequality constraints. In Procs. ACM Symp. on User Interface Software and Technology, 129\u2013136, Seattle, 1996.","DOI":"10.1145\/237091.237110"},{"key":"38_CR3","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 Procs. of CP95, 624\u2013628, Cassis, France, 1995.","DOI":"10.1007\/3-540-60299-2_38"},{"issue":"3","key":"38_CR4","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/BF01807506","volume":"5","author":"A. Borning","year":"1992","unstructured":"A. Borning, B. Freeman-Benson, and M. Wilson. Constraint hierarchies. Lisp and Symbolic Computation, 5(3):223\u2013270, 1992.","journal-title":"Lisp and Symbolic Computation"},{"key":"38_CR5","doi-asserted-by":"crossref","unstructured":"A. Borning, R. Lin, and K. Marriott. Constraints for the web. In Proceedings of ACM MULTIMEDIA'97, November 1997. To appear.","DOI":"10.1145\/266180.266361"},{"key":"38_CR6","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 1997 ACM Conference on User Interface Software and Technology, October 1997. To appear.","DOI":"10.1145\/263407.263518"},{"key":"38_CR7","doi-asserted-by":"crossref","unstructured":"W. Harvey, P. Stuckey, and A. Borning. Compiling constraint solving using projection. TR 97\/6, Dept. of Computer Science, University of Melbourne, 1997.","DOI":"10.1007\/BFb0017462"},{"key":"38_CR8","unstructured":"R. Helm, T. Huynh, C. Lassez, and K. Marriott. A linear constraint technology for interactive graphic systems. In Graphics Interface '92, 301\u2013309, 1992."},{"key":"38_CR9","doi-asserted-by":"crossref","unstructured":"H. Hosobe, S. Matsuoka, and A. Yonezawa. Generalized local propagation: A framework for solving constraint hierarchies. In Procs. of the CP96, Boston, 1996.","DOI":"10.1007\/3-540-61551-2_78"},{"key":"38_CR10","unstructured":"S. E. Hudson and I. Smith. SubArctic UI toolkit user's manual. Tech. report, College of Computing, Georgia Institute of Technology, 1996."},{"key":"38_CR11","doi-asserted-by":"crossref","unstructured":"B. A. Myers. The Amulet user interface development environment. In CHI'96 Conference Companion: Human Factors in Computing Systems, Vancouver, B.C., April 1996. ACM SIGCHI.","DOI":"10.1145\/257089.257351"},{"key":"38_CR12","unstructured":"C.G. Nelson. An nlog n algorithm for the two-variable-per-constraint linear programming satisfiability problem. Report STAN-CS-78-689, Stanford, 1978."},{"issue":"5","key":"38_CR13","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1002\/spe.4380230507","volume":"23","author":"M. Sannella","year":"1993","unstructured":"M. Sannella, J. Maloney, B. Freeman-Benson, and A. Borning. Multi-way versus one-way constraints in user interfaces: Experience with the DeltaBlue algorithm. Software-Practice and Experience, 23(5):529\u2013566, 1993.","journal-title":"Software-Practice and Experience"},{"key":"38_CR14","unstructured":"Z. Somogyi, F. Henderson, and T. Conway. Mercury: an efficient purely declarative logic programming language. In Procs. of the ACSC95, 499\u2013512, Glenelg, Australia, 1995."},{"key":"38_CR15","doi-asserted-by":"crossref","unstructured":"I. Sutherland. Sketchpad: A man-machine graphical communication system. In Proceedings of the Spring Joint Computer Conference, 329\u2013346. IFIPS, 1963.","DOI":"10.1145\/1461551.1461591"},{"issue":"1","key":"38_CR16","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1145\/225540.225543","volume":"18","author":"B. Zanden Vander","year":"1996","unstructured":"B. Vander Zanden. An incremental algorithm for satisfying hierarchies of multi-way dataflow constraints. ACM TOPLAS, 18(1):30\u201372, 1996.","journal-title":"ACM TOPLAS"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming-CP97"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0017462","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T02:52:45Z","timestamp":1586573565000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0017462"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540637530","9783540696421"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0017462","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}