{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:35Z","timestamp":1725663815416},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540545071"},{"type":"electronic","value":"9783540384205"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54507-7_6","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:57:20Z","timestamp":1330210640000},"page":"59-70","source":"Crossref","is-referenced-by-count":0,"title":["Efficient simulations of nondeterministic computations and their speed-up by the ring of cooperating machines"],"prefix":"10.1007","author":[{"given":"Juraj","family":"Wiedermann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"6_CR1","volume-title":"The Design and Analysis of Computer Algorithms","author":"A.V. Aho","year":"1974","unstructured":"Aho, A.V. \u2014 Hopcroft, J.E. \u2014 Ullman, J.D.: The Design and Analysis of Computer Algorithms. Addison-Wesley, Reading, Mass., 1974"},{"key":"6_CR2","doi-asserted-by":"crossref","first-page":"651","DOI":"10.1145\/361219.361224","volume":"18","author":"J,R Bitner","year":"1975","unstructured":"Bitner, J,R, \u2014 Reingold, E.M.: Backtracking program techniques. Comm. ACM, Vol. 18, 1975, pp. 651\u2013655","journal-title":"Comm. ACM"},{"key":"6_CR3","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"J.E. Hopcroft","year":"1979","unstructured":"Hopcroft, J.E. \u2014 Ullman, J,D,: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading, Mass., 1979"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Johnson, D.S. The NP-completeness column: an ongoing guide, Journal of Algorithms, since December 1981","DOI":"10.1016\/0196-6774(81)90037-7"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Lloyd, J.W.: Foundations of Logic Programming. Springer-Verlag, 1984","DOI":"10.1007\/978-3-642-96826-6"},{"key":"6_CR6","unstructured":"Monien, B. \u2014 Speckenmeyer, E. \u2014 Vornberger, O.: Superlinear speed-up for parallel backtracking. Technical report, No. 30, Dept. of Comp. Sci., University of Paderborn, 1983"},{"issue":"3","key":"6_CR7","first-page":"195","volume":"6","author":"B. Monien","year":"1987","unstructured":"Monien, B. \u2014 Vornberger, O.: The ring machine. Computers and Artificial Intelligence, Vol. 6, No.3, 1987, pp. 195\u2013208","journal-title":"Computers and Artificial Intelligence"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Shapiro, E.Y.: Alternation and the computational complexity of logic programs. Journal of Logic Programming, No. 1, 1984, pp. 19\u201333","DOI":"10.1016\/0743-1066(84)90021-9"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"van Emde-Boas, P.: Machine models and simulations. In: van Leeuwen, J. (Ed.), Handbook of Theoretical Computer Science, North-Holland, 1990","DOI":"10.1016\/B978-0-444-88071-0.50006-0"},{"key":"6_CR10","unstructured":"van Leeuwen, J.: Distributed computing. Technical Report, Dept. of Comp. Sci., Utrecht University, 1983"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Vornberger, O.: Implementing branch-and-bound in a ring of processors. Technical Report No. 29, Dept. of Comp. Sci., University of Paderborn, 1986","DOI":"10.1007\/3-540-16811-7_166"},{"key":"6_CR12","unstructured":"Wiedermann, J.: Solving the knapsack problem in subexponential time. Proc. 13-th SOF-SEM, Liptovsk\u00fd J\u00e1n, 1986, pp. 251\u2013253, (in Slovak)"},{"issue":"6","key":"6_CR13","first-page":"591","volume":"8","author":"J. Wiedermann","year":"1989","unstructured":"Wiedermann, J.: Fast simulation of nondeterministic Turing machines with application to the knapsack problem. Computers and Artificial Intelligence, Vol. 8, No. 6, 1989, pp. 591\u2013596","journal-title":"Computers and Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Artificial Intelligence Research"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54507-7_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:55:20Z","timestamp":1605646520000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54507-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540545071","9783540384205"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-54507-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}