{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T20:57:52Z","timestamp":1760043472038},"publisher-location":"Berlin, Heidelberg","reference-count":23,"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_26","type":"book-chapter","created":{"date-parts":[[2010,9,8]],"date-time":"2010-09-08T23:35:03Z","timestamp":1283988903000},"page":"377-391","source":"Crossref","is-referenced-by-count":14,"title":["Constraint Reasoning over Strings"],"prefix":"10.1007","author":[{"given":"Keith","family":"Golden","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wanlin","family":"Pang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"Agrawal, R., Srikant, R.: Mining sequential patterns. In: Proceedings of the 11th International Conference on Data Engineering (1995)","DOI":"10.1109\/ICDE.1995.380415"},{"key":"26_CR2","unstructured":"Bessiere, C., Ch, J.: Arc-consistency for general constraint networks: Preliminary results. In: Proceedings of IJCAI 1997, Nagoya, Japan, August 1997, pp. 398\u2013404 (1997)"},{"issue":"11","key":"26_CR3","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1145\/361219.361224","volume":"18","author":"J.R. Bitner","year":"1975","unstructured":"Bitner, J.R., Reingold, E.M.: Backtrack programming techniques. Communications of the ACM\u00a018(11), 651\u2013656 (1975)","journal-title":"Communications of the ACM"},{"key":"26_CR4","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1023\/A:1011481521835","volume":"6","author":"I. Eidhammer","year":"2001","unstructured":"Eidhammer, I., Jonassen, I., Grindhaug, S.: A constraint based structure description language for biosequences. Constraints\u00a06, 173\u2013200 (2001)","journal-title":"Constraints"},{"key":"26_CR5","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"M.R. Garey","year":"1979","unstructured":"Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. Freeman and Co., New York (1979)"},{"key":"26_CR6","unstructured":"Garofalakis, M., Rastogi, R., Shim, K.: SPIRIT:sequential pattern mining with regular expression constraints. In: Proceedings of the 25th VLDB Conference (1999)"},{"key":"26_CR7","unstructured":"Ginsberg, M., Frank, M., Halpin, M., Torrance, M.: Search lessons learned from crossword puzzles. In: Proceedings AAAI 1990, pp. 210\u2013215 (1990)"},{"key":"26_CR8","unstructured":"Golden, K.: Automating the processing of earth observation data. In: 7th International Symposium on Artificial Intelligence, Robotics and Automation for Space (2003)"},{"key":"26_CR9","unstructured":"Golden, K., Frank, J.: Universal quantification in a constraint-based planner. In: AIPS 2002 (2002)"},{"issue":"4","key":"26_CR10","doi-asserted-by":"publisher","first-page":"516","DOI":"10.1145\/321296.321300","volume":"12","author":"S.W. Golomb","year":"1965","unstructured":"Golomb, S.W., Baumert, L.D.: Backtrack programming. Journal of the ACM\u00a012(4), 516\u2013524 (1965)","journal-title":"Journal of the ACM"},{"key":"26_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/3-540-49481-2_19","volume-title":"Principles and Practice of Constraint Programming - CP98","author":"T. Hickey","year":"1998","unstructured":"Hickey, T., van Emden, M., Wu, H.: A unified framework for interval constraints and interval arithmetic. In: Maher, M.J., Puget, J.-F. (eds.) CP 1998. LNCS, vol.\u00a01520, pp. 250\u2013264. Springer, Heidelberg (1998)"},{"key":"26_CR12","volume-title":"Introduction to Automata Theory, Languages and Computation","author":"J. Hopcraft","year":"1979","unstructured":"Hopcraft, J., Ullman, J.: Introduction to Automata Theory, Languages and Computation. Addison-Wesley, Philippines (1979)"},{"key":"26_CR13","volume-title":"Graph Coloring Problems","author":"T.R. Jensen","year":"1995","unstructured":"Jensen, T.R., Toft, B.: Graph Coloring Problems. Wiley Interscience, New York (1995)"},{"key":"26_CR14","unstructured":"J\u00f3nsson, A., Frank, J.: A framework for dynamic constraint reasoning using procedural constraints. In: Proceedings of ECAI 2000 (2000)"},{"issue":"1","key":"26_CR15","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A. Mackworth","year":"1977","unstructured":"Mackworth, A.: Consistency in networks of relations. Artificial Intelligence\u00a08(1), 99\u2013118 (1977)","journal-title":"Artificial Intelligence"},{"key":"26_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/3-540-46135-3_10","volume-title":"Principles and Practice of Constraint Programming - CP 2002","author":"N. Muscettola","year":"2002","unstructured":"Muscettola, N.: Computing the envolope for stepwise constant resource allocations. In: Van Hentenryck, P. (ed.) CP 2002. LNCS, vol.\u00a02470, p. 139. Springer, Heidelberg (2002)"},{"key":"26_CR17","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1111\/j.1467-8640.1989.tb00328.x","volume":"5","author":"B.A. Nadel","year":"1989","unstructured":"Nadel, B.A.: Consistent satisfaction algorithms. Computational Intelligence\u00a05, 188\u2013224 (1989)","journal-title":"Computational Intelligence"},{"issue":"3","key":"26_CR18","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1111\/j.1467-8640.1993.tb00310.x","volume":"9","author":"P. Prosser","year":"1993","unstructured":"Prosser, P.: Hybrid algorithms for the constrain satisfaction problem. Computational Intelligence\u00a09(3), 268\u2013299 (1993)","journal-title":"Computational Intelligence"},{"key":"26_CR19","series-title":"Lecture Notes in Computer Science","volume-title":"Principles and Practice of Constraint Programming","author":"A. Rajasekar","year":"1994","unstructured":"Rajasekar, A.: Applications in constraint logical programming with strings. In: Borning, A. (ed.) PPCP 1994. LNCS, vol.\u00a0874. Springer, Heidelberg (1994)"},{"key":"26_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/3-540-46135-3_17","volume-title":"Principles and Practice of Constraint Programming - CP 2002","author":"F. Rossi","year":"2002","unstructured":"Rossi, F., Sperduti, A., Venable, K., Khatib, L., Morris, P., Morris, R.: Learning and solving soft temporal constraints: An experimental study. In: Van Hentenryck, P. (ed.) CP 2002. LNCS, vol.\u00a02470, p. 249. Springer, Heidelberg (2002)"},{"key":"26_CR21","unstructured":"Shazeer, N., Littman, M., Keim, G.: Solving crossword puzzles as probabilistic constraint satisfaction. In: Proceedings of AAAI 1999 (1999)"},{"key":"26_CR22","first-page":"19","volume-title":"The Psychology of Computer Vision","author":"D.L. Waltz","year":"1975","unstructured":"Waltz, D.L.: Understanding line drawings of scenes with shadows. In: Winston, P.H. (ed.) The Psychology of Computer Vision, pp. 19\u201391. McGraw-Hill, New York (1975)"},{"key":"26_CR23","volume-title":"Intelligent Scheduling","author":"M. Zweben","year":"1994","unstructured":"Zweben, M., Fox, M.S.: Intelligent Scheduling. Morgan Kaufmann Publishers, San Francisco (1994)"}],"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_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,20]],"date-time":"2019-03-20T05:54:16Z","timestamp":1553061256000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45193-8_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540202028","9783540451938"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45193-8_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}