{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:07:11Z","timestamp":1761620831473,"version":"3.41.2"},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2003,4,1]],"date-time":"2003-04-01T00:00:00Z","timestamp":1049155200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,4,1]],"date-time":"2003-04-01T00:00:00Z","timestamp":1049155200000},"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":[[2003,4]]},"DOI":"10.1023\/a:1022323717928","type":"journal-article","created":{"date-parts":[[2003,3,28]],"date-time":"2003-03-28T17:25:21Z","timestamp":1048872321000},"page":"173-207","source":"Crossref","is-referenced-by-count":24,"title":["Improving Linear Constraint Propagation by Changing Constraint Representation"],"prefix":"10.1007","volume":"8","author":[{"given":"Warwick","family":"Harvey","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter J.","family":"Stuckey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5115505_CR1","unstructured":"Aggoun, A., & Beldiceanu, N. (1993). Overview ofthe CHIP compiler system. In Benhamou, F., & Colmerauer, A., eds., Constraint Logic Programming: Selected Research, pages 421\u2013435. MIT Press."},{"key":"5115505_CR2","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1287\/ijoc.3.2.149","volume":"3","author":"D. Applegate","year":"1991","unstructured":"Applegate, D., & Cook, W. (1991). A computational study ofthe job-shop scheduling instance. ORSA Journal on Computing, 3:149\u2013156.","journal-title":"ORSA Journal on Computing"},{"issue":"3","key":"5115505_CR3","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0743-1066(95)00121-2","volume":"27","author":"P. Codognet","year":"1996","unstructured":"Codognet, P., & Diaz, D. (1996). Compiling constraints in clp(FD). The Journal of Logic Programming, 27(3):185\u2013226.","journal-title":"The Journal of Logic Programming"},{"key":"5115505_CR4","doi-asserted-by":"crossref","unstructured":"Cousot, P., & Cousot, R. (1977). Automatic synthesis ofoptimal invariant assertions: Mathematical foundations. In ACM Symposium on Artificial Intelligence and Programming Languages, pages 1\u201312.","DOI":"10.1145\/800228.806926"},{"key":"5115505_CR5","unstructured":"Diaz, D., & Codognet, P. (1993). A minimal extension ofthe WAM for clp(FD). In Warren, D. S., ed., Proceedings of the 10th International Conference on Logic Programming, pages 774\u2013790. MIT Press."},{"issue":"3","key":"5115505_CR6","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1145\/129393.129398","volume":"14","author":"J. Jaffar","year":"1992","unstructured":"Jaffar, J., Michaylov, S., Stuckey, P., & Yap, R. (1992). The CLP(\u211b) language and system. ACM Transactions on Programming Languages and Systems, 14(3):339\u2013395.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"5115505_CR7","unstructured":"Lawrence, S. (1984). Resource constrained project scheduling: an experimental investigation of heuristic scheduling techniques (supplement). Technical report, Graduate School ofIndustrial Administration, Pittsburgh: Carnegie-Mellon University."},{"key":"5115505_CR8","doi-asserted-by":"crossref","unstructured":"Lee, J. H. M., Leung, H. F., & Won, H. W. (1995). Extending GENET for non-binary CSP's. In Proceedings of the Seventh IEEE International Conference on Tools with Artificial Intelligence, pages 338\u2013343. IEEE Computer Society Press.","DOI":"10.1109\/TAI.1995.479651"},{"key":"5115505_CR9","unstructured":"Ostroff, J. S. (1989). Temporal Logic for Real-Time Systems. Wiley."},{"key":"5115505_CR10","unstructured":"Puget, J. F. (1994). A C++ implementation of CLP. Technical report, ILOG SOLVER collected papers, ILOG."},{"key":"5115505_CR11","volume-title":"Constraint Satisfaction in Logic Programming","author":"P. Van Hentenryck","year":"1989","unstructured":"Van Hentenryck, P. (1989). Constraint Satisfaction in Logic Programming. Logic Programming Series. Cambridge: MIT Press."},{"key":"5115505_CR12","unstructured":"Van Hentenryck, P., Saraswat, V., & Deville, Y. (1993). Design, implementation and evaluation of the constraint language cc(FD). Report CS-93-02, Brown University."},{"issue":"1-3","key":"5115505_CR13","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/S0743-1066(98)10006-7","volume":"37","author":"P. Van Hentenryck","year":"1998","unstructured":"Van Hentenryck, P., Saraswat, V., & Deville, Y. (1998). Design, implementation and evaluation of the constraint language cc(FD). Journal of Logic Programming, 37(1-3):139\u2013164.","journal-title":"Journal of Logic Programming"}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1022323717928.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1022323717928\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1022323717928.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,13]],"date-time":"2025-07-13T03:47:07Z","timestamp":1752378427000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1022323717928"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,4]]},"references-count":13,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2003,4]]}},"alternative-id":["5115505"],"URL":"https:\/\/doi.org\/10.1023\/a:1022323717928","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"type":"print","value":"1383-7133"},{"type":"electronic","value":"1572-9354"}],"subject":[],"published":{"date-parts":[[2003,4]]}}}