{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:43:34Z","timestamp":1725565414138},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540226710"},{"type":"electronic","value":"9783540277750"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27775-0_36","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T16:29:36Z","timestamp":1284568176000},"page":"456-457","source":"Crossref","is-referenced-by-count":2,"title":["Main Results of the OADymPPaC Project"],"prefix":"10.1007","author":[{"given":"Pierre","family":"Deransart","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"36_CR1","unstructured":"Langevine, L.: Codeine, a Propagation Tracer for GNU-Prolog (2004), \n                    \n                      http:\/\/contraintes.inria.fr\/~langevin\/codeine"},{"key":"36_CR2","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":"36_CR3","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, pp. 118\u2013133 (2000), Available at \n                    \n                      http:\/\/www.emn.fr\/jussien\/publications\/jussien-WCP00.pdf"},{"key":"36_CR4","unstructured":"COSYTEC: CHIP++ V5.6, alpha version (2004), \n                    \n                      http:\/\/www.cosytec.com"},{"key":"36_CR5","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, pp. 172\u2013176. AAAI press, Menlo Park (2003)"},{"key":"36_CR6","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 (2002), Available as CoRR:cs.SE\/0207048"},{"key":"36_CR7","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. LNCS, Springer, Heidelberg (2002) (Extended version), available at \n                    \n                      http:\/\/www.irisa.fr\/lande\/ducasse\/"},{"key":"36_CR8","unstructured":"Baudel, T., et al.: ILOG Visual CP reference manual. Manufactured and freely distributed by ILOG (2003), \n                    \n                      http:\/\/www2.ilog.com\/preview\/Discovery\/gentra4cp\/"},{"key":"36_CR9","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 (2003), Available at \n                    \n                      http:\/\/www.cs.ucc.ie\/~osullb\/UICS-03\/"},{"key":"36_CR10","unstructured":"Arnaud, G.: PAVOT Reference Manual (2004), \n                    \n                      http:\/\/contraintes.inria.fr\/~arnaud\/pavot\/"},{"key":"36_CR11","unstructured":"Deransart, P., Ducass\u00e9, M., Langevine, L.: A generic trace model for finite domain solvers. In: O\u2019Sullivan, B. (ed.) Proceedings of the second International Workshop on User Interaction in Constraint Satisfaction (UICS 2002), Cornell University, USA (2002), Available at \n                    \n                      http:\/\/www.cs.ucc.ie\/~osullb\/UICS-02\/papers\/deransart_et_al-uics02.ps"},{"key":"36_CR12","unstructured":"Ferrand, G., Lesaint, W., Tessier, A.: Theoretical foundations of value withdrawal explanations for domain reduction. Electronic Notes in Theoretical Computer Science, vol.\u00a076 (2002), \n                    \n                      http:\/\/www.elsevier.com\/gej-ng\/31\/29\/23\/126\/23\/26\/76008.pdf"},{"key":"36_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-540-24662-6_10","volume-title":"Recent Advances in Constraints","author":"L. Langevine","year":"2004","unstructured":"Langevine, L., Deransart, P., Ducass\u00e9, M.: A generic trace schema for the portability of CP(FD) debugging tools. In: Apt, K.R., Fages, F., Rossi, F., Szeredi, P., V\u00e1ncza, J. (eds.) CSCLP 2003. LNCS (LNAI), vol.\u00a03010, pp. 171\u2013195. Springer, Heidelberg (2004)"},{"key":"36_CR14","unstructured":"Deransart, P.: al.: Generic Trace Format for Constraint Programming, version 2.1. Technical report, INRIA, EMN, University of Orl\u00e9ans, Cosytec, ILOG (2004), \n                    \n                      http:\/\/contraintes.inria.fr\/OADymPPaC\/Public\/Trace"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27775-0_36.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,2]],"date-time":"2021-05-02T23:24:40Z","timestamp":1619997880000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27775-0_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540226710","9783540277750"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27775-0_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}