{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:25Z","timestamp":1725663685111},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540577850"},{"type":"electronic","value":"9783540483328"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57785-8_163","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:19:57Z","timestamp":1330262397000},"page":"461-474","source":"Crossref","is-referenced-by-count":8,"title":["Optimal parallelization of Las Vegas algorithms"],"prefix":"10.1007","author":[{"given":"Michael","family":"Luby","sequence":"first","affiliation":[]},{"given":"Wolfgang","family":"Ertel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"37_CR1","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0020-0190(93)90029-9","volume":"47","author":"M. Luby","year":"1993","unstructured":"M. Luby, A. Sinclair, D. Zuckerman. Optimal speedup of las vegas algorithms. Information Processing Letters 47, 1993, 173\u2013180.","journal-title":"Information Processing Letters"},{"key":"37_CR2","volume-title":"TR-93-041","author":"M. Luby","year":"1993","unstructured":"M. Luby, W. Ertel. Optimal Parallelisation of Las Vegas Algorithms. TR-93-041, International Computer Science Institute, Berkeley CA, 1993."},{"key":"37_CR3","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1007\/BFb0013064","volume":"624","author":"W. Ertel","year":"1992","unstructured":"W. Ertel. OR-Parallel theorem proving with random competition. In: Logic Programming and Automated Reasoning, Springer LNAI 624, 1992, 226\u2013237.","journal-title":"Logic Programming and Automated Reasoning"},{"issue":"2","key":"37_CR4","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/BF00244282","volume":"8","author":"R. Letz","year":"1992","unstructured":"R. Letz, J. Schumann, S. Bayerl, W. Bibel. SETHEO, a high-performance theorem prover. Journal of Automated Reasoning 8(2), 1992, 183\u2013212.","journal-title":"Journal of Automated Reasoning"}],"container-title":["Lecture Notes in Computer Science","STACS 94"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57785-8_163.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:08:04Z","timestamp":1619572084000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57785-8_163"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540577850","9783540483328"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/3-540-57785-8_163","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}