{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:34:47Z","timestamp":1725564887460},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540202028"},{"type":"electronic","value":"9783540451938"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45193-8_70","type":"book-chapter","created":{"date-parts":[[2010,9,8]],"date-time":"2010-09-08T19:35:03Z","timestamp":1283974503000},"page":"873-877","source":"Crossref","is-referenced-by-count":19,"title":["Unrestricted Nogood Recording in CSP Search"],"prefix":"10.1007","author":[{"given":"George","family":"Katsirelos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fahiem","family":"Bacchus","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"70_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/3-540-45349-0_5","volume-title":"Principles and Practice of Constraint Programming - CP 2000","author":"F. Bacchus","year":"2000","unstructured":"Bacchus, F.: Extending forward checking. In: Dechter, R. (ed.) CP 2000. LNCS, vol.\u00a01894, pp. 35\u201351. Springer, Heidelberg (2000)"},{"doi-asserted-by":"crossref","unstructured":"Beacham, A., Chen, X., Sillito, J., van Beek, P.: Constraint programming lessons learned from crossword puzzles. In: Proceedings of the 14th Canadian Conference on Artificial Intelligence, pp. 78\u201387 (2001)","key":"70_CR2","DOI":"10.1007\/3-540-45153-6_8"},{"unstructured":"Bayardo Jr, R.J., Miranker, D.P.: A complexity analysis of space-bounded learning algorithms for the constraint satisfaction problem. In: Proceedings of the Thirteenth National Conference on Artificial Intelligence, Portland, Oregon, pp. 298\u2013304 (1996)","key":"70_CR3"},{"unstructured":"Frost, D., Dechter, R.: Dead-end driven learning. In: Proceedings of the AAAI National Conference, pp. 294\u2013300 (1994)","key":"70_CR4"},{"key":"70_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/3-540-45349-0_19","volume-title":"Principles and Practice of Constraint Programming - CP 2000","author":"N. Jussien","year":"2000","unstructured":"Jussien, N., Debruyne, R., Boizumault, P.: Maintaining arc-consistency within dynamic backtracking. In: Dechter, R. (ed.) CP 2000. LNCS, vol.\u00a01894, pp. 249\u2013261. Springer, Heidelberg (2000)"},{"doi-asserted-by":"crossref","unstructured":"Katsirelos, G., Bacchus, F.: Unrestricted nogood recording in csp search. availble (2003), at http:\/\/www.cs.toronto.edu\/~gkatsi\/publications.html","key":"70_CR6","DOI":"10.1007\/978-3-540-45193-8_70"},{"doi-asserted-by":"crossref","unstructured":"Moskewicz, M., Madigan, C., Zhao, Y., Zhang, L., Malik, S.: Chaff: Engineering an efficient sat solver. In: Proc. of the Design Automation Conference, DAC (2001)","key":"70_CR7","DOI":"10.1145\/378239.379017"},{"key":"70_CR8","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)"},{"unstructured":"Zhang, L., Madigan, C., Moskewicz, M., Malik, S.: Efficient conflict driven learning in a boolean satisfiability solver. In: Proceedings of IEEE\/ACMInternational Conference on Computer Design (ICCAD), pp. 279\u2013285 (2001)","key":"70_CR9"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2013 CP 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45193-8_70","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,4]],"date-time":"2019-06-04T03:26:48Z","timestamp":1559618808000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45193-8_70"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540202028","9783540451938"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45193-8_70","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}