{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:58:43Z","timestamp":1725537523776},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642042430"},{"type":"electronic","value":"9783642042447"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-04244-7_56","type":"book-chapter","created":{"date-parts":[[2009,9,14]],"date-time":"2009-09-14T14:17:24Z","timestamp":1252937844000},"page":"723-730","source":"Crossref","is-referenced-by-count":11,"title":["Weakly Monotonic Propagators"],"prefix":"10.1007","author":[{"given":"Christian","family":"Schulte","sequence":"first","affiliation":[]},{"given":"Guido","family":"Tack","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"Baptiste, P., Le Pape, C.: A theoretical and experimental comparison of constraint propagation techniques for disjunctive scheduling. In: IJCAI, pp. 600\u2013606 (1995)","key":"56_CR1"},{"key":"56_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1007\/978-3-642-01929-6_14","volume-title":"CPAIOR 2009","author":"J. Menana","year":"2009","unstructured":"Menana, J., Demassey, S.: Sequencing and counting with the multicost-regular constraint. In: van Hoeve, W.-J., Hooker, J.N. (eds.) CPAIOR 2009. LNCS, vol.\u00a05547, pp. 178\u2013192. Springer, Heidelberg (2009)"},{"key":"56_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/11757375_11","volume-title":"Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems","author":"I. Katriel","year":"2006","unstructured":"Katriel, I.: Expected-case analysis for delayed filtering. In: Beck, J.C., Smith, B.M. (eds.) CPAIOR 2006. LNCS, vol.\u00a03990, pp. 119\u2013125. Springer, Heidelberg (2006)"},{"unstructured":"Stergiou, K.: Heuristics for dynamically adapting propagation. In: ECAI, pp. 485\u2013489 (2008)","key":"56_CR4"},{"unstructured":"Katriel, I., Van Hentenryck, P.: Randomized filtering algorithms. Technical Report CS-06-09, Brown University, Providence, RI, USA (2006)","key":"56_CR5"},{"unstructured":"Mehta, D., van Dongen, M.R.C.: Probabilistic consistency boosts MAC and SAC. In: IJCAI, pp. 143\u2013148 (2007)","key":"56_CR6"},{"key":"56_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"679","DOI":"10.1007\/978-3-540-45193-8_46","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2003","author":"M. Sellmann","year":"2003","unstructured":"Sellmann, M.: Approximated consistency for Knapsack constraints. In: Rossi, F. (ed.) CP 2003. LNCS, vol.\u00a02833, pp. 679\u2013693. Springer, Heidelberg (2003)"},{"issue":"2","key":"56_CR8","doi-asserted-by":"publisher","first-page":"191","DOI":"10.2307\/1968865","volume":"43","author":"M. Ward","year":"1942","unstructured":"Ward, M.: The closure operators of a lattice. Annals of Mathematics\u00a043(2), 191\u2013196 (1942)","journal-title":"Annals of Mathematics"},{"issue":"1","key":"56_CR9","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/BF01696782","volume":"37","author":"A. Tarski","year":"1930","unstructured":"Tarski, A.: Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften. I. Monatshefte f\u00fcr Mathematik\u00a037(1), 361\u2013404 (1930)","journal-title":"Monatshefte f\u00fcr Mathematik"},{"unstructured":"Tarski, A.: V. In: Logic, semantics, metamathematics, 2nd edn., pp. 60\u2013109. Hackett Publishing Company (1983)","key":"56_CR10"},{"doi-asserted-by":"crossref","unstructured":"Saraswat, V.A., Rinard, M.C., Panangaden, P.: Semantic foundations of concurrent constraint programming. In: POPL, pp. 333\u2013352 (1991)","key":"56_CR11","DOI":"10.1145\/99583.99627"},{"key":"56_CR12","first-page":"124","volume-title":"ILPS","author":"F. Benhamou","year":"1994","unstructured":"Benhamou, F., McAllester, D.A., Van Hentenryck, P.: CLP(Intervals) revisited. In: ILPS, pp. 124\u2013138. The MIT Press, Cambridge (1994)"},{"unstructured":"Van Hentenryck, P., Saraswat, V.A., Deville, Y.: Constraint processing in cc(FD). Technical report, Brown University (1991)","key":"56_CR13"},{"key":"56_CR14","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511615320","volume-title":"Principles of Constraint Programming","author":"K.R. Apt","year":"2003","unstructured":"Apt, K.R.: Principles of Constraint Programming. Cambridge University Press, Cambridge (2003)"},{"issue":"1","key":"56_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1452044.1452046","volume":"31","author":"C. Schulte","year":"2008","unstructured":"Schulte, C., Stuckey, P.J.: Efficient constraint propagation engines. ACM Trans. Program. Lang. Syst.\u00a031(1), 2:1\u20132:43 (2008)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"56_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/3-540-61735-3_4","volume-title":"Algebraic and Logic Programming","author":"F. Benhamou","year":"1996","unstructured":"Benhamou, F.: Heterogeneous Constraint Solving. In: Hanus, M., Rodr\u00edguez-Artalejo, M. (eds.) ALP 1996. LNCS, vol.\u00a01139, pp. 62\u201376. Springer, Heidelberg (1996)"},{"unstructured":"M\u00fcller, T.: Constraint Propagation in Mozart. Doctoral dissertation, Universit\u00e4t des Saarlandes, Saarbr\u00fccken, Germany (2001)","key":"56_CR17"},{"key":"56_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45945-6","volume-title":"Programming Constraint Services","author":"C. Schulte","year":"2002","unstructured":"Schulte, C.: Programming Constraint Services. LNCS (LNAI), vol.\u00a02302. Springer, Heidelberg (2002)"},{"key":"56_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"346","DOI":"10.1007\/978-3-540-48085-3_25","volume-title":"Principles and Practice of Constraint Programming \u2013 CP\u201999","author":"L. Perron","year":"1999","unstructured":"Perron, L.: Search procedures and parallelism in constraint programming. In: Jaffar, J. (ed.) CP 1999. LNCS, vol.\u00a01713, pp. 346\u2013361. Springer, Heidelberg (1999)"},{"key":"56_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/3-540-45578-7_17","volume-title":"Principles and Practice of Constraint Programming - CP 2001","author":"C.W. Choi","year":"2001","unstructured":"Choi, C.W., Henz, M., Ng, K.B.: Components for state restoration in tree search. In: Walsh, T. (ed.) CP 2001. LNCS, vol.\u00a02239, pp. 240\u2013255. Springer, Heidelberg (2001)"},{"issue":"2","key":"56_CR21","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1145\/976706.976714","volume":"5","author":"L. Michel","year":"2004","unstructured":"Michel, L., Van Hentenryck, P.: A decomposition-based implementation of search strategies. ACM Trans. Comput. Logic\u00a05(2), 351\u2013383 (2004)","journal-title":"ACM Trans. Comput. Logic"},{"unstructured":"Carlsson, M.: Personal communication (February 2007)","key":"56_CR22"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming - CP 2009"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04244-7_56","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T14:49:42Z","timestamp":1552142982000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04244-7_56"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642042430","9783642042447"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04244-7_56","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}