{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:56:01Z","timestamp":1725566161701},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540232414"},{"type":"electronic","value":"9783540302018"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30201-8_56","type":"book-chapter","created":{"date-parts":[[2010,9,22]],"date-time":"2010-09-22T21:14:37Z","timestamp":1285190077000},"page":"731-736","source":"Crossref","is-referenced-by-count":12,"title":["The Impact of AND\/OR Search Spaces on Constraint Satisfaction and Counting"],"prefix":"10.1007","author":[{"given":"Rina","family":"Dechter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Mateescu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"56_CR1","unstructured":"Freuder, E.C., Quinn, M.J.: Taking advantage of stable sets of variables in constraint satisfaction problems. In: International Joint Conference on Artificial Intelligene, pp. 1076\u20131078 (1985)"},{"key":"56_CR2","doi-asserted-by":"crossref","unstructured":"Dechter, R., Mateescu, R.: The impact of AND\/OR search spaces on constraint satisfaction and counting. Technical report, UCI (2004)","DOI":"10.1007\/978-3-540-30201-8_56"},{"key":"56_CR3","unstructured":"Bayardo, R., Miranker, D.: A complexity analysis of space-bound learning algorithms for the constraint satisfaction problem. In: AAAI 1996, pp. 298\u2013304 (1996)"},{"key":"56_CR4","doi-asserted-by":"crossref","unstructured":"Bodlaender, H., Gilbert, J.R.: Approximating treewidth, pathwidth and minimum elimination tree-height. Technical Report RUU-CS-91-1, Utrecht University (1991)","DOI":"10.1007\/3-540-55121-2_1"},{"key":"56_CR5","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1016\/0004-3702(90)90046-3","volume":"41","author":"R. Dechter","year":"1990","unstructured":"Dechter, R.: Enhancement schemes for constraint processing: Backjumping, learning and cutset decomposition. Artificial Intelligence\u00a041, 273\u2013312 (1990)","journal-title":"Artificial Intelligence"},{"key":"56_CR6","volume-title":"Constraint Processing","author":"R. Dechter","year":"2003","unstructured":"Dechter, R.: Constraint Processing. Morgan Kaufmann Publishers, San Francisco (2003)"},{"key":"56_CR7","unstructured":"Freuder, E.C., Quinn, M.J.: The use of lineal spanning trees to represent constraint satisfaction problems. Technical Report 87-41, University of New Hampshire, Durham (1987)"},{"key":"56_CR8","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0004-3702(02)00400-9","volume":"146","author":"C. Terrioux","year":"2003","unstructured":"Terrioux, C., Jegou, P.: Hybrid backtracking bounded by tree-decomposition of constraint networks. Artificial Intelligence\u00a0146, 43\u201375 (2003)","journal-title":"Artificial Intelligence"},{"key":"56_CR9","unstructured":"Darwiche, A.: Recursive conditioning. In: Proceedings of the 15th Conference on Uncertainty in Artificial Intelligence (1999)"},{"key":"56_CR10","unstructured":"Bacchus, F., Piassi, S.D., Value, T.: elimination: Bayesian inference via backtracking search. In: Proceedings of the 19th Conference on Uncertainty in Artificial Intelligence (2003)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2013 CP 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30201-8_56.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:47:51Z","timestamp":1605761271000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30201-8_56"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232414","9783540302018"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30201-8_56","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}