{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T16:10:24Z","timestamp":1742919024124,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540726647"},{"type":"electronic","value":"9783540726654"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-72665-4_19","type":"book-chapter","created":{"date-parts":[[2007,6,21]],"date-time":"2007-06-21T20:22:09Z","timestamp":1182457329000},"page":"216-227","source":"Crossref","is-referenced-by-count":2,"title":["Managing Conditional and Composite CSPs"],"prefix":"10.1007","author":[{"given":"Malek","family":"Mouhoub","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amrudee","family":"Sukpan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","first-page":"25","volume-title":"Proceedings of the 8th National Conference on Artificial Intelligence","author":"S. Mittal","year":"1990","unstructured":"Mittal, S., Falkenhainer, B.: Dynamic constraint satisfaction problems. In: Proceedings of the 8th National Conference on Artificial Intelligence, August 1990, pp. 25\u201332. AAAI Press, Menlo Park (1990)"},{"key":"19_CR2","first-page":"153","volume-title":"Proceedings of the 1st Artificial Intelligence and Manufacturing Research Planning Workshop","author":"D. Sabin","year":"1996","unstructured":"Sabin, D., Freuder, E.C.: Configuration as composite constraint satisfaction. In: Luger, G.F. (ed.) Proceedings of the 1st Artificial Intelligence and Manufacturing Research Planning Workshop, pp. 153\u2013161. AAAI Press, Menlo Park (1996)"},{"key":"19_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"649","DOI":"10.1007\/978-3-540-45193-8_44","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2003","author":"M. Sabin","year":"2003","unstructured":"Sabin, M., Freuder, E.C., Wallace, R.J.: Greater efficiency for conditional constraint satisfaction. In: Rossi, F. (ed.) CP 2003. LNCS, vol.\u00a02833, pp. 649\u2013663. Springer, Heidelberg (2003)"},{"key":"19_CR4","unstructured":"Gelle, E.: On the generation of locally consistent solution spaces in mixed dynamic constraint problems. Ph.D.thesis 1826, 101\u2013140 (1998)"},{"key":"19_CR5","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1023\/A:1022394531132","volume":"8","author":"E. Gelle","year":"2003","unstructured":"Gelle, E., Faltings, B.: Solving mixed and conditional constraint satisfaction problems. Constraints\u00a08, 107\u2013141 (2003)","journal-title":"Constraints"},{"key":"19_CR6","unstructured":"Gelle, E., Sabin, M.: Solving methods for conditional constraint satisfaction. In: IJCAI-03, Workshop on Configuration, Acapulco, Mexico (2003)"},{"key":"19_CR7","unstructured":"Dechter, R., Dechter, A.: Belief maintenance in dynamic constraint networks. In: 7th National Conference on Artificial Intelligence, St. Paul, pp. 37\u201342 (1988)"},{"key":"19_CR8","unstructured":"J\u00f3nsson, A.K., Frank, J.: A framework for dynamic constraint reasoning using procedural constraints. In: ECAI 2000, pp. 93\u201397 (2000)"},{"issue":"4","key":"19_CR9","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1023\/A:1025842019552","volume":"8","author":"J. Frank","year":"2003","unstructured":"Frank, J., Jonsson, A.K.: Constraint-based attribute and interval planning. Constraints\u00a08(4), 339\u2013364 (2003)","journal-title":"Constraints"},{"issue":"4","key":"19_CR10","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1023\/A:1025894003623","volume":"8","author":"I. Tsamardinos","year":"2003","unstructured":"Tsamardinos, I., Vidal, T., Pollack, M.E.: CTP: A New Constraint-Based Formalism for Conditional Temporal Planning. Constraints\u00a08(4), 365\u2013388 (2003)","journal-title":"Constraints"},{"key":"19_CR11","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/0004-3702(91)90006-6","volume":"49","author":"R. Dechter","year":"1991","unstructured":"Dechter, R., Meiri, I., Pearl, J.: Temporal Constraint Networks. Artificial Intelligence\u00a049, 61\u201395 (1991)","journal-title":"Artificial Intelligence"},{"key":"19_CR12","unstructured":"Selman, B., Kautz, H.: Domain-independent extensions to gsat: Solving large structured satisfiability problems. In: IJCAI-93, pp. 290\u2013295 (1993)"},{"key":"19_CR13","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., Elliott, G.: Increasing tree search efficiency for Constraint Satisfaction Problems. Artificial Intelligence\u00a014, 263\u2013313 (1980)","journal-title":"Artificial Intelligence"},{"key":"19_CR14","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A.K. Mackworth","year":"1977","unstructured":"Mackworth, A.K.: Consistency in networks of relations. Artificial Intelligence\u00a08, 99\u2013118 (1977)","journal-title":"Artificial Intelligence"},{"key":"19_CR15","unstructured":"Bessi\u00e8re, C., R\u00e9gin, J.C.: Refining the basic constraint propagation algorithm. In: Seventeenth International Joint Conference on Artificial Intelligence (IJCAI\u201901), Seattle, WA, pp. 309\u2013315 (2001)"},{"key":"19_CR16","unstructured":"Zhang, Y., Yap, R.H.C.: Making ac-3 an optimal algorithm. In: Seventeenth International Joint Conference on Artificial Intelligence (IJCAI\u201901), Seattle, WA, pp. 316\u2013321 (2001)"},{"key":"19_CR17","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1613\/jair.696","volume":"12","author":"K. Xu","year":"2000","unstructured":"Xu, K., Li, W.: Exact Phase Transitions in Random Constraint Satisfaction Problems. Journal of Artificial Intelligence Research\u00a012, 93\u2013103 (2000)","journal-title":"Journal of Artificial Intelligence Research"}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72665-4_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T09:43:54Z","timestamp":1558259034000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72665-4_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540726647","9783540726654"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72665-4_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}