{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T19:15:17Z","timestamp":1725909317141},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319661575"},{"type":"electronic","value":"9783319661582"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66158-2_4","type":"book-chapter","created":{"date-parts":[[2017,8,22]],"date-time":"2017-08-22T03:24:38Z","timestamp":1503372278000},"page":"55-70","source":"Crossref","is-referenced-by-count":2,"title":["Solving Constraint Satisfaction Problems Containing Vectors of Unknown Size"],"prefix":"10.1007","author":[{"given":"Erez","family":"Bilgory","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eyal","family":"Bin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Avi","family":"Ziv","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,23]]},"reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-642-34188-5_19","volume-title":"Hardware and Software: Verification and Testing","author":"A Adir","year":"2012","unstructured":"Adir, A., Levy, R., Salman, T.: Dynamic test data generation for data intensive applications. In: Eder, K., Louren\u00e7o, J., Shehory, O. (eds.) HVC 2011. LNCS, vol. 7261, pp. 219\u2013233. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-34188-5_19"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Amadini, R., Flener, P., Pearson, J., Scott, J.D., Stuckey, P.J., Tack, G.: Minizinc with strings. arXiv preprint arXiv:1608.03650 (2016)","DOI":"10.1007\/978-3-319-63139-4_4"},{"key":"4_CR3","unstructured":"Bessiere, C.: Arc-consistency in dynamic constraint satisfaction problems. In: Proceedings of the Ninth National Conference on Artificial Intelligence, pp. 221\u2013226, July 1991"},{"issue":"3","key":"4_CR4","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1147\/sj.413.0386","volume":"41","author":"E Bin","year":"2002","unstructured":"Bin, E., Emek, R., Shurek, G., Ziv, A.: Using a constraint satisfaction formulation and solution techniques for random test program generation. IBM Syst. J. 41(3), 386\u2013402 (2002)","journal-title":"IBM Syst. J."},{"key":"4_CR5","unstructured":"Bin, E., Venezian, E.: Solving the address translation problem as a constraint satisfaction problem. In: CP Meets Verifiation Workshop of the 20th International Conference on Principles and Practice of Constraint Programming, September 2014"},{"key":"4_CR6","volume-title":"Constraint Processing","author":"R Dechter","year":"2003","unstructured":"Dechter, R.: Constraint Processing. Morgan Kaufmann, Burlington (2003)"},{"key":"4_CR7","unstructured":"Gent, I., Walsh, T.: CSPLib: a problem library for constraints. http:\/\/www.csplib.org . Accessed 24 Apr 2017"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/978-3-540-45193-8_26","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2003","author":"K Golden","year":"2003","unstructured":"Golden, K., Pang, W.: Constraint reasoning over strings. In: Rossi, F. (ed.) CP 2003. LNCS, vol. 2833, pp. 377\u2013391. Springer, Heidelberg (2003). doi: 10.1007\/978-3-540-45193-8_26"},{"key":"4_CR9","unstructured":"Gottlob, G., Greco, G., Mancini, T.: Conditional constraint satisfaction: logical foundations and complexity. In: Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, pp. 88\u201393, January 2007"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Katz, Y., Rimon, M., Ziv, A.: Generating instruction streams using abstract CSP. In: Proceedings of the 2012 Design, Automation and Test in Europe Conference, pp. 15\u201320, March 2012","DOI":"10.1109\/DATE.2012.6176425"},{"key":"4_CR11","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1613\/jair.1335","volume":"21","author":"J Keppens","year":"2004","unstructured":"Keppens, J., Shen, Q.: Compositional model repositories via dynamic constraint satisfaction with order-of-magnitude preferences. J. Artif. Intell. Res. 21, 499\u2013550 (2004)","journal-title":"J. Artif. Intell. Res."},{"issue":"1","key":"4_CR12","doi-asserted-by":"crossref","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. Artif. Intell. 8(1), 99\u2013118 (1977)","journal-title":"Artif. Intell."},{"issue":"4","key":"4_CR13","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1017\/S0890060498124101","volume":"12","author":"D Mailharro","year":"1998","unstructured":"Mailharro, D.: A classification and constraint-based frame-work for configuration. Artif. Intell. Eng. Des. Anal. Manuf. J. 12(4), 383\u2013397 (1998)","journal-title":"Artif. Intell. Eng. Des. Anal. Manuf. J."},{"key":"4_CR14","unstructured":"Mittal, S., Falkenhainer, B.: Dynamic constraint satisfaction. In: Proceedings of the Eighth National Conference on Artificial Intelligence, pp. 25\u201332, July 1990"},{"issue":"3","key":"4_CR15","first-page":"13","volume":"28","author":"Y Naveh","year":"2007","unstructured":"Naveh, Y., Rimon, M., Jaeger, I., Katz, Y., Vinov, M., Marcus, E., Shurek, G.: Constraint-based random stimuli generation for hardware verification. AI Mag. 28(3), 13\u201330 (2007)","journal-title":"AI Mag."},{"key":"4_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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. 2833, pp. 649\u2013663. Springer, Heidelberg (2003). doi: 10.1007\/978-3-540-45193-8_44"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Saxena, P., Akhawe, D., Hanna, S., Mao, F., McCamant, S., Song, D.: A symbolic execution framework for JavaScript. In: IEEE Symposium on Security and Privacy, pp. 513\u2013528, May 2010","DOI":"10.1109\/SP.2010.38"},{"key":"4_CR18","unstructured":"Schenner, G., Taupe, R.: Encoding object-oriented models in MiniZinc. In: Fifteenth International Workshop on Constraint Modelling and Reformulation, September 2016"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Scott, J.D., Flener, P., Pearson, J.: Constraint solving on bounded string variables. In: Proceedings of the 12th International Conference on Integration of AI and OR Techniques in Constraint Programming, pp. 375\u2013392, May 2015","DOI":"10.1007\/978-3-319-18008-3_26"},{"key":"4_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1007\/978-3-540-48085-3_30","volume-title":"Principles and Practice of Constraint Programming \u2013 CP\u201999","author":"T Soininen","year":"1999","unstructured":"Soininen, T., Gelle, E., Niemel\u00e4, I.: A fixpoint definition of dynamic constraint satisfaction. In: Jaffar, J. (ed.) CP 1999. LNCS, vol. 1713, pp. 419\u2013433. Springer, Heidelberg (1999). doi: 10.1007\/978-3-540-48085-3_30"},{"key":"4_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/3-540-60299-2_6","volume-title":"Principles and Practice of Constraint Programming \u2014 CP \u201995","author":"M Yokoo","year":"1995","unstructured":"Yokoo, M.: Asynchronous weak-commitment search for solving distributed constraint satisfaction problems. In: Montanari, U., Rossi, F. (eds.) CP 1995. LNCS, vol. 976, pp. 88\u2013102. Springer, Heidelberg (1995). doi: 10.1007\/3-540-60299-2_6"}],"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-319-66158-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T13:12:35Z","timestamp":1570021955000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66158-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319661575","9783319661582"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66158-2_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}