{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:06:28Z","timestamp":1761620788304,"version":"3.41.2"},"reference-count":55,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1999,5,1]],"date-time":"1999-05-01T00:00:00Z","timestamp":925516800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,5,1]],"date-time":"1999-05-01T00:00:00Z","timestamp":925516800000},"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,5]]},"DOI":"10.1023\/a:1009894810205","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T18:53:29Z","timestamp":1040583209000},"page":"167-192","source":"Crossref","is-referenced-by-count":49,"title":["Increasing Constraint Propagation by Redundant Modeling: an Experience Report"],"prefix":"10.1007","volume":"4","author":[{"given":"B. M. W.","family":"Cheng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K. M. F.","family":"Choi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. H. M.","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. C. K.","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"205045_CR1","unstructured":"Aggoun, A. (1994). A good value-ordering heuristics for the n-queens problem. Private Communication."},{"key":"205045_CR2","doi-asserted-by":"crossref","unstructured":"Baptiste, P. and C. Le Pape. (1995). Disjunctive constraints for manufacturing scheduling: Principles and extensions. In Proceedings of the Third International Conference on Computer Integrated Manufacturing, Singapore.","DOI":"10.1080\/095119296131616"},{"issue":"12","key":"205045_CR3","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. and E. Contejean. (1994). Introducing global constraints in CHIP. Journal of Mathematical and Computer Modelling, 20(12): 97\u2013123.","journal-title":"Journal of Mathematical and Computer Modelling"},{"key":"205045_CR4","unstructured":"Benson Jr., B.W. and E.C. Freuder. (1992). Interchangeability preprocessing can improve forward checking search. In Proceedings of the 10th European Conference on Artificial Intelligence, pages 28\u201330."},{"key":"205045_CR5","unstructured":"Bessi\u00e8re, C. and M. Cordier. (1993). Arc-consistency and arc-consistency again. In Proceedings of AAAI-93, pages 108\u2013113."},{"key":"205045_CR6","doi-asserted-by":"crossref","first-page":"651","DOI":"10.1145\/361219.361224","volume":"18","author":"J. Bitner","year":"1985","unstructured":"Bitner, J. and E.M. Reingold. (1985). Backtrack programming techniques. Communications of the ACM, 18: 651\u2013655.","journal-title":"Communications of the ACM"},{"key":"205045_CR7","doi-asserted-by":"crossref","unstructured":"Caseau, Y. (1989).. A formal system for producing demons from rules. In Proceedings of the 1989 International Conference on Deductive and Object-Oriented Databases, pages 203\u2013219.","DOI":"10.1016\/B978-0-444-88433-6.50019-8"},{"key":"205045_CR8","doi-asserted-by":"crossref","unstructured":"Caseau, Y. (1991). An object-oriented deductive language. Annals of Mathematics and Artificial Intelligence.","DOI":"10.1007\/BF01530926"},{"key":"205045_CR9","unstructured":"Caseau, Y. and P. Koppstein. (1992). A rule-based approach to a time-constrained traveling salesman problem. Unpublished manuscript."},{"key":"205045_CR10","doi-asserted-by":"crossref","unstructured":"Cheng, B.M.W., J.H.M. Lee, and J.C.K. Wu. (1996). A constraint-based nurse rostering system using a redundant modeling approach. In Proceedings of the Eighth IEEE International Conference on Tools with Artificial Intelligence, pages 140\u2013148.","DOI":"10.1109\/TAI.1996.560444"},{"key":"205045_CR11","doi-asserted-by":"crossref","unstructured":"Cheng, B.M.W., J.H.M. Lee, and J.C.K. Wu. (1996). Speeding up constraint propagation by redundant modeling. In Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, pages 91\u2013103.","DOI":"10.1007\/3-540-61551-2_68"},{"issue":"1","key":"205045_CR12","first-page":"44","volume":"1","author":"B.M.W. Cheng","year":"1997","unstructured":"Cheng, B.M.W., J.H.M. Lee, and J.C.K. Wu. (1997). Anurse rostering system using constraint programming and redundant modeling. IEEE Transactions in Information Technology in Biomedicine, 1(1): 44\u201354.","journal-title":"IEEE Transactions in Information Technology in Biomedicine"},{"key":"205045_CR13","unstructured":"Cormen, T.H. (1990). C.E. Leiserson, and R.L. Rivest. Introduction to Algorithms. The MIT Press."},{"key":"205045_CR14","first-page":"1","volume":"38","author":"R. Dechter","year":"1988","unstructured":"Dechter, R. and J. Pearl. (1988). Network-based heuristics for constraint-satisfaction problems. Artificial Intelligence, 38:1\u201338.","journal-title":"Artificial Intelligence"},{"key":"205045_CR15","unstructured":"Deville, Y. and P. Van Hentenryck. (1991). An efficient arc consistency algorithm for a class of CSP algorithm. In Proceedings of IJCAI 1991, pages 325\u2013330."},{"key":"205045_CR16","unstructured":"Dincbas, M. H. Simonis, and P. Van Hentenryck. (1988). Solving the car-sequencing problem in constraint logic programming. In Proceedings of the European Conference on Artificial Intelligence, pages 290\u2013295."},{"key":"205045_CR17","doi-asserted-by":"crossref","unstructured":"Dincbas, M., P. Van Hentenryck, H. Simonis, A. Aggoun, and T. Graf. (1988). Applications of CHIP to industrial and engineering problems. In Proceedings of the 1st International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, pages 887\u2013892.","DOI":"10.1145\/55674.55703"},{"key":"205045_CR18","unstructured":"Dincbas, M., P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F. Berthier. (1988). The constraint logic programming language CHIP. In Proceedings of the International Conference on Fifth Generation Computer Systems (FGCS'88), pages 693\u2013702, Tokyo, Japan."},{"key":"205045_CR19","unstructured":"Eaton, P.S. and E.C. Freuder. (1996). Agent cooperation can compensate for agent ignorance in constraint satisfaction. In Proceedings of the 1996 AAAI Workshop on Agent Modeling, pages 24\u201329. AAAI Press. Technical Report WS\u201396\u201302."},{"key":"205045_CR20","unstructured":"Ellman, T. (1993). Abstraction via approximate symmetry. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, pages 916\u2013921."},{"key":"205045_CR21","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1145\/322290.322292","volume":"29","author":"E.C. Freuder","year":"1982","unstructured":"Freuder, E.C. (1982). A sufficient condition for backtrack-free search. Journal of the ACM, 29:24\u201332.","journal-title":"Journal of the ACM"},{"key":"205045_CR22","unstructured":"Freuder, E.C. and D. Sabin. (1995). Interchangeability supports abstraction and reformation for constraint satisfaction. In Proceedings of the Symposium on Abstraction, Reformulation and Approximation."},{"key":"205045_CR23","unstructured":"Gaschnig, J. (1977). A general backtrack algorithm that eliminates most redundant tests. In Proceedings of the Fifth International Joint Conference on Artificial Intelligence."},{"key":"205045_CR24","volume-title":"Proceedings of the Second Biennial Conference of the Canadian Society for Computational Studies of Intelligence","author":"J. Gaschnig","year":"1978","unstructured":"Gaschnig, J. (1978). Experimental case studies of backtrack versus Waltz-type versus new algorithms for satisfying assignment problems. In Proceedings of the Second Biennial Conference of the Canadian Society for Computational Studies of Intelligence. Canadian Information Processing Society."},{"key":"205045_CR25","volume-title":"Performance Measurement and Analysis of Certain Search Algorithms","author":"J. Gaschnig","year":"1979","unstructured":"Gaschnig, J. (1979). Performance Measurement and Analysis of Certain Search Algorithms. PhD thesis, Department of Computer Science, Carnegie-Mellon University, Pittsburgh, U.S.A."},{"key":"205045_CR26","series-title":"Technical Report","volume-title":"Performance measurement and analysis of certain search algorithms","author":"J. Gaschnig","year":"1979","unstructured":"Gaschnig, J. (1979). Performance measurement and analysis of certain search algorithms. Technical Report CMU-CS-79-124, Carnegie-Mellon University."},{"key":"205045_CR27","unstructured":"Geelen, P.A. (1992). Dual viewpoint heuristics for binary constraint satisfaction problem. In Proceedings of the 10th European Conference on Artificial Intelligence, pages 31\u201335."},{"key":"205045_CR28","unstructured":"Gervet, C. (1994). Conjunto: Constraint logic programming with finite set domains. In Logic Programming: Proceedings of the 1994 International Symposium, pages 339\u2013358."},{"issue":"3","key":"205045_CR29","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/BF00137870","volume":"1","author":"C. Gervet","year":"1997","unstructured":"Gervet, C. (1997). Interval propagation to reason about sets: definition and implementation of a practical language. CONSTRAINTS, 1(3):191\u2013244.","journal-title":"CONSTRAINTS"},{"key":"205045_CR30","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(80)90051-X","volume":"14","author":"R.M. Haralick","year":"1980","unstructured":"Haralick, R.M. and G.L. Elliot. (1980). Increasing tree search efficiency for constraint satisfaction problems. Artificial Intelligence, 14:263\u2013313.","journal-title":"Artificial Intelligence"},{"key":"205045_CR31","unstructured":"ILOG. (1995). ILOG SOLVER: Reference Manual Version 3.0."},{"key":"205045_CR32","unstructured":"ILOG. (1995). ILOG SOLVER: User Manual Version 3.0."},{"key":"205045_CR33","unstructured":"ILOG. (1997). ILOG SOLVER: Reference Manual Version 4.0."},{"key":"205045_CR34","unstructured":"Jourdan, J. (1995). Concurrent constraint multiple models in CLP and CC languages: toward a programming methodology by modelling. In Proceedings of the INFORMS Conference, New Orleans, USA."},{"key":"205045_CR35","volume-title":"Concurrent constraint multiple models inCLPandCClanguages: Toward a programming methodology by modelling","author":"J. Jourdan","year":"1995","unstructured":"Jourdan, J. (1995). Concurrent constraint multiple models inCLPandCClanguages: Toward a programming methodology by modelling. PhD thesis, Denis Diderot University, Paris VII."},{"issue":"1&2","key":"205045_CR36","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1142\/S0218213095000048","volume":"4","author":"T. K\u00f6k\u00e9ny","year":"1995","unstructured":"K\u00f6k\u00e9ny, T. (1995). Constraint satisfaction problems with order-sorted domains. International Journal on Artificial Intelligence Tools, 4(1&2):55\u201372.","journal-title":"International Journal on Artificial Intelligence Tools"},{"key":"205045_CR37","first-page":"32","volume":"13","author":"V. Kumar","year":"1992","unstructured":"Kumar, V. (1992). Algorithms for constraint-satisfaction problems: A survey. AI Magazine, 13:32\u201344.","journal-title":"AI Magazine"},{"key":"205045_CR38","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1049\/ise.1994.0009","volume":"3","author":"C. Le Pape","year":"1994","unstructured":"Le Pape, C. (1994). Implementation of resource constraints in ILOG SCHEDULE: Alibrary for the development of constraint-based scheduling systems. Intelligent Systems Engineering, 3:55\u201366.","journal-title":"Intelligent Systems Engineering"},{"key":"205045_CR39","doi-asserted-by":"crossref","unstructured":"Le Pape, C. (1995). Resource constraints in a library for constraint-based scheduling. In Proceedings of the INRIA\/IEEE Conference on Emerging Technologies and Factory Automation, Paris, France.","DOI":"10.1109\/ETFA.1995.496781"},{"key":"205045_CR40","doi-asserted-by":"crossref","unstructured":"Lee, J.H.M., H.F. Leung, P. Stuckey, V. Tam, and H.W. Won. (1996). Using stochastic methods to guide search in CLP: a preliminary report. In Proceedings of the 1996 Asian Computing Science Conference, pages 43\u201352.","DOI":"10.1007\/BFb0027778"},{"key":"205045_CR41","volume-title":"Proceedings of MAAMAW'93","author":"Liu","year":"1993","unstructured":"Liu and K. Sycara, J. (1993). Emergent constraint satisfaction through multi-agent coordinated interaction. In Proceedings of MAAMAW'93, Neuchatel, Switzerland."},{"issue":"1","key":"205045_CR42","first-page":"99","volume":"8","author":"A.K. Mackworth","year":"1977","unstructured":"Mackworth, A.K. (1977). Consistency in networks of relations. AI Journal, 8(1):99\u2013118.","journal-title":"AI Journal"},{"key":"205045_CR43","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1111\/j.1467-8640.1985.tb00064.x","volume":"1","author":"A.K. Mackworth","year":"1985","unstructured":"Mackworth, A.K., J.A. Mulder, and W.S. Havens. (1985). Hierarchical arc consistency: Exploiting structured domains in constraint satisfaction problems. Computational Intelligence, 1:118\u2013126.","journal-title":"Computational Intelligence"},{"issue":"1&2","key":"205045_CR44","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1142\/S0218213095000061","volume":"4","author":"P. Marti","year":"1995","unstructured":"Marti, P. and M. Rueher. (1995). Adistributed cooperating constraints solving system. International Journal on Artificial Intelligence Tools, 4(1&2):93\u2013113.","journal-title":"International Journal on Artificial Intelligence Tools"},{"key":"205045_CR45","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/0004-3702(92)90007-K","volume":"58","author":"S. Minton","year":"1992","unstructured":"Minton, S., M.D. Johnston, A.B. Philips, and P. Laird. (1992). Minimizing conflicts: a heuristic repair method for constraint satisfaction and scheduling. Artificial Intelligence, 58:161\u2013205.","journal-title":"Artificial Intelligence"},{"key":"205045_CR46","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/0004-3702(86)90083-4","volume":"28","author":"R. Mohr","year":"1986","unstructured":"Mohr, R. and T.C. Henderson. (1986). Arc and path consistency revisited. Artificial Intelligence, 28:225\u2013233.","journal-title":"Artificial Intelligence"},{"key":"205045_CR47","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1111\/j.1467-8640.1989.tb00328.x","volume":"5","author":"B.A. Nadel","year":"1989","unstructured":"Nadel, B.A. (1989). Constraint satisfaction algorithms. Computational Intelligence, 5:188\u2013224.","journal-title":"Computational Intelligence"},{"issue":"3","key":"205045_CR48","first-page":"537","volume":"7","author":"M. Perrett","year":"1991","unstructured":"Perrett, M. (1991). Using constraint logic programming techniques in container port planning. ICL Technical Journal, 7(3):537\u2013545.","journal-title":"ICL Technical Journal"},{"issue":"3","key":"205045_CR49","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1111\/j.1467-8640.1993.tb00310.x","volume":"9","author":"P. Prosser","year":"1993","unstructured":"Prosser, P. (1993). Hybrid algorithms for the constraint satisfaction problem. Computational Intelligence, 9(3):268\u2013299.","journal-title":"Computational Intelligence"},{"key":"205045_CR50","unstructured":"Tsang, E.P.K. (1993). Foundations of Constraint Satisfaction. Academic Press."},{"key":"205045_CR51","unstructured":"van Beek, P. (1992). On the minimality and decomposability of constraint networks. In Proceedings of the Tenth National Conference on Artificial Intelligence, pages 447\u2013452."},{"key":"205045_CR52","unstructured":"Van Hentenryck, P. (1989). Constraint Satisfaction in Logic Programming. The MIT Press."},{"key":"205045_CR53","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/0004-3702(92)90020-X","volume":"57","author":"P. Van Hentenryck","year":"1992","unstructured":"Van Hentenryck, P., Y. Deville, and C.M. Teng. (1992). A generic arc-consistency algorithm and its specializations. Artificial Intelligence, 57:291\u2013321, 1992.","journal-title":"Artificial Intelligence"},{"key":"205045_CR54","unstructured":"Wallace, R. (1996). Partial models in redundant modeling. Private Communication at CP96."},{"key":"205045_CR55","unstructured":"Waltz, D. (1975). Understanding line drawings of scenes with shadows. In P.H. Winston, editor, The Psychology of Computer Vision, pages 19\u201391. McGraw-Hill."}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009894810205.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1009894810205\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009894810205.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,13]],"date-time":"2025-07-13T03:56:09Z","timestamp":1752378969000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1009894810205"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,5]]},"references-count":55,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1999,5]]}},"alternative-id":["205045"],"URL":"https:\/\/doi.org\/10.1023\/a:1009894810205","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"type":"print","value":"1383-7133"},{"type":"electronic","value":"1572-9354"}],"subject":[],"published":{"date-parts":[[1999,5]]}}}