{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:23:25Z","timestamp":1725560605281},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540218340"},{"type":"electronic","value":"9783540246626"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24662-6_10","type":"book-chapter","created":{"date-parts":[[2010,7,22]],"date-time":"2010-07-22T19:22:38Z","timestamp":1279826558000},"page":"171-195","source":"Crossref","is-referenced-by-count":1,"title":["A Generic Trace Schema for the Portability of CP(FD) Debugging Tools"],"prefix":"10.1007","author":[{"given":"Ludovic","family":"Langevine","sequence":"first","affiliation":[]},{"given":"Pierre","family":"Deransart","sequence":"additional","affiliation":[]},{"given":"Mireille","family":"Ducass\u00e9","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Aggoun, D., Chan, P., Dufresne, E., Falvey, H., Grant, A., Herold, G., Macartney, M., Meier, D., Miller, S., Mudambi, B., Perez, E., van Rossum, J., Schimpf, P.A.: Tsahageas, and D.H. de Villeneuve. ECLIPSE 3.5. User Manual. European Computer Industry Research Centre (ECRC), Munich (1995)"},{"key":"10_CR2","unstructured":"Agren, M., Szeredi, T., Beldiceanu, N., Carlsson, M.: Tracing and explaining execution of CLP(FD) programs. In: Tessier, A. (ed.) Proceedings of the 12th Workshop on Logic Programming Environments, Copenhagen, Denmark (July 2002), Available as CoRR:cs.SE\/0207047"},{"key":"10_CR3","unstructured":"Baudel, T., et al.: Discovery reference manual, Manufactured and distributed by Ilog (2003), http:\/\/www2.ilog.com\/preview\/Discovery\/"},{"key":"10_CR4","unstructured":"Bracchi, C., Gefflot, C., Paulin, F.: Combining propagation information and search-tree visualization using OPL studio. In: Kusalik, A., Ducass\u00e9, M., Puebla, G. (eds.) Proceedings of the Eleventh Workshop on Logic Programming Environments (WLPE 2001), Cyprus, D\u00e9cember 2001, pp. 27\u201339. Cyprus University (2001), Available as CoRR:cs.PL\/0111042 http:\/\/xxx.lanl.gov\/abs\/cs.PL\/0111042"},{"key":"10_CR5","unstructured":"Cosytec. CHIP++ Version 5.2. documentation volume 6 (1998), http:\/\/www.cosytec.com"},{"key":"10_CR6","first-page":"172","volume-title":"FLAIRS 2003: Sixteenth International Florida Artificial Intelligence Research Society Conference","author":"R. Debruyne","year":"2003","unstructured":"Debruyne, R., Ferrand, G., Jussien, N., Lesaint, W., Ouis, S., Tessier, A.: Correctness of constraint retraction algorithms. In: FLAIRS 2003: Sixteenth International Florida Artificial Intelligence Research Society Conference, St. Augustine, Florida, USA, May 2003, pp. 172\u2013176. AAAI press, Menlo Park (2003)"},{"key":"10_CR7","unstructured":"P. Deransart, M. Ducass\u00e9, and L. Langevine. A generic trace model for finite domain solvers. In Barry O\u2019Sullivan, editor, Proceedings of the second International Workshop on User Interaction in Constraint Satisfaction (UICS\u201902), Cornell University (USA), Aug 2002. Available at http:\/\/www.cs.ucc.ie\/\u02dcosullb\/UICS-02\/papers\/deransart_et_al-uics02.ps."},{"key":"10_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61411-8","volume-title":"Prolog, The Standard; Reference Manual","author":"P. Deransart","year":"1996","unstructured":"Deransart, P., Ed-Dbali, A., Cervoni, L.: Prolog, The Standard; Reference Manual, April 1996. Springer, Heidelberg (1996)"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Deransart, P., Hermenegildo, M., Ma\u0142uszy\u0144ski, J. (eds.) Analysis and Visualization Tools for Constraint Programming. LNCS, vol.\u00a01870, Springer, Heidelberg (2000)","DOI":"10.1007\/10722311"},{"key":"10_CR10","unstructured":"Diaz, D.: GNU-Prolog, a free Prolog compiler with constraint solving over finite domains (2003), http:\/\/gprolog.sourceforge.net\/"},{"key":"10_CR11","first-page":"177","volume":"39","author":"M. Ducass\u00e9","year":"1999","unstructured":"Ducass\u00e9, M.: Opium: an extendable trace analyzer for Prolog. The Journal of Logic Programming, special issue on Synthesis, Transformation and Analysis of Logic Programs\u00a039, 177\u2013223 (1999)","journal-title":"The Journal of Logic Programming, special issue on Synthesis, Transformation and Analysis of Logic Programs"},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of the International Conference on Logic Programming","author":"M. Ducass\u00e9","year":"2002","unstructured":"Ducass\u00e9, M., Langevine, L.: Automated analysis of CLP(FD) program execution traces. In: Stuckey, P. (ed.) Proceedings of the International Conference on Logic Programming, July 2002. LNCS, Springer, Heidelberg (2002) (poster), Extended version available at http:\/\/www.irisa.fr\/lande\/ducasse\/"},{"key":"10_CR13","unstructured":"Ducass\u00e9, M., Langevine, L., Deransart, P.: Rigourous design of tracers: an experiment for constraint logic programming. In: Ronsse, M. (ed.) Proc. of AADEBUG 2003, September 2003, Gent University (2003), Available as CoRR:cs.SE\/6309027"},{"key":"10_CR14","unstructured":"Fages, F.: CLPGUI: a generic graphical user interface for constraint logic programming over finite domains. In: Tessier, A. (ed.) Proceedings of the 12th Workshop on Logic Programming Environments (WLPE 2002), Copenhagen (August 2002), Available as CoRR:cs.SE\/0207048"},{"key":"10_CR15","unstructured":"Fekete, J.-D., et al.: Proposition de format concret pour les traces g\u00e9n\u00e9r\u00e9es par les solveurs de contraintes. Public deliverable d2.2.2.1, INRIA, INRIA (France) (November 2001), http:\/\/contraintes.inria.fr\/OADymPPaC\/Public\/delivrables.html"},{"key":"10_CR16","unstructured":"Arnaud, G.: PAVOT Reference Manual (2004), http:\/\/contraintes.inria.fr\/~arnaud\/pavot\/"},{"key":"10_CR17","unstructured":"Gonhiem, M., Jussien, N., Fekete, J.-D.: Visualizing explanations to exhibit dynamic structure in constraint problem satisfaction. In: O\u2019Sullivan, B. (ed.) Proceedings of the third International Workshop on User Interaction in Constraint Satisfaction (UICS 2003), Cork University, Ireland (September 2003), Available at http:\/\/www.cs.ucc.ie\/~osullb\/UICS-03\/"},{"key":"10_CR18","unstructured":"Ilog. Solver 5.1 reference manual (2001), http:\/\/www.ilog.com\/"},{"key":"10_CR19","unstructured":"Jussien, N., 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, Singapore, September 2000, pp. 118\u2013133 (2000)"},{"issue":"1","key":"10_CR20","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/S0004-3702(02)00221-7","volume":"139","author":"N. Jussien","year":"2002","unstructured":"Jussien, N., Lhomme, O.: Local search with constraint propagation and conflict-based heuristics. Artificial Intelligence\u00a0139(1), 21\u201345 (2002)","journal-title":"Artificial Intelligence"},{"key":"10_CR21","unstructured":"Laburthe, F. and the OCRE research group.: CHOCO, a Constraint Programming kernel for solving combinatorial optimization problems (September 2001), Available at http:\/\/www.choco-constraints"},{"key":"10_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-3-540-24599-5_19","volume-title":"Logic Programming","author":"L. Langevine","year":"2003","unstructured":"Langevine, L., Deransart, P., Ducass\u00e9, M.: A propagation tracer for GNU-Prolog: from formal definition to efficient implementation. In: Palamidessi, C. (ed.) ICLP 2003. LNCS, vol.\u00a02916, pp. 269\u2013283. Springer, Heidelberg (2003)"},{"key":"10_CR23","unstructured":"Langevine, L., Deransart, P., Ducass\u00e9, M., Jahier, E.: Tracing execution of CLP(FD) programs, a trace model and an experimental validation environment. RR 4342, INRIA, Rocquencourt (France) (D\u00e9cember 2001), Also in post-ICLP 2001 workshop: 11th Workshop on Logic Programming Environments"},{"key":"10_CR24","unstructured":"Langevine, L.: Codeine, a propagation tracer for GNU-Prolog (2003), http:\/\/contraintes.inria.fr\/~langevin\/codeine"},{"key":"10_CR25","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":"10_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/3-540-45349-0_24","volume-title":"Principles and Practice of Constraint Programming - CP 2000","author":"T. M\u00fcller","year":"2000","unstructured":"M\u00fcller, T.: Practical investigation of constraints with graph views. In: Dechter, R. (ed.) CP 2000. LNCS, vol.\u00a01894, p. 320. Springer, Heidelberg (2000)"},{"key":"10_CR27","first-page":"286","volume-title":"Proceedings of the Fourteenth International Conference on Logic Programming (ICLP 1997)","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 (ICLP 1997), Leuven, Belgium, June 1997, pp. 286\u2013300. The MIT Press, Cambridge (1997)"},{"key":"10_CR28","series-title":"Lecture Notes in Computer Science","volume-title":"Analysis and Visualization Tools for Constraint Programming","author":"H. Simonis","year":"2000","unstructured":"Simonis, H., Aggoun, A., Beldiceanu, N., Bourreau, E.: Complex constraint abstraction: Global constraint visualization. In: Deransart, P., Ma\u0142uszy\u0144ski, J. (eds.) DiSCiPl 1999. LNCS, vol.\u00a01870, Springer, Heidelberg (2000)"},{"key":"10_CR29","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, Cambridge (1989)"}],"container-title":["Lecture Notes in Computer Science","Recent Advances in Constraints"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24662-6_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:51:03Z","timestamp":1605761463000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24662-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540218340","9783540246626"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24662-6_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}