{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,14]],"date-time":"2024-09-14T07:51:10Z","timestamp":1726300270564},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642406263"},{"type":"electronic","value":"9783642406270"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40627-0_28","type":"book-chapter","created":{"date-parts":[[2013,9,7]],"date-time":"2013-09-07T07:11:01Z","timestamp":1378537861000},"page":"340-355","source":"Crossref","is-referenced-by-count":7,"title":["Explaining Propagators for Edge-Valued Decision Diagrams"],"prefix":"10.1007","author":[{"given":"Graeme","family":"Gange","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter J.","family":"Stuckey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"Van Hentenryck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"28_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/978-3-540-48085-3_14","volume-title":"Principles and Practice of Constraint Programming \u2013 CP\u201999","author":"F. Focacci","year":"1999","unstructured":"Focacci, F., Lodi, A., Milano, M.: Cost-based domain filtering. In: Jaffar, J. (ed.) CP 1999. LNCS, vol.\u00a01713, pp. 189\u2013203. Springer, Heidelberg (1999)"},{"key":"28_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/978-3-540-48085-3_28","volume-title":"Principles and Practice of Constraint Programming \u2013 CP\u201999","author":"J.-C. R\u00e9gin","year":"1999","unstructured":"R\u00e9gin, J.-C.: Arc consistency for global cardinality constraints with costs. In: Jaffar, J. (ed.) CP 1999. LNCS, vol.\u00a01713, pp. 390\u2013404. Springer, Heidelberg (1999)"},{"issue":"4","key":"28_CR3","doi-asserted-by":"publisher","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\u00a011(4), 315\u2013333 (2006)","journal-title":"Constraints"},{"key":"28_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1007\/978-3-540-85958-1_34","volume-title":"Principles and Practice of Constraint Programming","author":"K.C.K. Cheng","year":"2008","unstructured":"Cheng, K.C.K., Yap, R.H.C.: Maintaining generalized arc consistency on ad hoc r-ary constraints. In: Stuckey, P.J. (ed.) CP 2008. LNCS, vol.\u00a05202, pp. 509\u2013523. Springer, Heidelberg (2008)"},{"key":"28_CR5","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1613\/jair.3014","volume":"38","author":"G. Gange","year":"2010","unstructured":"Gange, G., Stuckey, P., Lagoon, V.: Fast set bounds propagation using a BDD-SAT hybrid. Journal of Artificial Intelligence Research\u00a038, 307\u2013338 (2010)","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"4","key":"28_CR6","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/s10601-011-9111-x","volume":"16","author":"G. Gange","year":"2011","unstructured":"Gange, G., Stuckey, P.J., Szymanek, R.: MDD propagators with explanation. Constraints\u00a016(4), 407\u2013429 (2011)","journal-title":"Constraints"},{"issue":"1","key":"28_CR7","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/s10479-010-0697-y","volume":"184","author":"G. Katsirelos","year":"2011","unstructured":"Katsirelos, G., Narodytska, N., Walsh, T.: The weighted grammar constraint. Annals OR\u00a0184(1), 179\u2013207 (2011)","journal-title":"Annals OR"},{"issue":"3","key":"28_CR8","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/s10601-008-9064-x","volume":"14","author":"O. Ohrimenko","year":"2009","unstructured":"Ohrimenko, O., Stuckey, P., Codish, M.: Propagation via lazy clause generation. Constraints\u00a014(3), 357\u2013391 (2009)","journal-title":"Constraints"},{"issue":"1","key":"28_CR9","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/1452044.1452046","volume":"31","author":"C. Schulte","year":"2008","unstructured":"Schulte, C., Stuckey, P.: Efficient constraint propagation engines. ACM Transactions on Programming Languages and Systems 31(1), Article No. 2 (2008)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"28_CR10","doi-asserted-by":"crossref","unstructured":"Vrudhula, S.B., Pedram, M., Lai, Y.-T.: Edge valued binary decision diagrams. In: Representations of Discrete Functions, pp. 109\u2013132. Springer (1996)","DOI":"10.1007\/978-1-4613-1385-4_5"},{"key":"28_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/11941439_9","volume-title":"AI 2006: Advances in Artificial Intelligence","author":"C.W. Choi","year":"2006","unstructured":"Choi, C.W., Harvey, W., Lee, J.H.M., Stuckey, P.J.: Finite domain bounds consistency revisited. In: Sattar, A., Kang, B.-H. (eds.) AI 2006. LNCS (LNAI), vol.\u00a04304, pp. 49\u201358. Springer, Heidelberg (2006)"},{"key":"28_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-540-77442-6_5","volume-title":"Practical Aspects of Declarative Languages","author":"S. Subbarayan","year":"2008","unstructured":"Subbarayan, S.: Efficient reasoning for nogoods in constraint solvers with bDDs. In: Hudak, P., Warren, D.S. (eds.) PADL 2008. LNCS, vol.\u00a04902, pp. 53\u201367. Springer, Heidelberg (2008)"},{"key":"28_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"751","DOI":"10.1007\/11889205_64","volume-title":"Principles and Practice of Constraint Programming - CP 2006","author":"C.G. Quimper","year":"2006","unstructured":"Quimper, C.G., Walsh, T.: Global grammar constraints. In: Benhamou, F. (ed.) CP 2006. LNCS, vol.\u00a04204, pp. 751\u2013755. Springer, Heidelberg (2006)"},{"key":"28_CR14","unstructured":"Jung, J.C., Barahona, P., Katsirelos, G., Walsh, T.: Two encodings of DNNF theories. In: ECAI Workshop on Inference Methods Based on Graphical Structures of Knowledge (2008)"},{"key":"28_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-642-01929-6_11","volume-title":"Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems","author":"G. Katsirelos","year":"2009","unstructured":"Katsirelos, G., Narodytska, N., Walsh, T.: Reformulating global grammar constraints. In: van Hoeve, W.-J., Hooker, J.N. (eds.) CPAIOR 2009. LNCS, vol.\u00a05547, pp. 132\u2013147. Springer, Heidelberg (2009)"},{"key":"28_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-642-21581-0_7","volume-title":"Theory and Applications of Satisfiability Testing - SAT 2011","author":"I. Ab\u00edo","year":"2011","unstructured":"Ab\u00edo, I., Nieuwenhuis, R., Oliveras, A., Rodr\u00edguez-Carbonell, E.: BDDs for pseudo-boolean constraints \u2013 revisited. In: Sakallah, K.A., Simon, L. (eds.) SAT 2011. LNCS, vol.\u00a06695, pp. 61\u201375. Springer, Heidelberg (2011)"},{"issue":"1","key":"28_CR17","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1287\/mnsc.1100.1264","volume":"57","author":"M.C. C\u00f4t\u00e9","year":"2011","unstructured":"C\u00f4t\u00e9, M.C., Gendron, B., Rousseau, L.M.: Grammar-based integer programming models for multiactivity shift scheduling. Management Science\u00a057(1), 151\u2013163 (2011)","journal-title":"Management Science"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40627-0_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T02:02:19Z","timestamp":1558058539000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40627-0_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642406263","9783642406270"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40627-0_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}