{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T09:44:55Z","timestamp":1760607895682,"version":"3.41.2"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1999,12,1]],"date-time":"1999-12-01T00:00:00Z","timestamp":944006400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,12,1]],"date-time":"1999-12-01T00:00:00Z","timestamp":944006400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Constraints"],"published-print":{"date-parts":[[1999,12]]},"DOI":"10.1023\/a:1009821007410","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T18:53:29Z","timestamp":1040583209000},"page":"363-381","source":"Crossref","is-referenced-by-count":17,"title":["Algorithmic Power from Declarative Use of Redundant Constraints"],"prefix":"10.1007","volume":"4","author":[{"given":"M. H.","family":"van Emden","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"241319_CR1","unstructured":"Alefeld, G., & Herzberger, J. (1983). Introduction to Interval Computations. Academic Press."},{"key":"241319_CR2","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0895-7177(94)90127-9","volume":"20","author":"N. Beldiceanu","year":"1994","unstructured":"Beldiceanu, N., & Contejean, E. (1994). Introducing global constraints in CHIP. Mathematical and Computer Modelling, 20:97\u2013123.","journal-title":"Mathematical and Computer Modelling"},{"key":"241319_CR3","unstructured":"Benhamou, F., McAllester, D., & Van Hentenryck, P. (1994). CLP(Intervals) revisited. In Logic Programming: Proc. 1994 International Symposium, 124\u2013138."},{"key":"241319_CR4","series-title":"Technical report","volume-title":"Le manuel de Prolog IV","author":"F. Benhamou","year":"1996","unstructured":"Benhamou, F., Bouvier, P., Colmerauer, A., Garetta, H., Giletta, B., Massat, J-L., Narboni, G. A., N'Dong, S., Pasero, R., Pique, J-F., Toura\u00efvane, Van Caneghem, M., & V\u00e9tillard, E. (1996). Le manuel de Prolog IV. Technical report, PrologIA, Parc Technologique de Luminy, Marseille, France."},{"key":"241319_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0743-1066(96)00142-2","volume":"32","author":"F. Benhamou","year":"1997","unstructured":"Benhamou, F., & Older, W. J. (1997). Applying interval arithmetic to real, integer, and Boolean constraints. Journal of Logic Programming, 32:1\u201324.","journal-title":"Journal of Logic Programming"},{"key":"241319_CR6","unstructured":"BNR. (1988). BNR Prolog user guide and reference manual."},{"key":"241319_CR7","unstructured":"Bol, R., & Degerstedt, L. (1993). Tabulated resolution for well-founded semantics. In Proc. of the Symposium on Logic Programming."},{"issue":"1","key":"241319_CR8","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1145\/227595.227597","volume":"43","author":"W. Chen","year":"1996","unstructured":"Chen, W., & Warren, D. S. (1996). Tabled evaluation with delaying for general logic programs. Journal of the ACM, 43(1):20\u201374.","journal-title":"Journal of the ACM"},{"key":"241319_CR9","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/3-540-61551-2_68","volume":"1118","author":"B. M. W. Cheng","year":"1996","unstructured":"Cheng, B. M. W., Lee, J. H. M., & Wu, J. C. K. (1996). Speeding up constraint propagation by redundant modelling. In Lecture Notes in Computer Science, volume 1118, pages 91\u2013103. Springer-Verlag.","journal-title":"Lecture Notes in Computer Science"},{"key":"241319_CR10","first-page":"125","volume":"2","author":"J. G. Cleary","year":"1987","unstructured":"Cleary, J. G. (1987). Logical arithmetic. Future Computing Systems, 2:125\u2013149.","journal-title":"Future Computing Systems"},{"key":"241319_CR11","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1103\/PhysRev.42.189","volume":"42","author":"A. S. Coolidge","year":"1932","unstructured":"Coolidge, A. S. (1932). A quantum mechanics treatment of the water molecule. Physical Review, 42:189\u2013209.","journal-title":"Physical Review"},{"key":"241319_CR12","unstructured":"Hansen, E. (1992). Global Optimization Using Interval Analysis. Marcel Dekker."},{"key":"241319_CR13","unstructured":"Van Hentenryck, P. (1989). Constraint Satisfaction in Logic Programming. MIT Press."},{"key":"241319_CR14","doi-asserted-by":"crossref","unstructured":"Van Hentenryck, P., Michel, L., & Deville, Y. (1997). Numerica: A Modeling Language for Global Optimization. MIT Press.","DOI":"10.7551\/mitpress\/5073.001.0001"},{"key":"241319_CR15","unstructured":"Hille, E. (1964). Analysis, Volume I. Blaisdell."},{"key":"241319_CR16","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A. K. Mackworth","year":"1977","unstructured":"Mackworth, A. K. (1977). Consistency in networks of relations. Artificial Intelligence, 8:99\u2013118.","journal-title":"Artificial Intelligence"},{"key":"241319_CR17","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1038\/218019a0","volume":"218","author":"D. Michie","year":"1968","unstructured":"Michie, D. (1968). Memo functions and machine learning. Nature, 218:19\u201322.","journal-title":"Nature"},{"issue":"2","key":"241319_CR18","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0020-0255(74)90008-5","volume":"7","author":"U. Montanari","year":"1974","unstructured":"Montanari, U. (1974). Networks of constraints: Fundamental properties and applications to picture processing. Information Science, 7(2):95\u2013132.","journal-title":"Information Science"},{"key":"241319_CR19","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/0004-3702(91)90059-S","volume":"48","author":"U. Montanari","year":"1991","unstructured":"Montanari, U., & Rossi, F. (1991). Constraint relaxation may be perfect. Artificial Intelligence, 48:143\u2013170.","journal-title":"Artificial Intelligence"},{"key":"241319_CR20","unstructured":"Moore, R. E. (1966). Interval Analysis. Prentice-Hall."},{"key":"241319_CR21","doi-asserted-by":"crossref","unstructured":"Neumaier, A. (1990). Interval Methods for Systems of Equations. Cambridge University Press.","DOI":"10.1017\/CBO9780511526473"},{"key":"241319_CR22","unstructured":"Older, W. (1992). Constraints in BNR Prolog."},{"key":"241319_CR23","unstructured":"Older, W. J. (1993). Using interval arithmetic for non-linear constrained optimization. Bell-Northern Research Technical Report."},{"key":"241319_CR24","unstructured":"Older, W. J. (1989). The application of relation arithmetic to X-ray diffraction crystallography. Bell-Northern Research Technical Report."},{"key":"241319_CR25","unstructured":"Older, W. J., Swinkels, G. M., & van Emden, M. H. (1995). Getting to the real problem: Experience with BNR Prolog in OR. In Leon Sterling, editor, Proceedings of the Third International Conference on the Practical Application of Prolog, pages 465\u2013478. Alinmead Software Ltd."},{"key":"241319_CR26","unstructured":"Press, W. H., Teukolsky, S. A., Vetterling, W. T., & Flannery, B. P. (1992). Numerical Recipes in C, Second Edition. Cambridge University Press."},{"key":"241319_CR27","doi-asserted-by":"crossref","unstructured":"Sagonas, K., Swift, T., & Warren, D. S. (1994). XSB as an efficient deductive database engine. In Proc. of SIGMOD 1994 Conference. ACM.","DOI":"10.1145\/191839.191927"},{"key":"241319_CR28","doi-asserted-by":"crossref","unstructured":"Semenov, A. L. (1996). Solving optimization problems with help of the Unicalc solver. In R. Baker Kearfott and Vladik Kreinovich, editors, Application of Interval Computations, pages 211\u2013224. Kluwer Academic Publishers.","DOI":"10.1007\/978-1-4613-3440-8_9"},{"key":"241319_CR29","doi-asserted-by":"crossref","unstructured":"Tamaki, H., & Sato, T. (1986). OLDT resolution with tabulation. In Third International Conference on Logic Programming, 84\u201398.","DOI":"10.1007\/3-540-16492-8_66"},{"key":"241319_CR30","unstructured":"van Emden, M. H. Finding nonzeroes of nonlinear functions. In preparation."},{"key":"241319_CR31","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1023\/A:1009705709733","volume":"2","author":"M. H. van Emden","year":"1997","unstructured":"van Emden, M. H. (1997). Value constraints in the CLP Scheme. Constraints, 2:163\u2013183.","journal-title":"Constraints"},{"key":"241319_CR32","unstructured":"Waltz, D. (1975). Understanding line drawings in scenes with shadows. In Patrick Henry Winston, editor, The Psychology of Computer Vision, pages 19\u201391. McGraw-Hill."},{"key":"241319_CR33","unstructured":"Zhou, J. (1997). Calcul de plus petits produits cart\u00b4esiens d'intervalles. Ph.D. thesis, Laboratoire d'Informatique de Marseille."}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009821007410.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1009821007410\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009821007410.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,13]],"date-time":"2025-07-13T03:49:17Z","timestamp":1752378557000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1009821007410"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,12]]},"references-count":33,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1999,12]]}},"alternative-id":["241319"],"URL":"https:\/\/doi.org\/10.1023\/a:1009821007410","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"type":"print","value":"1383-7133"},{"type":"electronic","value":"1572-9354"}],"subject":[],"published":{"date-parts":[[1999,12]]}}}