{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,22]],"date-time":"2026-01-22T19:05:48Z","timestamp":1769108748038,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540410539","type":"print"},{"value":"9783540453499","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45349-0_24","type":"book-chapter","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T00:54:55Z","timestamp":1181177695000},"page":"320-336","source":"Crossref","is-referenced-by-count":4,"title":["Practical Investigation of Constraints with Graph Views"],"prefix":"10.1007","author":[{"given":"Tobias","family":"M\u00fcller","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,1]]},"reference":[{"key":"24_CR1","unstructured":"A. Agoun and H. Simonis. Search tree visualization. Technical Report D.WP1.1.M1.1-2, COSYTEC SA, June 1997. In the ESPRIT LTR Project 22352 DiSCiPl."},{"key":"24_CR2","volume-title":"AGP\u201998","author":"M. Carro","year":"1998","unstructured":"Manuel Carro and Manuel Hermenegildo. Some design issues in the visualization of constraint logic program execution. In AGP\u201998, A Coru\u00f1a, Spain, 1998."},{"issue":"3","key":"24_CR3","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0743-1066(95)00121-2","volume":"27","author":"Philippe Codognet","year":"1996","unstructured":"Philippe Codognet and Daniel Diaz. Compiling constraints in clp(FD). Journal of Logic Programming, 27(3):185\u2013226, June 1996.","journal-title":"Journal of Logic Programming"},{"key":"24_CR4","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":"24_CR5","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/0743-1066(90)90052-7","volume":"8","author":"M. Dincbas","year":"1990","unstructured":"Mehmet Dincbas, Helmut Simonis, and Pascal Van Hentenryck. Solving large combinatorial problems in logic programming. Journal of Logic Programming, 8:75\u201393, 1990.","journal-title":"Journal of Logic Programming"},{"key":"24_CR6","unstructured":"DiSCiPl. Debugging systems for constraint programming. \n                    http:\/\/discipl.inria.fr\/\n                    \n                  ."},{"key":"24_CR7","unstructured":"ECRC and International Computers Limited and IC-Parc. ECL\n                    i\n                   PS\n                    e\n                  , User Manual Version 3.7, February 1998."},{"issue":"3","key":"24_CR8","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/BF00137870","volume":"1","author":"C. Gervet","year":"1997","unstructured":"Carmen Gervet. Interval propagation to reason about sets: Definition and implementation of a practical language. Constraints, 1(3):191\u2013244, 1997.","journal-title":"Constraints"},{"key":"24_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1007\/3-540-60299-2_13","volume-title":"Proceedings of the First International Conference on Principles and Practice of Constraint Programming","author":"M. Meier","year":"1995","unstructured":"Micha Meier. Debugging constraint programs. In Ugo Montanari and Francesca Rossi, editors, Proceedings of the First International Conference on Principles and Practice of Constraint Programming, volume 976 of Lecture Notes in Computer Science, Springer, pages 204\u2013221, Cassis, France, September 1995."},{"key":"24_CR10","unstructured":"Ugo Montanari and Francesca Rossi. True concurrency in concurrent constraint programming. In Vijay Saraswat and Kazunori Ueda, editors, Proceedings of the 1991 International Symposium on Logic Programming, pages 694\u2013713, San Diego, USA, June 1991. The MIT Press."},{"key":"24_CR11","unstructured":"The Mozart Consortium. The Mozart Programming System. \n                    http:\/\/www.mozart-oz.org\/\n                    \n                  ."},{"key":"24_CR12","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\u2019 99), September 1999."},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"Tobias M\u00fcller. Promoting constraints to first-class status. In Proceedings of the First International Conference on Computational Logic, London, July 2000. To appear.","DOI":"10.1007\/3-540-44957-4_29"},{"key":"24_CR14","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":"24_CR15","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 MaMluszy\u0144ski, editor, Proceedings of the International Logic Programming Symposium, pages 149\u2013163. The MIT Press, Cambridge, 1997."},{"key":"24_CR16","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":"24_CR17","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":"24_CR18","unstructured":"Universit\u00e4t Bremen, Group of Prof. Dr. Bernd Krieg-Br\u00fcckner. The Graph Visualization System daVinci. \n                    http:\/\/www.informatik.uni-bremen.de\/~davinci\/\n                    \n                  ."},{"key":"24_CR19","unstructured":"Mark Wallace, Stefano Novello, and Joachim Schimpf. ECLiPSe: A platform for constraint logic programming. ICL Systems Journal, 12(1), May 1997."}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2013 CP 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45349-0_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T05:56:37Z","timestamp":1550382997000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45349-0_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540410539","9783540453499"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-45349-0_24","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2000]]}}}