{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T14:50:57Z","timestamp":1730299857189,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/tai.2002.1180792","type":"proceedings-article","created":{"date-parts":[[2003,6,26]],"date-time":"2003-06-26T11:35:00Z","timestamp":1056627300000},"page":"91-98","source":"Crossref","is-referenced-by-count":1,"title":["A lazy divide and conquer approach to constraint solving"],"prefix":"10.1109","author":[{"given":"S.","family":"Anand","sequence":"first","affiliation":[]},{"family":"Wei-Ngan Chin","sequence":"additional","affiliation":[]},{"family":"Siau-Cheng Khoo","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"0","author":"jones","journal-title":"Report on the Programming Language Haskell 98 A Non-Strict Purely Functional Language","key":"ref10"},{"key":"ref11","first-page":"216","volume":"1","author":"schiex","year":"0","journal-title":"Lazy Arc Consistency AAAI\/IAAI"},{"key":"ref12","first-page":"338","article-title":"A new method for solving constraint solving problems","author":"seidel","year":"1981","journal-title":"Proceedings of IJCAI"},{"key":"ref13","first-page":"875","article-title":"Constraint satisfaction with delayed evaluation","author":"zweben","year":"1989","journal-title":"Proceedings of International Joint Conference on Artificial Intelligence (IJCAI)"},{"year":"2000","author":"bulkowski","article-title":"Encyclopedia of chart patterns","key":"ref14"},{"key":"ref15","first-page":"294","article-title":"Dead-End Driven Learning","author":"frost","year":"1994","journal-title":"AAAI"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1016\/0004-3702(89)90037-4"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1016\/0004-3702(87)90002-6"},{"key":"ref6","article-title":"A general backtrack algorithm that eliminates most redundant tests","author":"gaschnig","year":"1977","journal-title":"IJCAI77"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1109\/TAI.1994.346460"},{"key":"ref8","first-page":"154","article-title":"Local computations with probabilities on graphical structures and their applications to expert systems","author":"lauritzen","year":"1988","journal-title":"J Royal Statistical Society Series B"},{"key":"ref7","first-page":"394","article-title":"A Comparison of Structural CSP Decomposition Methods","author":"gottlob","year":"1999","journal-title":"Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence IJCAI 99"},{"key":"ref2","first-page":"292","article-title":"On the Forward Checking Algorithm","author":"bacchus","year":"1995","journal-title":"Proceedings of CP"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1145\/507651.507653"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1017\/S0956796801004051"}],"event":{"acronym":"TAI-02","name":"14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002)","location":"Washington, DC, USA"},"container-title":["14th IEEE International Conference on Tools with Artificial Intelligence, 2002. (ICTAI 2002). Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8408\/26514\/01180792.pdf?arnumber=1180792","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T18:58:18Z","timestamp":1489431498000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1180792\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/tai.2002.1180792","relation":{},"subject":[]}}