{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T14:53:28Z","timestamp":1743000808982,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540859574"},{"type":"electronic","value":"9783540859581"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-85958-1_32","type":"book-chapter","created":{"date-parts":[[2008,9,20]],"date-time":"2008-09-20T03:26:13Z","timestamp":1221881173000},"page":"478-492","source":"Crossref","is-referenced-by-count":4,"title":["Exploiting Decomposition in Constraint Optimization Problems"],"prefix":"10.1007","author":[{"given":"Matthew","family":"Kitching","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fahiem","family":"Bacchus","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"32_CR1","doi-asserted-by":"crossref","unstructured":"Bacchus, F., Dalmao, S., Pitassi, T.: Algorithms and Complexity Results for #SAT and Bayesian Inference. In: 44th Symposium on Foundations of Computer Science (FOCS), pp. 340\u2013351 (2003)","DOI":"10.1109\/SFCS.2003.1238208"},{"issue":"3","key":"32_CR2","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1023\/A:1026488509554","volume":"4","author":"E. Bensana","year":"1999","unstructured":"Bensana, E., Lemaitre, M., Verfaillie, G.: Earth observation satellite management. Constraints\u00a04(3), 293\u2013299 (1999)","journal-title":"Constraints"},{"key":"32_CR3","unstructured":"Bouveret, S., de Givry, S., Heras, F., Larrosa, J., Rollon, E., Sanchez, M., Schiex, T., Verfaillie, G., Zytnicki, M.M.: Max-csp competition 2007. In: Proceedings of the Second International CSP Solver Competition, pp. 19\u201321 (2008)"},{"key":"32_CR4","first-page":"1229","volume-title":"Proceedings of the International Symposium on Circuits and Systems (ISCAS)","author":"F. Brglez","year":"1989","unstructured":"Brglez, F., Bryan, D., Kozminski, K.: Combinatorial Profiles of Sequential Benchmark Circuits. In: Proceedings of the International Symposium on Circuits and Systems (ISCAS), pp. 1229\u20131234. IEEE, Los Alamitos (1989)"},{"issue":"1","key":"32_CR5","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1023\/A:1009812409930","volume":"4","author":"B. Cabon","year":"1999","unstructured":"Cabon, B., de Givry, S., Lobjois, L., Schiex, T., Warners, J.: Radio link frequency assignment. Constraints\u00a04(1), 79\u201389 (1999)","journal-title":"Constraints"},{"key":"32_CR6","unstructured":"Cooper, M., de Givry, S., Schiex, T.: Optimal soft arc consistency. In: Proceedings of the International Joint Conference on Artifical Intelligence (IJCAI), pp. 68\u201373 (2007)"},{"issue":"1-2","key":"32_CR7","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0004-3702(00)00069-2","volume":"126","author":"A. Darwiche","year":"2001","unstructured":"Darwiche, A.: Recursive conditioning. Artif. Intell.\u00a0126(1-2), 5\u201341 (2001)","journal-title":"Artif. Intell."},{"key":"32_CR8","unstructured":"de Givry, S., Schiex, T., Verfaillie, G.: Exploiting Tree Decomposition and Soft Local Consistency in Weighted CSP. In: AAAI, pp. 22\u201327 (2006)"},{"key":"32_CR9","doi-asserted-by":"crossref","unstructured":"J\u00e9gou, P., Ndiaye, S., Terrioux, C.: Dynamic heuristics for backtrack search on tree-decomposition of csps. In: IJCAI, pp. 112\u2013117 (2007)","DOI":"10.1002\/9780470612309.ch20"},{"key":"32_CR10","unstructured":"Kitching, M., Bacchus, F.: Symmetric component caching. In: IJCAI, pp. 118\u2013124 (2007)"},{"key":"32_CR11","unstructured":"Kjaerulff, U.: Triangulation of graphs - algorithms giving small total state space, Technical Report R90-09. Technical report, Department of Computer Science, University of Aalborg (March 1990)"},{"key":"32_CR12","unstructured":"Larrosa, J., Meseguer, P., S\u00e1nchez, M.: Pseudo-tree search with soft constraints. In: ECAI, pp. 131\u2013135 (2002)"},{"issue":"1-2","key":"32_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2004.05.004","volume":"159","author":"J. Larrosa","year":"2004","unstructured":"Larrosa, J., Schiex, T.: Solving weighted csp by maintaining arc consistency. Artificial Intelligence\u00a0159(1-2), 1\u201326 (2004)","journal-title":"Artificial Intelligence"},{"key":"32_CR14","unstructured":"Marinescu, R., Dechter, R.: And\/or branch-and-bound for graphical models. In: IJCAI, pp. 224\u2013229 (2005)"},{"key":"32_CR15","unstructured":"Marinescu, R., Dechter, R.: Dynamic orderings for and\/or branch-and-bound search in graphical models. In: ECAI, pp. 138\u2013142 (2006)"},{"key":"32_CR16","unstructured":"Marinescu, R., Dechter, R.: Best-first and\/or search for graphical models. In: Proceedings of the AAAI National Conference (AAAI), pp. 1171\u20131176 (2007)"},{"key":"32_CR17","unstructured":"Sang, T., Beame, P., Kautz, H.: Performing bayesian inference by weighted model counting. In: AAAI, pp. 475\u2013482 (2005)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85958-1_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T00:46:11Z","timestamp":1738370771000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-85958-1_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540859574","9783540859581"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85958-1_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}