{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:34:38Z","timestamp":1725521678075},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540891963"},{"type":"electronic","value":"9783540891970"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-89197-0_96","type":"book-chapter","created":{"date-parts":[[2008,12,3]],"date-time":"2008-12-03T07:23:50Z","timestamp":1228289030000},"page":"991-997","source":"Crossref","is-referenced-by-count":3,"title":["Branch and Bound Algorithms to Solve Semiring Constraint Satisfaction Problems"],"prefix":"10.1007","author":[{"given":"Louise","family":"Leenen","sequence":"first","affiliation":[]},{"given":"Aditya","family":"Ghose","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"96_CR1","first-page":"21","volume":"58","author":"E.C. Freuder","year":"1992","unstructured":"Freuder, E.C., Wallace, J.W.: Partial constraint satisfaction. AI\u00a058, 21\u201370 (1992)","journal-title":"AI"},{"issue":"2","key":"96_CR2","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/256303.256306","volume":"44","author":"S. Bistarelli","year":"1997","unstructured":"Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint solving and optimization. Journal of the ACM\u00a044(2), 201\u2013236 (1997)","journal-title":"Journal of the ACM"},{"key":"96_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/978-3-540-31845-3_19","volume-title":"Multiparadigm Programming in Mozart\/Oz","author":"A. Delgado","year":"2005","unstructured":"Delgado, A., Olarte, C., Perez, J., Ruede, C.: Implementing semiring-based constraints using Mozart. In: Van Roy, P. (ed.) MOZ 2004. LNCS, vol.\u00a03389, pp. 224\u2013236. Springer, Heidelberg (2005)"},{"key":"96_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/3-540-49481-2_16","volume-title":"Principles and Practice of Constraint Programming - CP98","author":"Y. Georget","year":"1998","unstructured":"Georget, Y., Codognet, P.: Compiling semiring-based constraint with clp(fd,s). In: Maher, M.J., Puget, J.-F. (eds.) CP 1998. LNCS, vol.\u00a01520, p. 205. Springer, Heidelberg (1998)"},{"key":"96_CR5","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1023\/A:1026441215081","volume":"4","author":"S. Bistarelli","year":"1999","unstructured":"Bistarelli, S., Fargier, H., Montanari, U., Rossi, F., Schiex, T., Verfaillie, G.: Semiring-based CSPs and valued CSPs: Basic properties and comparison. Constraints\u00a04, 199\u2013240 (1999)","journal-title":"Constraints"},{"key":"96_CR6","doi-asserted-by":"crossref","unstructured":"Bistarelli, S., Rossi, F., Pilan, I.: Abstracting soft constraints: Some experimental results on Fuzzy CSPs. In: Proceedings of CLCSP 2003 (2003)","DOI":"10.1007\/978-3-540-24662-6_6"},{"key":"96_CR7","unstructured":"Bistarelli, S., Fung, S., Lee, J., Leung, H.: A local search framework for semiring-based constraint satisfaction problems. In: Proceedings of Soft 2003 (2003)"},{"key":"96_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/978-3-540-76928-6_22","volume-title":"AI 2007: Advances in Artificial Intelligence","author":"L. Leenen","year":"2007","unstructured":"Leenen, L., Anbulagan, A., Meyer, T., Ghose, A.K.: Modeling and solving semiring constraint satisfaction problems by transformation to weighted semiring max-SAT. In: Orgun, M.A., Thornton, J. (eds.) AI 2007. LNCS (LNAI), vol.\u00a04830, pp. 202\u2013212. Springer, Heidelberg (2007)"},{"key":"96_CR9","unstructured":"Gaschnig, J.: Experimental case studies of backtrack vs. Waltz-type vs. new algorithms for satisficing assignment problems. In: Proceedings of CCSCSI 1978 (1978)"},{"key":"96_CR10","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0004-3702(80)90051-X","volume":"14","author":"R. Haralick","year":"1980","unstructured":"Haralick, R., Elliot, G.: Increasing tree search efficiency for constraint satisfaction problems. Artificial Intelligence\u00a014, 263\u2013313 (1980)","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","PRICAI 2008: Trends in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89197-0_96","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T19:18:01Z","timestamp":1557947881000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89197-0_96"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540891963","9783540891970"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89197-0_96","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}