{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:17:09Z","timestamp":1725574629378},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540206460"},{"type":"electronic","value":"9783540245810"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-24581-0_34","type":"book-chapter","created":{"date-parts":[[2011,1,8]],"date-time":"2011-01-08T19:07:33Z","timestamp":1294513653000},"page":"402-413","source":"Crossref","is-referenced-by-count":0,"title":["Semiring-Valued Satisfiability"],"prefix":"10.1007","author":[{"given":"Katarina","family":"Britz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Johannes","family":"Heidema","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"34_CR1","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1093\/jigpal\/7.3.375","volume":"7","author":"S. Hazelhurst","year":"1999","unstructured":"Hazelhurst, S., Seger, C.H.: Model checking lattices: Using and reasoning about information orders for abstraction. Logic Journal of the IGPL\u00a07(3), 375\u2013411 (1999)","journal-title":"Logic Journal of the IGPL"},{"key":"34_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/3-540-61479-6_19","volume-title":"Over-Constrained Systems","author":"S. Bistarelli","year":"1996","unstructured":"Bistarelli, S., Montanari, U., Rossi, F., Schiex, T., Verfaillie, G., Fargier, H.: Semiring-based CSPs and valued CSPs: Frameworks, properties, and comparison. In: Jampel, M., Maher, M.J., Freuder, E.C. (eds.) CP-WS 1995. LNCS, vol.\u00a01106, pp. 111\u2013150. Springer, Heidelberg (1996)"},{"key":"34_CR3","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537878.001.0001","volume-title":"Many-Valued Logics","author":"G. Malinowski","year":"1993","unstructured":"Malinowski, G.: Many-Valued Logics. Oxford University Press, Oxford (1993)"},{"key":"34_CR4","first-page":"1","volume-title":"Handbook of Philosophical Logic","author":"S. Blamey","year":"1986","unstructured":"Blamey, S.: Partial logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol.\u00a0III, pp. 1\u201370. D. Reidel, Dordrecht (1986)"},{"key":"34_CR5","first-page":"7","volume-title":"Modern Uses of Multiple-Valued Logic","author":"N.D. Belnap","year":"1977","unstructured":"Belnap, N.D.: A useful four-valued logic. In: Epstein, G., Dunn, J.M. (eds.) Modern Uses of Multiple-Valued Logic, pp. 7\u201373. D. Reidel, Dordrecht (1977)"},{"key":"34_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/3-540-45349-0_32","volume-title":"Principles and Practice of Constraint Programming - CP 2000","author":"T. Walsh","year":"2000","unstructured":"Walsh, T.: SAT v CSP. In: Dechter, R. (ed.) CP 2000. LNCS, vol.\u00a01894, pp. 441\u2013456. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","AI 2003: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24581-0_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,2]],"date-time":"2024-04-02T21:56:57Z","timestamp":1712095017000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24581-0_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540206460","9783540245810"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24581-0_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}