{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:32:24Z","timestamp":1725888744318},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319597751"},{"type":"electronic","value":"9783319597768"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-59776-8_3","type":"book-chapter","created":{"date-parts":[[2017,5,30]],"date-time":"2017-05-30T13:26:33Z","timestamp":1496150793000},"page":"30-40","source":"Crossref","is-referenced-by-count":2,"title":["MDDs are Efficient Modeling Tools: An Application to Some Statistical Constraints"],"prefix":"10.1007","author":[{"given":"Guillaume","family":"Perez","sequence":"first","affiliation":[]},{"given":"Jean-Charles","family":"R\u00e9gin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,5,31]]},"reference":[{"key":"3_CR1","unstructured":"Problem 30 of CSPLIB. www.csplib.org"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/978-3-540-74970-7_11","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2007","author":"HR Andersen","year":"2007","unstructured":"Andersen, H.R., Hadzic, T., Hooker, J.N., Tiedemann, P.: A constraint store based on multivalued decision diagrams. In: Bessi\u00e8re, C. (ed.) CP 2007. LNCS, vol. 4741, pp. 118\u2013132. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-74970-7_11"},{"issue":"1","key":"3_CR3","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/s10601-006-9010-8","volume":"12","author":"N Beldiceanu","year":"2007","unstructured":"Beldiceanu, N., Carlsson, M., Demassey, S., Petit, T.: Global constraint catalog: past, present and future. Constraints 12(1), 21\u201362 (2007)","journal-title":"Constraints"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-642-21311-3_5","volume-title":"Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems","author":"D Bergman","year":"2011","unstructured":"Bergman, D., Hoeve, W.-J., Hooker, J.N.: Manipulating MDD relaxations for combinatorial optimization. In: Achterberg, T., Beck, J.C. (eds.) CPAIOR 2011. LNCS, vol. 6697, pp. 20\u201335. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-21311-3_5"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-319-10428-7_15","volume-title":"Principles and Practice of Constraint Programming","author":"C Bessiere","year":"2014","unstructured":"Bessiere, C., Hebrard, E., Katsirelos, G., Kiziltan, Z., Picard-Cantin, \u00c9., Quimper, C.-G., Walsh, T.: The balance constraint family. In: O\u2019Sullivan, B. (ed.) CP 2014. LNCS, vol. 8656, pp. 174\u2013189. Springer, Cham (2014). doi: 10.1007\/978-3-319-10428-7_15"},{"issue":"8","key":"3_CR6","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"RE Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Trans. Comput. C 35(8), 677\u2013691 (1986)","journal-title":"IEEE Trans. Comput. C"},{"key":"3_CR7","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/s10601-009-9087-y","volume":"15","author":"K Cheng","year":"2010","unstructured":"Cheng, K., Yap, R.: An mdd-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints. Constraints 15, 265\u2013304 (2010)","journal-title":"Constraints"},{"issue":"4","key":"3_CR8","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/s10601-006-9003-7","volume":"11","author":"S Demassey","year":"2006","unstructured":"Demassey, S., Pesant, G., Rousseau, L.-M.: A cost-regular based hybrid column generation approach. Constraints 11(4), 315\u2013333 (2006)","journal-title":"Constraints"},{"key":"3_CR9","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1007\/s10601-011-9111-x","volume":"16","author":"G Gange","year":"2011","unstructured":"Gange, G., Stuckey, P., Szymanek, R.: MDD propagators with explanation. Constraints 16, 407\u2013429 (2011)","journal-title":"Constraints"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"448","DOI":"10.1007\/978-3-540-85958-1_30","volume-title":"Principles and Practice of Constraint Programming","author":"T Hadzic","year":"2008","unstructured":"Hadzic, T., Hooker, J.N., O\u2019Sullivan, B., Tiedemann, P.: Approximate compilation of constraints into multivalued decision diagrams. In: Stuckey, P.J. (ed.) CP 2008. LNCS, vol. 5202, pp. 448\u2013462. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-85958-1_30"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-642-15396-9_23","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2010","author":"S Hoda","year":"2010","unstructured":"Hoda, S., Hoeve, W.-J., Hooker, J.N.: A systematic approach to MDD-based constraint programming. In: Cohen, D. (ed.) CP 2010. LNCS, vol. 6308, pp. 266\u2013280. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-15396-9_23"},{"issue":"1","key":"3_CR12","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1190\/1.1444903","volume":"66","author":"WD Pennington","year":"2001","unstructured":"Pennington, W.D.: Reservoir Geophys. 66(1), 25\u201330 (2001)","journal-title":"Reservoir Geophys."},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"606","DOI":"10.1007\/978-3-319-10428-7_44","volume-title":"Principles and Practice of Constraint Programming","author":"G Perez","year":"2014","unstructured":"Perez, G., R\u00e9gin, J.-C.: Improving GAC-4 for table and MDD constraints. In: O\u2019Sullivan, B. (ed.) CP 2014. LNCS, vol. 8656, pp. 606\u2013621. Springer, Cham (2014). doi: 10.1007\/978-3-319-10428-7_44"},{"key":"3_CR14","unstructured":"Perez, G., R\u00e9gin, J-C.: Efficient operations on MDDs for building constraint programming models. In: International Joint Conference on Artificial Intelligence, IJCAI 2015, Argentina, pp. 374\u2013380 (2015)"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Perez, G., R\u00e9gin, J.-C.: Soft and cost MDD propagators. In: Proceedings of the AAAI 2017 (2017)","DOI":"10.1609\/aaai.v31i1.11130"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1007\/11564751_35","volume-title":"Principles and Practice of Constraint Programming - CP 2005","author":"G Pesant","year":"2005","unstructured":"Pesant, G., R\u00e9gin, J.-C.: SPREAD: a balancing constraint based on statistics. In: Beek, P. (ed.) CP 2005. LNCS, vol. 3709, pp. 460\u2013474. Springer, Heidelberg (2005). doi: 10.1007\/11564751_35"},{"issue":"4","key":"3_CR17","doi-asserted-by":"crossref","first-page":"690","DOI":"10.1287\/ijoc.2015.0654","volume":"27","author":"G Pesant","year":"2015","unstructured":"Pesant, G.: Achieving domain consistency and counting solutions for dispersion constraints. INFORMS J. Comput. 27(4), 690\u2013703 (2015)","journal-title":"INFORMS J. Comput."},{"key":"3_CR18","unstructured":"R\u00e9gin, J.-C.: Generalized arc consistency for global cardinality constraint. In: Proceedings of the AAAI 1996, Portland, Oregon, pp. 209\u2013215 (1996)"},{"key":"3_CR19","unstructured":"Rossi, R., Prestwich, S.D., Armagan Tarim, S.: Statistical constraints. In: ECAI 2014\u201321st European Conference on Artificial Intelligence, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014), 18\u201322 August 2014, pp. 777\u2013782 (2014)"},{"key":"3_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"786","DOI":"10.1007\/978-3-319-44953-1_49","volume-title":"Principles and Practice of Constraint Programming","author":"P Roy","year":"2016","unstructured":"Roy, P., Perez, G., R\u00e9gin, J.-C., Papadopoulos, A., Pachet, F., Marchini, M.: Enforcing structure on temporal sequences: the allen constraint. In: Rueher, M. (ed.) CP 2016. LNCS, vol. 9892, pp. 786\u2013801. Springer, Cham (2016). doi: 10.1007\/978-3-319-44953-1_49"},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-540-72397-4_19","volume-title":"Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems","author":"P Schaus","year":"2007","unstructured":"Schaus, P., Deville, Y., Dupont, P., R\u00e9gin, J.-C.: The deviation constraint. In: Hentenryck, P., Wolsey, L. (eds.) CPAIOR 2007. LNCS, vol. 4510, pp. 260\u2013274. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-72397-4_19"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Schaus, P., Deville, Y., Dupont, P., R\u00e9gin, J.-C.: Simplification and extension of the SPREAD constraint. In: Future and Trends of Constraint Programming, pp. 95\u201399. ISTE (2007)","DOI":"10.1007\/978-3-540-72397-4_19"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Schaus, P., R\u00e9gin, J.-C.: Bound-consistent spread constraint 2(3) (2014)","DOI":"10.1007\/s13675-013-0018-8"},{"key":"3_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1007\/978-3-540-74970-7_44","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2007","author":"P Schaus","year":"2007","unstructured":"Schaus, P., Deville, Y., Dupont, P.: Bound-consistent deviation constraint. In: Bessi\u00e8re, C. (ed.) CP 2007. LNCS, vol. 4741, pp. 620\u2013634. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-74970-7_44"},{"key":"3_CR25","unstructured":"Trick, M.: A dynamic programming approach for consistency and propagation for knapsack constraints. In CPAIOR 2001 (2001)"}],"container-title":["Lecture Notes in Computer Science","Integration of AI and OR Techniques in Constraint Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-59776-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,28]],"date-time":"2022-07-28T23:36:51Z","timestamp":1659051411000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-59776-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319597751","9783319597768"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-59776-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}