{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:38:21Z","timestamp":1752460701983},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540411376"},{"type":"electronic","value":"9783540400165"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10722311_8","type":"book-chapter","created":{"date-parts":[[2006,12,30]],"date-time":"2006-12-30T06:35:38Z","timestamp":1167460538000},"page":"191-208","source":"Crossref","is-referenced-by-count":8,"title":["Search-Tree Visualisation"],"prefix":"10.1007","author":[{"given":"Helmut","family":"Simonis","sequence":"first","affiliation":[]},{"given":"Abder","family":"Aggoun","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Aggoun, A., Beldiceanu, N.: Time Stamp Techniques for the Trailed Data in Constraint Logic Programming Systems. In: Actes du Seminaire 1990 - Programmation en Logique, Tregastel, France (May 1990)"},{"issue":"7","key":"8_CR2","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0895-7177(93)90068-A","volume":"17","author":"A. Aggoun","year":"1993","unstructured":"Aggoun, A., Beldiceanu, N.: Extending CHIP in Order to Solve Complex Scheduling Problems. Journal of Mathematical and Computer Modelling\u00a017(7), 57\u201373 (1993)","journal-title":"Journal of Mathematical and Computer Modelling"},{"key":"8_CR3","unstructured":"Beldiceanu, N., Bourreau, E., Chan, P., Rivreau, D.: Partial Search Strategy in CHIP. In: 2nd International Conference on Meta-heuristics, Sophia-Antipolis, France (July 1997)"},{"issue":"12","key":"8_CR4","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0895-7177(94)90127-9","volume":"20","author":"N. Beldiceanu","year":"1994","unstructured":"Beldiceanu, N., Contejean, E.: Introducing Global Constraints in CHIP. Journal of Mathematical and Computer Modelling\u00a020(12), 97\u2013123 (1994)","journal-title":"Journal of Mathematical and Computer Modelling"},{"key":"8_CR5","unstructured":"Bueno, F., Deransart, P., Drabent, W., Ferrand, G., Hermenegildo, M., Ma\u0142uszyn\u0300ski, J., Puebla, G.: On the Role of Semantic Approximations in Validation and Diagnosis of Constraint Logic Programs. In: Proceedings of the Third International Workshop on Automated Debugging-AADEBUG 1997, Link\u00f6ping, Sweden, pp. 155\u2013170 (May 1997)"},{"key":"8_CR6","volume-title":"Proc. ICLP 1993","author":"M. Carro","year":"1993","unstructured":"Carro, M., Gomez, L., Hermenegildo, M.: Some Paradigms for Visualizing Parallel Execution of Logic Programs. In: Proc. ICLP 1993, Budapest, Hungary. The MIT Press, Cambridge (1993)"},{"key":"8_CR7","unstructured":"COSYTEC. CHIP++ Version 5.2. Documentation, Vol. 6. Orsay (1998)"},{"key":"8_CR8","unstructured":"Fabris, M., et al.: CP Debugging Needs and Tools. In: Proceedings of the Third International Workshop on Automated Debugging-AADEBUG 1997, Link\u00f6ping, Sweden, pp. 103\u2013122 (May 1997)"},{"key":"8_CR9","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/BF01584070","volume":"1","author":"M. Held","year":"1971","unstructured":"Held, M., Karp, R.: The Travelling Salesman Problem and Minimum Spanning Trees: Part II. Mathematical Programming\u00a01, 6\u201325 (1971)","journal-title":"Mathematical Programming"},{"key":"8_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-4121-9","volume-title":"Visualization and Optimization","author":"C.V. Jones","year":"1996","unstructured":"Jones, C.V.: Visualization and Optimization. Kluwer Academic Publishers, Norwell (1996)"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1007\/3-540-60299-2_13","volume-title":"Principles and Practice of Constraint Programming - CP \u201995","author":"M. Meier","year":"1995","unstructured":"Meier, M.: Debugging Constraint Programs. In: Montanari, U., Rossi, F. (eds.) CP 1995. LNCS, vol.\u00a0976, pp. 204\u2013221. Springer, Heidelberg (1995)"},{"key":"8_CR12","first-page":"286","volume-title":"Proceedings of the Fourteenth International Conference On Logic Programming","author":"C. Schulte","year":"1997","unstructured":"Schulte, C.: Oz Explorer: A Visual Constraint Programming Tool. In: Proceedings of the Fourteenth International Conference On Logic Programming, Leuven, Belgium, pp. 286\u2013300. The MIT Press, Cambridge (1997)"},{"key":"8_CR13","series-title":"LNCS","volume-title":"Proc. Contessa Workshop","author":"H. Simonis","year":"1995","unstructured":"Simonis, H.: Application Development with the CHIP System. In: Proc. Contessa Workshop, Friedrichshafen, Germany. LNCS, Springer, Heidelberg (1995)"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Simonis, H.: The CHIP System and its Applications. In: Proc. Principles and Practice of Constraint Programming, Cassis, France (September 1995)","DOI":"10.1007\/3-540-60299-2_42"},{"key":"8_CR15","unstructured":"Simonis, H.: A Problem Classification Scheme for Finite Domain Constraint Solving. In: Proc. workshop on constraint applications, CP 1996, Boston (August 1996)"},{"issue":"1-2","key":"8_CR16","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/BF00143881","volume":"1","author":"M. Wallace","year":"1996","unstructured":"Wallace, M.: Survey: Practical Applications of Constraint Programming. Constraints\u00a01(1-2), 139\u2013168 (1996)","journal-title":"Constraints"}],"container-title":["Lecture Notes in Computer Science","Analysis and Visualization Tools for Constraint Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10722311_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T11:10:09Z","timestamp":1553339409000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722311_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411376","9783540400165"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/10722311_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}