{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:51:15Z","timestamp":1752461475004},"publisher-location":"Berlin, Heidelberg","reference-count":24,"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_12","type":"book-chapter","created":{"date-parts":[[2006,12,30]],"date-time":"2006-12-30T11:35:38Z","timestamp":1167478538000},"page":"273-297","source":"Crossref","is-referenced-by-count":5,"title":["Debugging Constraint Programs by Store Inspection"],"prefix":"10.1007","author":[{"given":"Fr\u00e9d\u00e9ric","family":"Goualard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Benhamou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","first-page":"421","volume-title":"Constraint Logic Programming: Selected Research","author":"A. Aggoun","year":"1993","unstructured":"Aggoun, A., Beldiceanu, N.: Overview of the CHIP Compiler System. In: Benhamou, F., Colmerauer, A. (eds.) Constraint Logic Programming: Selected Research, pp. 421\u2013435. The MIT Press, Cambridge (1993)"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/3-540-61735-3_4","volume-title":"Algebraic and Logic Programming","author":"F. Benhamou","year":"1996","unstructured":"Benhamou, F.: Heterogeneous Constraint Solving. In: Hanus, M., Rodr\u00edguez-Artalejo, M. (eds.) ALP 1996. LNCS, vol.\u00a01139, pp. 62\u201376. Springer, Heidelberg (1996)"},{"key":"12_CR3","unstructured":"Benhamou, F., Toura\u00efvane. Prolog IV: langage et algorithmes. In: JFPL 1995: IVe Journ\u00e9es Francophones de Programmation en Logique. Dijon, France, pp. 51\u201365 (1995)"},{"key":"12_CR4","first-page":"223","volume-title":"LISP and symbolic computation","author":"A. Borning","year":"1992","unstructured":"Borning, A., Freeman-Benson, B., Wilson, M.: Constraint Hierarchies. In: LISP and symbolic computation, vol.\u00a05, pp. 223\u2013270. Kluwer Academic Publishers, Dordrecht (1992)"},{"key":"12_CR5","unstructured":"Burg, J., Hughes, C., Moshell, J., Lang, S.: Constraint-based Programming: A Survey. Technical report IST-TR-90-16, Dept. of Computer Science, University of Central Florida (1990)"},{"issue":"3","key":"12_CR6","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0743-1066(95)00121-2","volume":"27","author":"P. Codognet","year":"1996","unstructured":"Codognet, P., Diaz, D.: Compiling Constraints in clp(fd). Journal of Logic Programming\u00a027(3), 185\u2013226 (1996)","journal-title":"Journal of Logic Programming"},{"key":"12_CR7","unstructured":"Colmerauer, A., Kanoui, H., Pasero, R., Roussel, P.: Un syst\u00e8me de communication homme-machine en fran\u00e7ais. Technical report, Groupe Intelligence Artificielle, Universit\u00e9 d\u2019Aix-Marseille II (1973)"},{"key":"12_CR8","unstructured":"Darlington, J., Guo, Y.-K.: A New Perspective on Integrating Functions and Logic Languages. In: 3rd International Conference on Fifth Generation Computer Systems, Tokyo, Japan, pp. 682\u2013693 (1992)"},{"key":"12_CR9","unstructured":"Diaz, D., de la \u00c9tude, D.: compilation des langages logiques de programmation par contraintes sur les domaines finis: le syst\u00e8me CLP(FD). Ph.D. thesis, Universit\u00e9 d\u2019Orl\u00e9ans (1995)"},{"key":"12_CR10","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(70)90003-2","volume":"1","author":"R. Fikes","year":"1970","unstructured":"Fikes, R.: REF-ARF: A system for solving problems stated as procedures. Artificial Intelligence\u00a01, 27\u2013120 (1970)","journal-title":"Artificial Intelligence"},{"key":"12_CR11","unstructured":"Goualard, F., Benhamou, F., Granvilliers, L.: An Extension of the WAM for Hybrid Interval Solvers. Journal of Functional and Logic Programming\u00a04; Special issue on Parallelism and Implementation Technology for Constraint Logic Programming, Santos Costa, V., Pontelli, E., Gupta, G. (eds) (April 1999)"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/BFb0013827","volume-title":"Algebraic and Logic Programming","author":"H. Hong","year":"1992","unstructured":"Hong, H.: Non-linear Real Constraints in Constraint Logic Programming. In: Kirchner, H., Levi, G. (eds.) ALP 1992. LNCS, vol.\u00a0632, pp. 201\u2013212. Springer, Heidelberg (1992)"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Jaffar, J., Maher, M.J.: Constraint Logic Programming: a Survey. Journal of Logic Programming 19(20) (1994)","DOI":"10.1016\/0743-1066(94)90033-7"},{"key":"12_CR14","series-title":"The Art of Computer Programming","volume-title":"Fundamental Algorithms","author":"D.E. Knuth","year":"1997","unstructured":"Knuth, D.E.: Fundamental Algorithms, 3rd edn. The Art of Computer Programming, vol.\u00a01. Addison-Wesley, Reading (1997)","edition":"3"},{"issue":"8","key":"12_CR15","first-page":"99","volume":"1","author":"A.K. Mackworth","year":"1997","unstructured":"Mackworth, A.K.: Consistency in Networks of Relations. Artificial Intelligence\u00a01(8), 99\u2013118 (1997)","journal-title":"Artificial Intelligence"},{"key":"12_CR16","unstructured":"McLennan, M.J.: The New [incr Tcl]: Objects, Mega-Widgets, Namespaces and More. In: USENIX Association (ed.): Proceedings of the Tcl\/Tk Workshop, Toronto, Ontario, Canada, Berkeley, CA, USA, July 6-8, pp. 151\u2013160 (1995)"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Meier, M.: Debugging constraint programs. In: Montanari, U., Rossi, F. (eds.) Proceedings of the First International Conference on Principles and Practice of Constraint Programming, vol.\u00a0976, pp. 204\u2013221 (1995)","DOI":"10.1007\/3-540-60299-2_13"},{"key":"12_CR18","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/0004-3702(86)90083-4","volume":"28","author":"R. Mohr","year":"1986","unstructured":"Mohr, R., Henderson, T.C.: Arc and Path Consistency Revisited. Artificial Intelligence\u00a028, 225\u2013233 (1986)","journal-title":"Artificial Intelligence"},{"key":"12_CR19","volume-title":"Constraint Logic Programming: Selected Papers","author":"W.J. Older","year":"1993","unstructured":"Older, W.J., Vellino, A.: Constraint Arithmetic on Real Intervals. In: Benhamou, F., Colmerauer, A. (eds.) Constraint Logic Programming: Selected Papers. The MIT Press, Cambridge (1993)"},{"key":"12_CR20","series-title":"Professional Computing Series","volume-title":"Tcl and the Tk Toolkit","author":"J.K. Ousterhout","year":"1994","unstructured":"Ousterhout, J.K.: Tcl and the Tk Toolkit. Professional Computing Series. Addison-Wesley, Reading (1994)"},{"key":"12_CR21","unstructured":"Puget, J.-F.: A C++ implementation of CLP. In: Proceedings of the Singapore Conference on Intelligent Systems (SPICIS 1994), Singapore (1994)"},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"Schulte, C.: Oz Explorer: A Visual Constraint Programming Tool. In: Naish, L. (ed.) Proceedings of the 14th International Conference on Logic Programming, Cambridge, pp. 286\u2013300 (1997)","DOI":"10.7551\/mitpress\/4299.003.0026"},{"issue":"278","key":"12_CR23","first-page":"818","volume":"26","author":"D. Singmaster","year":"1995","unstructured":"Singmaster, D.: Quelques divertissements num\u00e9riques. La Recherche\u00a026(278), 818\u2013823. Num\u00e9ro Sp\u00e9cial Nombres (1995)","journal-title":"La Recherche"},{"key":"12_CR24","unstructured":"Wallace, R.J., Freuder, E.C.: Ordering Heuristics for Arc Consistency Algorithms. In: Proceedings of CAI 1992 (1992)"}],"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_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,9]],"date-time":"2024-02-09T17:49:47Z","timestamp":1707500987000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722311_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411376","9783540400165"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/10722311_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}