{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:15:28Z","timestamp":1725484528592},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540428633"},{"type":"electronic","value":"9783540455783"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45578-7_38","type":"book-chapter","created":{"date-parts":[[2007,5,28]],"date-time":"2007-05-28T02:34:25Z","timestamp":1180319665000},"page":"554-559","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Interaction of Constraint Programming and Local Search for Optimisation Problems"],"prefix":"10.1007","author":[{"given":"Francisco","family":"Azevedo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pedro","family":"Barahona","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,11,19]]},"reference":[{"key":"38_CR1","unstructured":"H. Simonis. Test Generation using the Constraint Logic Programming Language CHIP, 6th Int. Conf. on Logic Programming, MIT Press, 101\u2013112, 1989."},{"key":"38_CR2","unstructured":"S. Hellebrand, B. Reeb, S. Tarnick and H.-J. Wunderlich. Pattern Generation for a Deterministic BIST Scheme, Int. Conf. on Computer-Aided Design, 1995."},{"key":"38_CR3","unstructured":"Paulo F. Flores, Hor\u00e1cio C. Neto, Krishnendu Chakrabarty and Jo\u00e3o P. Marques-Silva. A Model and Algorithm for Computing Minimum-Size Test Patterns, in IEEE European Test Workshop (ETW), 147\u2013148, May 1998."},{"key":"38_CR4","unstructured":"Paulo F. Flores, Hor\u00e1cio C. Neto and Jo\u00e3o P. Marques-Silva. An Exact Solution to the Minimum-Size Test Pattern Problem, in IEEE\/ACM Int. Ws on Logic Synthesis (IWLS), 452\u2013470, 1998."},{"key":"38_CR5","unstructured":"ECRC, ECLiPSe user manual and extensions, Technical Report, ECRC, 1994."},{"key":"38_CR6","unstructured":"Programming Systems Group of the Swedish Institute of Computer Science. SICStus Prolog User\u2019s Manual, 1995."},{"key":"38_CR7","unstructured":"ISCAS. Special Session on ATPG, IEEE Symp. Circuits and Systems, 1985."},{"key":"38_CR8","unstructured":"H. K. Lee and D. S. Ha, On the Generation of Test Patterns for Combinational Circuits, Technical Report No. 12_93, Department of Electrical Engineering, Virginia Polytechnic Institute and State University, 1993."}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2014 CP 2001"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45578-7_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,30]],"date-time":"2020-03-30T05:07:43Z","timestamp":1585544863000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45578-7_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540428633","9783540455783"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-45578-7_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"19 November 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}