{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:04:14Z","timestamp":1725483854189},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441205"},{"type":"electronic","value":"9783540461357"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46135-3_51","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T01:59:47Z","timestamp":1179194387000},"page":"714-719","source":"Crossref","is-referenced-by-count":11,"title":["Criticality and Parallelism in Structured SAT Instances"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Roli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,2]]},"reference":[{"key":"51_CR1","unstructured":"I. P. Gent, H. H. Hoos, P. Prosser, and T. Walsh. Morphing: Combining structure and randomness. In Proceedings of AAAI99, pages 654\u2013660, 1999."},{"key":"51_CR2","unstructured":"H. Hoos and T. St\u00fctzle. SATLIB: An online resource for research on SAT. In I. Gent, H. van Maaren, and T. Walsh, editors, SAT2000: Highlights of Satisfiability Research in the Year 2000, pages 283\u2013292. IOS Press, 2000."},{"issue":"2","key":"51_CR3","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1002\/cplx.6130010208","volume":"26","author":"S. A. Kauffman","year":"1995","unstructured":"S. A. Kauffman and W. Macready. Technological evolution and adaptive organizations. Complexity, 26(2):26\u201343, March 1995.","journal-title":"Complexity"},{"key":"51_CR4","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1126\/science.271.5245.56","volume":"271","author":"W. G. Macready","year":"1996","unstructured":"W. G. Macready and S.A. Kauffman A. G. Siapas. Criticality and parallelism in combinatorial optimization. Science, 271:56\u201359, January 1996.","journal-title":"Science"},{"key":"51_CR5","doi-asserted-by":"crossref","unstructured":"A. Roli. Criticality and parallelism in GSAT. Electronic Notes in Discrete Mathematics, 9, 2001.","DOI":"10.1016\/S1571-0653(04)00319-1"},{"key":"51_CR6","doi-asserted-by":"crossref","unstructured":"A. Roli and C. Blum. Critical Parallelization of Local Search for MAX-SAT. In AI*IA2001: Advances in Artificial Intelligence, volume 2175 of Lecture Notes in Artificial Intelligence, pages 147\u2013158. Springer, 2001.","DOI":"10.1007\/3-540-45411-X_16"},{"key":"51_CR7","unstructured":"B. Selman, H. J. Levesque, and D. Mitchell. A new method for solving hard satisfiability problems. In Proceedings of the Tenth National Conference on Artificial Intelligence, pages 440\u2013446, 1992."},{"key":"51_CR8","unstructured":"T. Walsh. Search in a small world. In proceedings of IJCAI99, pages 1172\u20131177, 1999."},{"key":"51_CR9","unstructured":"T. Walsh. Search on high degree graphs. In Proceedings of IJCAI-2001, 2001."}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming - CP 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46135-3_51","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T12:15:54Z","timestamp":1550319354000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46135-3_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441205","9783540461357"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-46135-3_51","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2002]]}}}