{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:24:36Z","timestamp":1725495876919},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540652243"},{"type":"electronic","value":"9783540494812"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49481-2_18","type":"book-chapter","created":{"date-parts":[[2007,11,24]],"date-time":"2007-11-24T19:46:10Z","timestamp":1195933570000},"page":"235-249","source":"Crossref","is-referenced-by-count":13,"title":["Constraint Representation for Propagation"],"prefix":"10.1007","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","published-online":{"date-parts":[[1999,6,11]]},"reference":[{"issue":"3","key":"18_CR1","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0743-1066(95)00121-2","volume":"27","author":"P. Codognet","year":"1996","unstructured":"Philippe Codognet and Daniel Diaz. Compiling constraints in clp(FD). The Journal of Logic Programming, 27(3):185\u2013226, 1996.","journal-title":"The Journal of Logic Programming"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Automatic synthesis of optimal invariant assertions: Mathematical foundations. In ACM Symposium on Artificial Intelligence and Programming Languages, 1977.","DOI":"10.1145\/800228.806926"},{"key":"18_CR3","unstructured":"Daniel Diaz and Phillipe Codognet. A minimal extension of the WAM for clp(FD). In David S. Warren, editor, Proceedings of the 10th International Conference on Logic Programming, pages 774\u2013790. MIT Press, 1993."},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Warwick Harvey and Peter J. Stuckey. Constraint representation for propagation. Computer Science Technical Report 98\/10, The University of Melbourne, 1998. Available at http:\/\/www.cs.mu.oz.au\/~pjs\/papers\/papers.html.","DOI":"10.1007\/3-540-49481-2_18"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Joxan Jaffar, Spiro Michaylov, Peter Stuckey, and Roland Yap. The CLP(R) language and system. ACM Transactions on Programming Languages and Systems, 14(3):339\u2013395, July 1992.","DOI":"10.1145\/129393.129398"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"J. H. M. Lee, H. F. Leung, and H. W. Won. Extending GENET for non-binary CSP\u2019s. In Proceedings of the Seventh IEEE International Conference on Tools with Artificial Intelligence, pages 338\u2013343. IEEE Computer Society Press, 1995.","DOI":"10.1109\/TAI.1995.479651"},{"key":"18_CR7","unstructured":"Jonathan S. Ostroff. Temporal Logic for Real-Time Systems. Wiley, 1989."},{"key":"18_CR8","volume-title":"Constraint Satisfaction in Logic Programming","author":"P. Hentenryck Van","year":"1989","unstructured":"Pascal Van Hentenryck. Constraint Satisfaction in Logic Programming. Logic Programming Series. MIT Press, Cambridge, MA, 1989."},{"key":"18_CR9","unstructured":"Pascal Van Hentenryck, Vijay Saraswat, and Yves Deville. Constraint processing in cc(FD). manuscript, 1992."}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2014 CP98"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49481-2_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,5]],"date-time":"2019-05-05T02:05:03Z","timestamp":1557021903000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49481-2_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540652243","9783540494812"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-49481-2_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}