{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T15:07:10Z","timestamp":1790867230344,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,5,14]],"date-time":"2005-05-14T00:00:00Z","timestamp":1116028800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,5,14]]},"DOI":"10.1145\/1056018.1056022","type":"proceedings-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T08:31:47Z","timestamp":1123057907000},"page":"27-36","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Peeking in solver strategies using explanations visualization of dynamic graphs for constraint programming"],"prefix":"10.1145","author":[{"given":"Mohammad","family":"Ghoniem","sequence":"first","affiliation":[{"name":"\u00c9cole des Mines de Nantes"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hadrien","family":"Cambazard","sequence":"additional","affiliation":[{"name":"\u00c9cole des Mines de Nantes"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean-Daniel","family":"Fekete","sequence":"additional","affiliation":[{"name":"INRIA Futurs\/LRI"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Narendra","family":"Jussien","sequence":"additional","affiliation":[{"name":"\u00c9cole des Mines de Nantes"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2005,5,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/1038262.1038798"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(01)00162-X"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/2945.468391"},{"key":"e_1_3_2_1_4_1","volume-title":"Networks, Maps","author":"Bertin J.","unstructured":"Bertin , J. 1983. Semiology of Graphics: Diagrams , Networks, Maps . University of Wisconsin Press.]] Bertin, J. 1983. Semiology of Graphics: Diagrams, Networks, Maps. University of Wisconsin Press.]]"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-7373(05)80180-4"},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the Logic Programming Workshop","author":"Byrd L.","year":"1980","unstructured":"Byrd , L. 1980 . Understanding the control flow of Prolog programs . Proceedings of the Logic Programming Workshop . Debrecen, Hungary.]] Byrd, L. 1980. Understanding the control flow of Prolog programs. Proceedings of the Logic Programming Workshop. Debrecen, Hungary.]]"},{"key":"e_1_3_2_1_7_1","volume-title":"Information Visualization: Using Vision to Think.","author":"Card S.","year":"1999","unstructured":"Card , S. ; Mackinlay , J. ; and Shneiderman , B . 1999 . Readings in Information Visualization: Using Vision to Think. San Francisco, USA : Morgan Kaufmann , chapter Dynamic Queries, 235--261.]] Card, S.; Mackinlay, J.; and Shneiderman, B. 1999. Readings in Information Visualization: Using Vision to Think. San Francisco, USA: Morgan Kaufmann, chapter Dynamic Queries, 235--261.]]"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/502348.502358"},{"key":"e_1_3_2_1_9_1","volume-title":"FLAIRS'03: Sixteenth international Florida Artificial Intelligence Research Society conference, 172--176","author":"Debruyne R.","unstructured":"Debruyne , R. ; Ferrand , G. , Jussien , N. , Lesaint , W. , Ouis , S. , and Tessier , A . 2003. Correctness of constraint retraction algorithms . In FLAIRS'03: Sixteenth international Florida Artificial Intelligence Research Society conference, 172--176 . St. Augustine, Florida, USA: AAAI press.]] Debruyne, R.; Ferrand, G., Jussien, N., Lesaint, W., Ouis, S., and Tessier, A. 2003. Correctness of constraint retraction algorithms. In FLAIRS'03: Sixteenth international Florida Artificial Intelligence Research Society conference, 172--176. St. Augustine, Florida, USA: AAAI press.]]"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(79)90008-0"},{"key":"e_1_3_2_1_11_1","volume-title":"Sixth European Conference on Artificial Intelligence","author":"Eisenstadt M.","year":"1984","unstructured":"Eisenstadt , M. ( 1984 ). A Powerful Prolog Trace Package . Sixth European Conference on Artificial Intelligence , Pisa, Italy.]] Eisenstadt, M. (1984). A Powerful Prolog Trace Package. Sixth European Conference on Artificial Intelligence, Pisa, Italy.]]"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00116447"},{"key":"e_1_3_2_1_13_1","volume-title":"Software visualization: programming as a multimedia experience","author":"Eisenstadt M.","year":"1998","unstructured":"Eisenstadt , M. , and Brayshaw , M . The truth about Prolog execution . In J. Stasko, J. Domingue, M. H. Brown, and B. A. Price (Eds.) Software visualization: programming as a multimedia experience . Cambridge, MA : MIT Press , 1998 .]] Eisenstadt, M., and Brayshaw, M. The truth about Prolog execution. In J. Stasko, J. Domingue, M. H. Brown, and B. A. Price (Eds.) Software visualization: programming as a multimedia experience. Cambridge, MA: MIT Press, 1998.]]"},{"key":"e_1_3_2_1_14_1","volume-title":"ICLP'02 12th Workshop on Logic Programming Environments (WLPE'02)","author":"Fages F.","year":"2002","unstructured":"Fages , F. 2002 . CLPGUI: a generic graphical user interface for constraint logic programming over finite domains . In ICLP'02 12th Workshop on Logic Programming Environments (WLPE'02) .]] Fages, F. 2002. CLPGUI: a generic graphical user interface for constraint logic programming over finite domains. In ICLP'02 12th Workshop on Logic Programming Environments (WLPE'02).]]"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/302979.303148"},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of IEEE]]","author":"Fekete J.-D.","unstructured":"Fekete , J.-D. , and Plaisant , C . 2002. Interactive Information Visualization of a Million Items . In Proceedings of IEEE]] Fekete, J.-D., and Plaisant, C. 2002. Interactive Information Visualization of a Million Items. In Proceedings of IEEE]]"},{"key":"e_1_3_2_1_17_1","first-page":"117","volume-title":"IEEE Press","author":"Symposium","year":"2002","unstructured":"Symposium on Information Visualization 2002 (InfoVis 2002), Boston, USA, Octobre 2002 . IEEE Press , pp. 117 -- 124 .]] Symposium on Information Visualization 2002 (InfoVis 2002), Boston, USA, Octobre 2002. IEEE Press, pp. 117--124.]]"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"Freuder E. C. Likitvivatanavong C. and Wallace R. J. 2001. Deriving explanations and implications for constraint satisfaction problems. In Principles and Practice of Constraint Programming (CP 2001) LNCS 585--589.]]   Freuder E. C. Likitvivatanavong C. and Wallace R. J. 2001. Deriving explanations and implications for constraint satisfaction problems. In Principles and Practice of Constraint Programming (CP 2001) LNCS 585--589.]]","DOI":"10.1007\/3-540-45578-7_44"},{"key":"e_1_3_2_1_19_1","volume-title":"VISEXP: Visualizing Constraint Solver Dynamics Using Explanations. In FLAIRS'04: Seventeenth international Florida Artificial Intelligence Research Society conference","author":"Ghoniem M.","year":"2004","unstructured":"Ghoniem , M. , Jussien , N. and Fekete , J . -D ., VISEXP: Visualizing Constraint Solver Dynamics Using Explanations. In FLAIRS'04: Seventeenth international Florida Artificial Intelligence Research Society conference , ( Miami Beach, FL , May 2004 ), AAAI press.]] Ghoniem, M., Jussien, N. and Fekete, J.-D., VISEXP: Visualizing Constraint Solver Dynamics Using Explanations. In FLAIRS'04: Seventeenth international Florida Artificial Intelligence Research Society conference, (Miami Beach, FL, May 2004), AAAI press.]]"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/1038262.1038777"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/1618595.1618597"},{"key":"e_1_3_2_1_22_1","volume-title":"Using Multilevel Call Matrices in Large Software Projects. In Proc. IEEE Symp. Information Visualization 2003","author":"Ham F. v.","year":"2003","unstructured":"Ham , F. v. , Using Multilevel Call Matrices in Large Software Projects. In Proc. IEEE Symp. Information Visualization 2003 , (Seattle, WA, USA, 2003 ), IEEE Press, 227--232.]] Ham, F. v., Using Multilevel Call Matrices in Large Software Projects. In Proc. IEEE Symp. Information Visualization 2003, (Seattle, WA, USA, 2003), IEEE Press, 227--232.]]"},{"key":"e_1_3_2_1_23_1","volume-title":"IJCAI'01 Workshop on Modelling and Solving problems with constraints.]]","author":"Junker U.","year":"2001","unstructured":"Junker , U. 2001 . QUICKXPLAIN: Conflict detection for arbitrary constraint propagation algorithms . In IJCAI'01 Workshop on Modelling and Solving problems with constraints.]] Junker, U. 2001. QUICKXPLAIN: Conflict detection for arbitrary constraint propagation algorithms. In IJCAI'01 Workshop on Modelling and Solving problems with constraints.]]"},{"key":"e_1_3_2_1_24_1","first-page":"249","article-title":"Maintaining arc-consistency within dynamic backtracking. In Principles and Practice of Constraint Programming (CP 2000)","volume":"1894","author":"Jussien N.","year":"2000","unstructured":"Jussien , N. , Debruyne , R. , and Boizumault , P. 2000 . Maintaining arc-consistency within dynamic backtracking. In Principles and Practice of Constraint Programming (CP 2000) , LNCS 1894 , 249 -- 261 . Singapore: Springer-Verlag.]] Jussien, N., Debruyne, R., and Boizumault, P. 2000. Maintaining arc-consistency within dynamic backtracking. In Principles and Practice of Constraint Programming (CP 2000), LNCS 1894, 249--261. Singapore: Springer-Verlag.]]","journal-title":"LNCS"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00221-7"},{"key":"e_1_3_2_1_26_1","volume-title":"Ecole des Mines de Nantes","author":"Jussien N.","unstructured":"Jussien , N. 2003. The versatility of using explanations within constraint programming. Research Report 03--04-INFO , Ecole des Mines de Nantes , Nantes, France .]] Jussien, N. 2003. The versatility of using explanations within constraint programming. Research Report 03--04-INFO, Ecole des Mines de Nantes, Nantes, France.]]"},{"key":"e_1_3_2_1_27_1","volume-title":"IEEE Symposium on Information Visualization 2000 (InfoVis 2000","author":"Lalanne D.","year":"2000","unstructured":"Lalanne , D. and Pu , P . Interactive Problem Solving Via Algorithm Visualization , IEEE Symposium on Information Visualization 2000 (InfoVis 2000 ), October 9 --10 , 2000 , Salt Lake City, Utah.]] Lalanne, D. and Pu, P. Interactive Problem Solving Via Algorithm Visualization, IEEE Symposium on Information Visualization 2000 (InfoVis 2000), October 9--10, 2000, Salt Lake City, Utah.]]"},{"key":"e_1_3_2_1_28_1","volume-title":"7th Annual Workshop 4--6","author":"Mulholland P.","year":"1995","unstructured":"Mulholland , P. ( 1995 ). Prolog without tears: An evaluation of the effectiveness of a non Byrd Box model for students . 7th Annual Workshop 4--6 January 1995. Collected Papers of the Psychology of Programming Interest Group, University of Edinburgh.]] Mulholland, P. (1995). Prolog without tears: An evaluation of the effectiveness of a non Byrd Box model for students. 7th Annual Workshop 4--6 January 1995. Collected Papers of the Psychology of Programming Interest Group, University of Edinburgh.]]"},{"key":"e_1_3_2_1_29_1","volume-title":"FLAIRS'03: Sixteenth international Florida Artificial Intelligence Research Society conference, 192--196","author":"Ouis S.","unstructured":"Ouis , S. ; Jussien , N. , and Boizumault , P . 2003. k-relevant explanations for constraint programming . In FLAIRS'03: Sixteenth international Florida Artificial Intelligence Research Society conference, 192--196 . St. Augustine, Florida, USA: AAAI press.]] Ouis, S.; Jussien, N., and Boizumault, P. 2003. k-relevant explanations for constraint programming. In FLAIRS'03: Sixteenth international Florida Artificial Intelligence Research Society conference, 192--196. St. Augustine, Florida, USA: AAAI press.]]"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1006\/ijhc.2000.0420"},{"key":"e_1_3_2_1_31_1","volume-title":"Outline proposal for a Prolog `Textual Tree Tracer' (TTT). CSRP No. 177","author":"Taylor C.","year":"1991","unstructured":"Taylor , C. , du Boulay , B. , & Patel , M. ( 1991 ). Outline proposal for a Prolog `Textual Tree Tracer' (TTT). CSRP No. 177 , University of Sussex.]] Taylor, C., du Boulay, B., & Patel, M. (1991). Outline proposal for a Prolog `Textual Tree Tracer' (TTT). CSRP No. 177, University of Sussex.]]"},{"key":"e_1_3_2_1_32_1","first-page":"77","volume-title":"Proceedings of IEEE Symposium on Information Visualization (Infovis 2002","author":"Yang J.","year":"2002","unstructured":"Yang , J. , Ward , M. O. and Rundensteiner , E. A ., InterRing: An Interactive Tool for Visually Navigating and Manipulating Hierarchical Structures . In Proceedings of IEEE Symposium on Information Visualization (Infovis 2002 ), IEEE Computer Soc. Press, Boston, Massachusetts, 28- -29 October 2002 , pp. 77 -- 84 .]] Yang, J., Ward, M. O. and Rundensteiner, E. A., InterRing: An Interactive Tool for Visually Navigating and Manipulating Hierarchical Structures. In Proceedings of IEEE Symposium on Information Visualization (Infovis 2002), IEEE Computer Soc. Press, Boston, Massachusetts, 28--29 October 2002, pp. 77--84.]]"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"crossref","DOI":"10.1007\/10722311","volume-title":"Analysis and Visualization Tools for Constraint Programming. Number 1870 in LNCS","author":"Deransart P.","year":"2000","unstructured":"Deransart , P. , Hermenegildo , M. and J. Maluszy\u0144ski , editors . Analysis and Visualization Tools for Constraint Programming. Number 1870 in LNCS . Springer Verlag , 2000 . European Project (1997--2000) http:\/\/discipl.inria.fr.]] Deransart, P., Hermenegildo, M. and J. Maluszy\u0144ski, editors. Analysis and Visualization Tools for Constraint Programming. Number 1870 in LNCS. Springer Verlag, 2000. European Project (1997--2000) http:\/\/discipl.inria.fr.]]"},{"key":"e_1_3_2_1_34_1","first-page":"118","volume-title":"Proceedings of TRICS: Techniques foR Implementing Constraint programming Systems, a post-conference workshop of CP 2000","author":"Jussien N.","year":"2000","unstructured":"Jussien , N. and Barichard , V .. The PaLM system: explanation-based constraint programming . In Proceedings of TRICS: Techniques foR Implementing Constraint programming Systems, a post-conference workshop of CP 2000 , pages 118 -- 133 , Singapore , September 2000 .]] Jussien, N. and Barichard, V.. The PaLM system: explanation-based constraint programming. In Proceedings of TRICS: Techniques foR Implementing Constraint programming Systems, a post-conference workshop of CP 2000, pages 118--133, Singapore, September 2000.]]"},{"key":"e_1_3_2_1_35_1","volume-title":"Proceedings of TRICS: Techniques foR Implementing Constraint programming Systems, a post-conference workshop of CP 2000","author":"Laburthe F.","year":"2000","unstructured":"Laburthe , F. , Choco : implementing a cp kernel . In Proceedings of TRICS: Techniques foR Implementing Constraint programming Systems, a post-conference workshop of CP 2000 , Singapore , September 2000 .]] Laburthe, F., Choco: implementing a cp kernel. In Proceedings of TRICS: Techniques foR Implementing Constraint programming Systems, a post-conference workshop of CP 2000, Singapore, September 2000.]]"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30201-8_41"}],"event":{"name":"SOFTVIS05: ACM Symposium on Software Visualization SOFTVIS 2005","location":"St. Louis Missouri","acronym":"SOFTVIS05","sponsor":["SIGGRAPH ACM Special Interest Group on Computer Graphics and Interactive Techniques","SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering","SIGCHI ACM Special Interest Group on Computer-Human Interaction","SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 2005 ACM symposium on Software visualization"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1056018.1056022","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1056018.1056022","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:07:46Z","timestamp":1750262866000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1056018.1056022"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,5,14]]},"references-count":36,"alternative-id":["10.1145\/1056018.1056022","10.1145\/1056018"],"URL":"https:\/\/doi.org\/10.1145\/1056018.1056022","relation":{},"subject":[],"published":{"date-parts":[[2005,5,14]]},"assertion":[{"value":"2005-05-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}