{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:50:52Z","timestamp":1752461452758},"publisher-location":"Berlin, Heidelberg","reference-count":15,"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_14","type":"book-chapter","created":{"date-parts":[[2006,12,30]],"date-time":"2006-12-30T11:35:38Z","timestamp":1167478538000},"page":"321-356","source":"Crossref","is-referenced-by-count":1,"title":["Using Constraint Visualisation Tools"],"prefix":"10.1007","author":[{"given":"Helmut","family":"Simonis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Trijntje","family":"Cornelissens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V\u00e9ronique","family":"Dumortier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giovanni","family":"Fabris","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Nanni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adriano","family":"Tirabosco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"7","key":"14_CR1","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 Modeling\u00a017(7), 57\u201373 (1993)","journal-title":"Journal of Mathematical and Computer Modeling"},{"key":"14_CR2","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)"},{"key":"14_CR3","unstructured":"Beldiceanu, N., Bourreau, E., Rivreau, D., Simonis, H.: Solving Resource- Constrained Project Scheduling Problems with CHIP. In: Fifth International Workshop on Project Management and Scheduling, Poznan, Poland (April 1996)"},{"key":"14_CR4","unstructured":"Beldiceanu, N., Bourreau, E., Simonis, H.: A Note on Perfect Square Placement. COSYTEC Technical Report (January 1999)"},{"issue":"12","key":"14_CR5","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, Vol\u00a020(12), 97\u2013123 (1994)","journal-title":"Journal of Mathematical and Computer Modelling, Vol"},{"key":"14_CR6","unstructured":"Bourreau, E.: Traitement de Contraintes sur les graphes en programmation par contraintes. PhD thesis, L.I.P.N.,Universit\u00e9 Paris 13 (March 1999)"},{"key":"14_CR7","volume-title":"Proceedings of the Joint International Conference and Symposium on Logic Programming","author":"Y. Caseau","year":"1996","unstructured":"Caseau, Y., Laburthe, F.: Cumulative Scheduling with Task Intervals. In: Maher, M. (ed.) Proceedings of the Joint International Conference and Symposium on Logic Programming. The MIT Press, Cambridge (1996)"},{"key":"14_CR8","unstructured":"Cornelissens, T.: General report on assessment of the tools. DiSCiPl deliverable D.WP1.3.M1.3 (April 30 1999)"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Gent, I.P., Walsh, T.: CSPLIB: A Benchmark Library for Constraints. In: Jaffar, J. (ed.) Principles and Practice of Constraint Programming, CP 1999, Alexandria, VA, pp. 480\u2013481 (October 1999)","DOI":"10.1007\/978-3-540-48085-3_36"},{"key":"14_CR10","unstructured":"Fabris, M., et al.: CP Debugging Needs and Tools. In: Proc. of the 3rd. International Workshop on Automated Debugging-AADEBUG 1997, Link\u00f6ping, Sweden, pp. 103\u2013122 (May 1997)"},{"key":"14_CR11","unstructured":"Gardner, M.: Scientific American (April 1975)"},{"key":"14_CR12","unstructured":"ROSEAUX. Exercices et Probl\u00e8mes R\u00e9solus de Recherche Op\u00e9rationnelle. Tome 3, Paris, pp. 279\u2013282 (1983)"},{"key":"14_CR13","unstructured":"Simonis, H., Aggoun, A.: Search Tree Visualization. COSYTEC Technical Report, DiSCiPl deliverable D.WP3.1.M1.1-2 (September 1997)"},{"key":"14_CR14","unstructured":"Simonis, H.: Visualization in Constraint Logic Programming. PACLP 1999, London, UK (April 1999) (invited tutorial)"},{"key":"14_CR15","volume-title":"Constraint Satisfaction in Logic Programming","author":"P. Hentenryck Van","year":"1989","unstructured":"Van Hentenryck, P.: Constraint Satisfaction in Logic Programming. The MIT Press, Boston (1989)"}],"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_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T15:29:39Z","timestamp":1553354979000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722311_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411376","9783540400165"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/10722311_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}