{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:55:45Z","timestamp":1725566145771},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540232414"},{"type":"electronic","value":"9783540302018"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30201-8_10","type":"book-chapter","created":{"date-parts":[[2010,9,22]],"date-time":"2010-09-22T21:14:37Z","timestamp":1285190077000},"page":"92-106","source":"Crossref","is-referenced-by-count":0,"title":["Backtrack-Free Search for Real-Time Constraint Satisfaction"],"prefix":"10.1007","author":[{"given":"J. Christopher","family":"Beck","sequence":"first","affiliation":[]},{"given":"Tom","family":"Carchrae","sequence":"additional","affiliation":[]},{"given":"Eugene C.","family":"Freuder","sequence":"additional","affiliation":[]},{"given":"Georg","family":"Ringwelski","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/S0004-3702(01)00162-X","volume":"135","author":"J. Amilhastre","year":"2002","unstructured":"Amilhastre, J., Fargier, H., Marquis, P.: Consistency restoration and explanations in dynamic csps \u2013 application to configuration. Artificial Intelligence\u00a0135, 199\u2013234 (2002)","journal-title":"Artificial Intelligence"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Debruyne, R., Bessi\u00e8re, C.: Domain filtering consistencies. Journal of Artificial Intelligence Research\u00a0(14), 205\u2013230 (2001)","DOI":"10.1613\/jair.834"},{"key":"10_CR3","first-page":"205","volume":"14","author":"R. Dechter","year":"1987","unstructured":"Dechter, R., Pearl, J.: Network-based heuristics for constraint-satisfaction problems. Artificial Intelligence\u00a014, 205\u2013230 (1987)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"10_CR4","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1145\/322290.322292","volume":"29","author":"E.C. Freuder","year":"1982","unstructured":"Freuder, E.C.: A sufficient condition for backtrack-free search. Journal of ACM\u00a029(1), 24\u201332 (1982)","journal-title":"Journal of ACM"},{"key":"10_CR5","unstructured":"Freuder, E.C.: Complexity of k-tree structured constraint-satisfaction problems. In: Proceedings of the Eigth National Conference on Artificial Intelligence (AAAI 1990), pp. 4\u20139 (1990)"},{"key":"10_CR6","unstructured":"Freuder, E.C., Hubbe, P.D.: Using inferred disjunctive constraints to decompose constraint satisfaction problems. In: Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI 1993), pp. 254\u2013261 (1993)"},{"key":"10_CR7","unstructured":"Freuder, E.C., Wallace, R.J., Heffernan, R.: Ordinal constraint satisfaction. In: 5th International Workshop on Soft Constraints-Soft 2003 (2003)"},{"key":"10_CR8","unstructured":"Hubbe, P.D., Freuder, E.C.: An efficient cross-product representation of the constraint satisfaction problem search space. In: Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI 1992), pp. 421\u2013427 (1992)"},{"key":"10_CR9","unstructured":"Lesaint, D.: Maximal sets of solutions for constraint satisfaction problems. In: Proceedings of the Eleventh European Conference on Artificial Intelligence, pp. 110\u2013114 (1994)"},{"key":"10_CR10","unstructured":"Muscettola, N., Morris, P., Tsamardinos, I.: Reformulating temporal plans for efficient execution. In: Principles of Knowledge Representation and Reasoning, pp. 444\u2013452 (1998)"},{"key":"10_CR11","unstructured":"Vempaty, N.R.: Solving constraint satisfaction problems using finite satate automata. In: Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI 1992), pp. 453\u2013457 (1992)"},{"issue":"2","key":"10_CR12","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/S0004-3702(99)00077-6","volume":"115","author":"R. Weigel","year":"1999","unstructured":"Weigel, R., Faltings, B.: Compiling constraint satisfaction problems. Artificial Intelligence\u00a0115(2), 257\u2013287 (1999)","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2013 CP 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30201-8_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:47:40Z","timestamp":1605761260000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30201-8_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232414","9783540302018"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30201-8_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}