{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:59:28Z","timestamp":1725544768575},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540342151"},{"type":"electronic","value":"9783540342168"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11754602_2","type":"book-chapter","created":{"date-parts":[[2006,5,20]],"date-time":"2006-05-20T03:42:06Z","timestamp":1148096526000},"page":"14-28","source":"Crossref","is-referenced-by-count":3,"title":["Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains"],"prefix":"10.1007","author":[{"given":"Thom","family":"Fr\u00fchwirth","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Principles and Practice of Constraint Programming - CP97","author":"S. Abdennadher","year":"1997","unstructured":"Abdennadher, S.: Operational semantics and confluence of constraint propagation rules. In: Smolka, G. (ed.) CP 1997. LNCS, vol.\u00a01330, Springer, Heidelberg (1997)"},{"issue":"2","key":"2_CR2","first-page":"133","volume":"4","author":"S. Abdennadher","year":"1999","unstructured":"Abdennadher, S., Fr\u00fchwirth, T., Meuss, H.: Confluence and semantics of constraint simplification rules. Constraints Journal, Special Issue on the 2nd International Conference on Principles and Practice of Constraint Programming\u00a04(2), 133\u2013165 (1999)","journal-title":"Constraints Journal, Special Issue on the 2nd International Conference on Principles and Practice of Constraint Programming"},{"key":"2_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139172752","volume-title":"Term Rewriting and All That","author":"F. Baader","year":"1998","unstructured":"Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998)"},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-540-30201-8_11","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2004","author":"N. Beldiceanu","year":"2004","unstructured":"Beldiceanu, N., Carlsson, M., Petit, T.: Deriving filtering algorithms from constraint checkers. In: Wallace, M. (ed.) CP 2004. LNCS, vol.\u00a03258, pp. 107\u2013122. Springer, Heidelberg (2004)"},{"key":"2_CR5","unstructured":"Carlsson, M., Beldiceanu, N.: Revisiting the lexicographic ordering constraint. Technical Report T2002-17, Swedish Institute of Computer Science (2002)"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-540-24725-8_8","volume-title":"Programming Languages and Systems","author":"M. Carlsson","year":"2004","unstructured":"Carlsson, M., Beldiceanu, N.: From constraints to finite automata to filtering algorithms. In: Schmidt, D. (ed.) ESOP 2004. LNCS, vol.\u00a02986, pp. 94\u2013108. Springer, Heidelberg (2004)"},{"key":"2_CR7","unstructured":"Fargier, H., Lang, J., Schiex, T.: Selecting preferred solutions in fuzzy constraint satisfaction problems. In: 1st European Congress on Fuzzy and Intelligent Technologies, EUFIT (1993)"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/3-540-46135-3_7","volume-title":"Principles and Practice of Constraint Programming - CP 2002","author":"A.M. Frisch","year":"2002","unstructured":"Frisch, A.M., Hnich, B., Kiziltan, Z., Miguel, I., Walsh, T.: Global Constraints for Lexicographic Orderings. In: Van Hentenryck, P. (ed.) CP 2002. LNCS, vol.\u00a02470, pp. 93\u2013108. Springer, Heidelberg (2002)"},{"issue":"1\u20133","key":"2_CR9","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/S0743-1066(98)10005-5","volume":"37","author":"T. Fr\u00fchwirth","year":"1998","unstructured":"Fr\u00fchwirth, T.: Theory and Practice of Constraint Handling Rules, Special Issue on Constraint Logic Programming. Journal of Logic Programming\u00a037(1\u20133), 95\u2013138 (1998)","journal-title":"Journal of Logic Programming"},{"key":"2_CR10","unstructured":"Fr\u00fchwirth, T.: As time goes by: Automatic complexity analysis of simplification rules. In: 8th International Conference on Principles of Knowledge Representation and Reasoning, Toulouse, France (2002)"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/11562931_11","volume-title":"Logic Programming","author":"T. Fr\u00fchwirth","year":"2005","unstructured":"Fr\u00fchwirth, T.: Parallelizing union-find in constraint handling rules using confluence analysis. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol.\u00a03668, pp. 113\u2013127. Springer, Heidelberg (2005)"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/11754602_2","volume-title":"Recent Advances in Constraints","author":"T. Fr\u00fchwirth","year":"2006","unstructured":"Fr\u00fchwirth, T.: Complete propagation rules for lexicographic order constraints over arbitrary domains. In: Hnich, B., Carlsson, M., Fages, F., Rossi, F. (eds.) CSCLP 2005. LNCS, vol.\u00a03978, pp. 14\u201328. Springer, Heidelberg (2006)"},{"key":"2_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-05138-2","volume-title":"Essentials of Constraint Programming","author":"T. Fr\u00fchwirth","year":"2003","unstructured":"Fr\u00fchwirth, T., Abdennadher, S.: Essentials of Constraint Programming. Springer, Heidelberg (2003)"},{"key":"2_CR14","unstructured":"Hnich, B., Kiziltan, Z., Walsh, T.: Combining symmetry breaking with other constraints: Lexicographic ordering with sums. In: AMAI 2004 Eighth International Symposium on Artificial Intelligence And Mathematics (2004)"},{"issue":"1","key":"2_CR15","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/j.entcs.2005.06.039","volume":"147","author":"Tom Schrijvers","year":"2006","unstructured":"Schrijvers, T., Demoen, B., Duck, G., Stuckey, P., Fr\u00fchwirth, T.: Automatic implication checking for chr constraints. In: 6th International Workshop on Rule-Based Programming, January 2006. Electronic Notes in Theoretical Computer Science, vol.\u00a0147, pp. 93\u2013111 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"2_CR16","unstructured":"Schrijvers, T., Fr\u00fchwirth, T.: CHR Website (2006), \n                    \n                      www.cs.kuleuven.ac.be\/~dtai\/projects\/CHR\/"},{"key":"2_CR17","series-title":"Lecture Notes in Computer Science","volume-title":"Logic Programming","author":"J. Sneyers","year":"2005","unstructured":"Sneyers, J., Schrijvers, T., Demoen, B.: The Computational Power and Complexity of Constraint Handling Rules. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol.\u00a03668, Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Recent Advances in Constraints"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11754602_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,10,11]],"date-time":"2018-10-11T13:37:21Z","timestamp":1539265041000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11754602_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540342151","9783540342168"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11754602_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}