{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T21:02:09Z","timestamp":1743109329370,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540428633"},{"type":"electronic","value":"9783540455783"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45578-7_44","type":"book-chapter","created":{"date-parts":[[2007,5,28]],"date-time":"2007-05-28T06:34:25Z","timestamp":1180334065000},"page":"585-589","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Deriving Explanations and Implications for Constraint Satisfaction Problems"],"prefix":"10.1007","author":[{"given":"Eugene C.","family":"Freuder","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chavalit","family":"Likitvivatanavong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard J.","family":"Wallace","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,11,19]]},"reference":[{"key":"44_CR1","unstructured":"Dell. Dell Math Puzzles and Logic Problems. Dell Magazines, 2000."},{"key":"44_CR2","unstructured":"K. D. Forbus and J. deKleer. Building Problem Solvers. MIT, Cambridge, MA, 1993."},{"key":"44_CR3","unstructured":"E. C. Freuder, C. Likitvivatanavong, and R. J. Wallace. A case study in explanation and implication. In CP2000 Workshop on Analysis and Visualization of Constraint Programs and Solvers, 2000."},{"key":"44_CR4","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1142\/S0218213094000108","volume":"3","author":"T. Schiex","year":"1994","unstructured":"T Schiex and G. Verfaillie. Nogood recording for static and dynamic constraint satisfaction problems. Inter. J. Artific. Intell. Tools, 3:187\u2013207, 1994.","journal-title":"Inter. J. Artific. Intell. Tools"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2014 CP 2001"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45578-7_44","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,30]],"date-time":"2020-03-30T21:09:54Z","timestamp":1585602594000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45578-7_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540428633","9783540455783"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/3-540-45578-7_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"19 November 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}