{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:20:31Z","timestamp":1725484831168},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540677970"},{"type":"electronic","value":"9783540449577"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44957-4_29","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T01:24:41Z","timestamp":1180661081000},"page":"429-447","source":"Crossref","is-referenced-by-count":6,"title":["Promoting Constraints to First-Class Status"],"prefix":"10.1007","author":[{"given":"Tobias","family":"M\u00fcller","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,12,15]]},"reference":[{"key":"29_CR1","doi-asserted-by":"crossref","unstructured":"Fr\u00e9d\u00e9ric Benhamou and William J. Older. Applying interval arithmetic to real, integer and boolean constraints. Journal of Logic Programming, 1997.","DOI":"10.1016\/S0743-1066(96)00142-2"},{"key":"29_CR2","first-page":"693","volume-title":"Proceedings of the International Conference on Fifth Generation Computer Systems FGCS-88","author":"M. Dincbas","year":"1988","unstructured":"M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F. Berthier. The constraint logic programming language CHIP. In Proceedings of the International Conference on Fifth Generation Computer Systems FGCS-88, pages 693\u2013702, Tokyo, Japan, December 1988. Institute for New Generation Computer Technology (ICOT), Tokyo, Japan."},{"key":"29_CR3","doi-asserted-by":"crossref","unstructured":"Thom Fr\u00fcwirth. Theory and practice of constraint handling rules. Special Issue on Constraint Logic Programming, Journal of Logic Programming, 37(1\u20133), October 1998.","DOI":"10.1016\/S0743-1066(98)10005-5"},{"key":"29_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/3-540-49481-2_18","volume-title":"Proceedings of the Fourth International Conference on Principles and Practice of Constraint Programming (CP98)","author":"W. Harvey","year":"1998","unstructured":"Warwick Harvey and Peter J. Stuckey. Constraint representation for propagation. In M. Maher and J.-F. Puget, editors, Proceedings of the Fourth International Conference on Principles and Practice of Constraint Programming (CP98), Lecture Notes in Computer Science, pages 235\u2013249, Pisa, Italy, October 1998. Springer-Verlag."},{"key":"29_CR5","doi-asserted-by":"crossref","unstructured":"Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, and Roland H.C. Yap. Meta-programming in CLP(R). Journal of Logic Programming, 33(3):221\u2013259, December 1997.","DOI":"10.1016\/S0743-1066(96)00145-8"},{"key":"29_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1007\/3-540-61794-9_58","volume-title":"Practice and Theory of Automated Timetabling, First International Conference, Selected Papers, Edinburgh 1995","author":"M. Henz","year":"1996","unstructured":"Martin Henz and J\u00f6rg W\u00fcrtz. Using Oz for college timetabling. In E.K. Burke and P. Ross, editors, Practice and Theory of Automated Timetabling, First International Conference, Selected Papers, Edinburgh 1995, volume 1153 of Lecture Notes in Computer Science, Springer, pages 162\u2013178. Springer-Verlag, Berlin-Heidelberg, 1996."},{"key":"29_CR7","unstructured":"ILOG S. A., URL: http:\/\/www.ilog.com\/ . ILOG Solver 4.4, User\u2019s Manual, 1999."},{"key":"29_CR8","unstructured":"Michael Mehl, Tobias M\u00fcller, Christian Schulte, and Ralf Scheidhauer. Interfacing to C and C++. Technical report, Mozart Consortium, 1999. Available at http:\/\/www.mozart-oz.org\/documentation\/foreign\/index.html ."},{"key":"29_CR9","unstructured":"The Mozart Consortium. The Mozart Programming System. http:\/\/www.mozart-oz.org\/ ."},{"key":"29_CR10","unstructured":"Tobias M\u00fcller. Practical investigation of constraints with graph views. In Konstantinos Sagonas and Paul Tarau, editors, Proceedings of the International Workshop on Implementation of Declarative Languages (IDL\u201999), September 1999."},{"key":"29_CR11","unstructured":"Tobias M\u00fcller. The Mozart Constraint Extensions Reference. Technical report, Mozart Consortium, 1999. Available at http:\/\/www.mozart-oz.org\/documentation\/cpiref\/index.html ."},{"key":"29_CR12","unstructured":"Tobias M\u00fcller and Martin M\u00fcller. Finite set constraints in Oz. In Fran\u00e7ois Bry, Burkhard Freitag, and Dietmar Seipel, editors, 13. Workshop Logische Programmierung, pages 104\u2013115, Technische Universit\u00e4t M\u00fcnchen, 17\u201319 September 1997."},{"key":"29_CR13","first-page":"149","volume-title":"Proceedings of the International Logic Programming Symposium","author":"T. M\u00fcller","year":"1997","unstructured":"Tobias M\u00fcller and J\u00f6rg W\u00fcrtz. Extending a concurrent constraint language by propagators. In Jan Ma\u0142uszy\u0144ski, editor, Proceedings of the International Logic Programming Symposium, pages 149\u2013163. The MIT Press, Cambridge, 1997."},{"key":"29_CR14","first-page":"513","volume-title":"Logic Programming-Proceedings of the 1995 International Symposium","author":"J.-F. Puget","year":"1995","unstructured":"Jean-Fran\u00e7ois Puget and Michel Leconte. Beyond the glass box: Constraints as objects. In John Lloyd, editor, Logic Programming-Proceedings of the 1995 International Symposium, pages 513\u2013527. The MIT Press, Cambridge, December 1995."},{"key":"29_CR15","first-page":"286","volume-title":"Proceedings of the Fourteenth International Conference on Logic Programming","author":"C. Schulte","year":"1997","unstructured":"Christian Schulte. Oz Explorer: A visual constraint programming tool. In Lee Naish, editor, Proceedings of the Fourteenth International Conference on Logic Programming, pages 286\u2013300, Leuven, Belgium, 8\u201311 July 1997. The MIT Press, Cambridge."},{"key":"29_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0017464","volume-title":"Proceedings of the Third International Conferenceon Principles and Practice of Constraint Programming","author":"C. Schulte","year":"1997","unstructured":"Christian Schulte. Programming constraint inference engines. In Gert Smolka, editor, Proceedings of the Third International Conferenceon Principles and Practice of Constraint Programming, volume 1330 of Lecture Notes in Computer Science, Schloss Hagenberg, Linz, Austria, October 1997. Springer-Verlag, Berlin-Heidelberg."},{"key":"29_CR17","unstructured":"Universit\u00e4t Bremen, Group of Prof. Dr. Bernd Krieg-Br\u00fcckner. The Graph Visualization System daVinci. http:\/\/www.informatik.uni-bremen.de\/davinci\/ ."},{"key":"29_CR18","unstructured":"Pascal Van Hentenryck and Yves Deville. The Cardinality Operator: A new Logical Connective for Constraint Logic Programming. In Koichi Furukawa, editor, Proceedings of the International Conference on Logic Programming, pages 745\u2013759, Paris, France, 1991. The MIT Press."},{"key":"29_CR19","series-title":"Lect Notes Comput Sci","volume-title":"Constraints: Basics and Trends","author":"P. Hentenryck Van","year":"1995","unstructured":"Pascal Van Hentenryck, Vijay Saraswat, and Yves Deville. Design, implementation and evaluation of the constraint language cc(FD). In Andreas Podelski, editor, Constraints: Basics and Trends, volume 910 of Lecture Notes in Computer Science. Springer Verlag, 1995."}],"container-title":["Lecture Notes in Computer Science","Computational Logic \u2014 CL 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44957-4_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T11:23:30Z","timestamp":1556450610000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44957-4_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677970","9783540449577"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-44957-4_29","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}