{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:22:40Z","timestamp":1725895360082},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642335570"},{"type":"electronic","value":"9783642335587"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33558-7_18","type":"book-chapter","created":{"date-parts":[[2012,10,2]],"date-time":"2012-10-02T22:32:47Z","timestamp":1349217167000},"page":"223-237","source":"Crossref","is-referenced-by-count":1,"title":["Space-Time Tradeoffs for the Regular Constraint"],"prefix":"10.1007","author":[{"given":"Kenil C. K.","family":"Cheng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei","family":"Xia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roland H. C.","family":"Yap","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"482","DOI":"10.1007\/978-3-540-30201-8_36","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2004","author":"G. Pesant","year":"2004","unstructured":"Pesant, G.: A Regular Language Membership Constraint for Finite Sequences of Variables. In: Wallace, M. (ed.) CP 2004. LNCS, vol.\u00a03258, pp. 482\u2013495. Springer, Heidelberg (2004)"},{"key":"18_CR2","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/s10601-009-9087-y","volume":"15","author":"K.C.K. Cheng","year":"2010","unstructured":"Cheng, K.C.K., Yap, R.H.C.: An mdd-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints. Constraints\u00a015, 265\u2013304 (2010)","journal-title":"Constraints"},{"key":"18_CR3","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/s10601-011-9107-6","volume":"16","author":"C. Lecoutre","year":"2011","unstructured":"Lecoutre, C.: Str2: optimized simple tabular reduction for table constraints. Constraints\u00a016, 341\u2013371 (2011)","journal-title":"Constraints"},{"key":"18_CR4","unstructured":"Lecoutre, C., Likitvivatanavong, C., Yap, R.H.C.: A path-optimal gac algorithm for table constraints. In: ECAI (2012)"},{"key":"18_CR5","unstructured":"Lagerkvist, M.Z.: Techniques for Efficient Constraint Propagation. Ph.D. thesis, Royal Institute of Technology (2008)"},{"key":"18_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"751","DOI":"10.1007\/11889205_64","volume-title":"Principles and Practice of Constraint Programming - CP 2006","author":"C.-G. Quimper","year":"2006","unstructured":"Quimper, C.-G., Walsh, T.: Global Grammar Constraints. In: Benhamou, F. (ed.) CP 2006. LNCS, vol.\u00a04204, pp. 751\u2013755. Springer, Heidelberg (2006)"},{"key":"18_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"530","DOI":"10.1007\/11889205_38","volume-title":"Principles and Practice of Constraint Programming - CP 2006","author":"M. Sellmann","year":"2006","unstructured":"Sellmann, M.: The Theory of Grammar Constraints. In: Benhamou, F. (ed.) CP 2006. LNCS, vol.\u00a04204, pp. 530\u2013544. Springer, Heidelberg (2006)"},{"key":"18_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-642-01929-6_11","volume-title":"Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems","author":"G. Katsirelos","year":"2009","unstructured":"Katsirelos, G., Narodytska, N., Walsh, T.: Reformulating Global Grammar Constraints. In: van Hoeve, W.-J., Hooker, J.N. (eds.) CPAIOR 2009. LNCS, vol.\u00a05547, pp. 132\u2013147. Springer, Heidelberg (2009)"},{"key":"18_CR9","unstructured":"Srinivasan, A., Kam, T., Malik, S., Brayton, R.: Algorithms for discrete function manipulation. In: Computer Aided Design, pp. 92\u201395 (1990)"},{"key":"18_CR10","unstructured":"Cheng, K.C.K., Yap, R.H.C.: Maintaining generalized arc consistency on ad-hoc n-ary boolean constraints. In: ECAI, pp. 78\u201382 (2006)"},{"key":"18_CR11","unstructured":"Carlsson, M.: Filtering for the case constraint. Talk given at Advanced School on Global Constraints (2006)"},{"key":"18_CR12","unstructured":"Mackworth, A.K.: On reading sketch maps. In: IJCAI, pp. 598\u2013606 (1977)"},{"issue":"8","key":"18_CR13","first-page":"667","volume":"35","author":"R.E. Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Trans. on Comp.\u00a035(8), 667\u2013691 (1986)","journal-title":"IEEE Trans. on Comp."},{"issue":"6","key":"18_CR14","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1145\/363347.363387","volume":"11","author":"K. Thompson","year":"1968","unstructured":"Thompson, K.: Regular expression search algorithm. Comm. of the ACM\u00a011(6), 419\u2013422 (1968)","journal-title":"Comm. of the ACM"},{"key":"18_CR15","first-page":"47","volume":"150","author":"N. Blum","year":"1997","unstructured":"Blum, N., Koch, R.: Greibach normal form transformation, revisited. Information and Computation\u00a0150, 47\u201354 (1997)","journal-title":"Information and Computation"},{"key":"18_CR16","unstructured":"Leslie, T.: Efficient approaches to subset construction. Master\u2019s thesis, University of Waterloo (1995)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33558-7_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T23:18:07Z","timestamp":1557271087000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33558-7_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642335570","9783642335587"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33558-7_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}