{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:39:45Z","timestamp":1725557985416},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642135194"},{"type":"electronic","value":"9783642135200"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13520-0_28","type":"book-chapter","created":{"date-parts":[[2010,6,12]],"date-time":"2010-06-12T16:10:33Z","timestamp":1276359033000},"page":"252-266","source":"Crossref","is-referenced-by-count":0,"title":["Constraint Programming with Arbitrarily Large Integer Variables"],"prefix":"10.1007","author":[{"given":"Anna","family":"Moss","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"28_CR1","doi-asserted-by":"publisher","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 Systems Journal\u00a041(3), 386\u2013402 (2002)","journal-title":"IBM Systems Journal"},{"issue":"3","key":"28_CR2","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 Magazine\u00a028(3), 13\u201318 (2007)","journal-title":"AI Magazine"},{"key":"28_CR3","doi-asserted-by":"crossref","unstructured":"Gutkovich, B., Moss, A.: CP with architectural state lookup for functional test generation. In: 11th Annual IEEE International Workshop on High Level Design Validation and Test, pp. 111\u2013118 (2006)","DOI":"10.1109\/HLDVT.2006.319972"},{"key":"28_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-540-77966-7_10","volume-title":"Hardware and Software: Verification and Testing","author":"A. Moss","year":"2008","unstructured":"Moss, A.: Constraint patterns and search procedures for CP-based random test generation. In: Yorav, K. (ed.) HVC 2007. LNCS, vol.\u00a04899, pp. 86\u2013103. Springer, Heidelberg (2008)"},{"key":"28_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"820","DOI":"10.1007\/978-3-540-89982-2_89","volume-title":"Logic Programming","author":"M. Triska","year":"2008","unstructured":"Triska, M.: Generalising Constraint Solving over Finite Domains. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 820\u2013821. Springer, Heidelberg (2008)"},{"key":"28_CR6","unstructured":"SystemVerilog, IEEE Std. 1800TM (2005)"},{"key":"28_CR7","unstructured":"Smith, B.M.: Modeling for constraint programming. In: The 1st Constraint Programming Summer School (2005)"},{"issue":"1-3","key":"28_CR8","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/S0743-1066(98)10006-7","volume":"31","author":"P. Hentenryck Van","year":"1998","unstructured":"Van Hentenryck, P., Saraswat, V., Deville, Y.: Design, implementation and evaluation of the constraint language cc(FD). Journal of Logic Programming\u00a031(1-3), 139\u2013164 (1998)","journal-title":"Journal of Logic Programming"},{"key":"28_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"789","DOI":"10.1007\/978-3-540-45193-8_54","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2003","author":"C. Bessi\u00e8re","year":"2003","unstructured":"Bessi\u00e8re, C., Van Hentenryck, P.: To be or not to be ... a global constraint. In: Rossi, F. (ed.) CP 2003. LNCS, vol.\u00a02833, pp. 789\u2013794. Springer, Heidelberg (2003)"},{"key":"28_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/3-540-46135-3_7","volume-title":"Principles and Practice of Constraint Programming - CP 2002","author":"A. Frisch","year":"2002","unstructured":"Frisch, A., Hnich, B., Kiziltan, Z., Miguel, I., Walsh, T.: Global constraints for lexicographic orderings. In: Van Hentenryck, P. (ed.) CP 2002. LNCS, vol.\u00a02470, pp. 93\u2013108. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13520-0_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T12:06:07Z","timestamp":1619784367000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13520-0_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642135194","9783642135200"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13520-0_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}