{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,6]],"date-time":"2025-12-06T17:05:58Z","timestamp":1765040758505},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319731162"},{"type":"electronic","value":"9783319731179"}],"license":[{"start":{"date-parts":[[2017,12,22]],"date-time":"2017-12-22T00:00:00Z","timestamp":1513900800000},"content-version":"unspecified","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":[[2018]]},"DOI":"10.1007\/978-3-319-73117-9_35","type":"book-chapter","created":{"date-parts":[[2017,12,21]],"date-time":"2017-12-21T16:45:34Z","timestamp":1513874734000},"page":"493-507","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Runtime Distributions and Criteria for Restarts"],"prefix":"10.1007","author":[{"given":"Jan-Hendrik","family":"Lorenz","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,12,22]]},"reference":[{"issue":"4\u20135","key":"35_CR1","doi-asserted-by":"crossref","first-page":"625","DOI":"10.1017\/S1471068413000392","volume":"13","author":"A Arbelaez","year":"2013","unstructured":"Arbelaez, A., Truchet, C., Codognet, P.: Using sequential runtime distributions for the parallel speedup prediction of SAT local search. Theory Pract. Logic Program. 13(4\u20135), 625\u2013639 (2013)","journal-title":"Theory Pract. Logic Program."},{"key":"35_CR2","doi-asserted-by":"crossref","unstructured":"Arbelaez, A., Truchet, C., O\u2019Sullivan, B.: Learning sequential and parallel runtime distributions for randomized algorithms. In: ICTAI 2016: 28th International Conference on Tools with Artificial Intelligence, San Jose, California, USA, pp. 655\u2013662. IEEE (2016)","DOI":"10.1109\/ICTAI.2016.0105"},{"key":"35_CR3","doi-asserted-by":"crossref","unstructured":"Balkema, A.A., De Haan, L.: Residual life time at great age. Ann. Probab. 792\u2013804 (1974)","DOI":"10.1214\/aop\/1176996548"},{"issue":"10","key":"35_CR4","doi-asserted-by":"crossref","first-page":"2717","DOI":"10.1007\/s00500-015-1672-y","volume":"19","author":"DF Barrero","year":"2015","unstructured":"Barrero, D.F., Mu\u00f1oz, P., Camacho, D., R-Moreno, M.D.: On the statistical distribution of the expected run-time in population-based search algorithms. Soft. Comput. 19(10), 2717\u20132734 (2015)","journal-title":"Soft. Comput."},{"key":"35_CR5","doi-asserted-by":"crossref","unstructured":"Caniou, Y., Codognet, P.: Sequential and parallel restart policies for constraint-based local search. In: Proceedings of the 2013 IEEE 27th International Symposium on Parallel and Distributed Processing Workshops and Ph.D. Forum, pp. 1754\u20131763. IEEE Computer Society (2013)","DOI":"10.1109\/IPDPSW.2013.211"},{"key":"35_CR6","first-page":"3","volume":"1","author":"ME Crovella","year":"1998","unstructured":"Crovella, M.E., Taqqu, M.S., Bestavros, A.: Heavy-tailed probability distributions in the World Wide Web. Pract. Guide Heavy Tails 1, 3\u201326 (1998)","journal-title":"Pract. Guide Heavy Tails"},{"issue":"16","key":"35_CR7","doi-asserted-by":"crossref","first-page":"160601","DOI":"10.1103\/PhysRevLett.106.160601","volume":"106","author":"MR Evans","year":"2011","unstructured":"Evans, M.R., Majumdar, S.N.: Diffusion with stochastic resetting. Phys. Rev. Lett. 106(16), 160601 (2011)","journal-title":"Phys. Rev. Lett."},{"key":"35_CR8","unstructured":"Frost, D., Rish, I., Vila, L.: Summarizing CSP hardness with continuous probability distributions. In: Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Conference on Innovative Applications of Artificial Intelligence, AAAI 1997\/IAAI 1997, pp. 327\u2013333. AAAI Press (1997)"},{"key":"35_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/BFb0017434","volume-title":"Principles and Practice of Constraint Programming-CP97","author":"CP Gomes","year":"1997","unstructured":"Gomes, C.P., Selman, B., Crato, N.: Heavy-tailed distributions in combinatorial search. In: Smolka, G. (ed.) CP 1997. LNCS, vol. 1330, pp. 121\u2013135. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/BFb0017434"},{"key":"35_CR10","doi-asserted-by":"crossref","unstructured":"Hoos, H.H., St\u00fctzle, T.: Evaluating las vegas algorithms: pitfalls and remedies. In: Proceedings of the Fourteenth Conference on Uncertainty in Artificial Intelligence, pp. 238\u2013245. Morgan Kaufmann Publishers Inc. (1998)","DOI":"10.1007\/978-3-7091-6492-1_54"},{"key":"35_CR11","doi-asserted-by":"crossref","DOI":"10.1142\/p191","volume-title":"Extreme Value Distributions: Theory and Applications","author":"S Kotz","year":"2000","unstructured":"Kotz, S., Nadarajah, S.: Extreme Value Distributions: Theory and Applications. World Scientific, Singapore (2000)"},{"issue":"10","key":"35_CR12","doi-asserted-by":"crossref","first-page":"e0164605","DOI":"10.1371\/journal.pone.0164605","volume":"11","author":"JH Lorenz","year":"2016","unstructured":"Lorenz, J.H.: Completion probabilities and parallel restart strategies under an imposed deadline. PloS one 11(10), e0164605 (2016)","journal-title":"PloS one"},{"issue":"70","key":"35_CR13","first-page":"209","volume":"9","author":"MO Lorenz","year":"1905","unstructured":"Lorenz, M.O.: Methods of measuring the concentration of wealth. Publ. Am. Stat. Assoc. 9(70), 209\u2013219 (1905)","journal-title":"Publ. Am. Stat. Assoc."},{"issue":"4","key":"35_CR14","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0020-0190(93)90029-9","volume":"47","author":"M Luby","year":"1993","unstructured":"Luby, M., Sinclair, A., Zuckerman, D.: Optimal speedup of Las Vegas algorithms. Inf. Process. Lett. 47(4), 173\u2013180 (1993)","journal-title":"Inf. Process. Lett."},{"key":"35_CR15","unstructured":"Meyer, J.: Two-moment decision models and expected utility maximization. Am. Econ. Rev. 421\u2013430 (1987)"},{"key":"35_CR16","doi-asserted-by":"crossref","unstructured":"Van Moorsel, A.P., Wolter, K.: Analysis and algorithms for restart. In: Proceedings of the First International Conference on the Quantitative Evaluation of Systems, pp. 195\u2013204 (2004)","DOI":"10.1109\/QEST.2004.1348034"},{"key":"35_CR17","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/978-1-4471-4739-8_10","volume-title":"Research and Development in Intelligent Systems XXIX","author":"P Mu\u00f1oz","year":"2012","unstructured":"Mu\u00f1oz, P., Barrero, D.F., R-Moreno, M.D.: Run-time analysis of classical path-planning algorithms. In: Bramer, M., Petridis, M. (eds.) Research and Development in Intelligent Systems XXIX, pp. 137\u2013148. Springer, London (2012). https:\/\/doi.org\/10.1007\/978-1-4471-4739-8_10"},{"key":"35_CR18","unstructured":"Norman, L., Kotz, S., Balakrishnan, N.: Continuous Univariate Distributions, vol. 1. Wiley Series in Probability and Mathematical Statistics: Applied Probability and Statistics (1994)"},{"key":"35_CR19","doi-asserted-by":"crossref","unstructured":"Paxson, V., Allman, M., Chu, J., Sargent, M.: Computing TCP\u2019s retransmission timer. Technical report (2011)","DOI":"10.17487\/rfc6298"},{"issue":"12","key":"35_CR20","doi-asserted-by":"crossref","first-page":"4391","DOI":"10.1073\/pnas.1318122111","volume":"111","author":"S Reuveni","year":"2014","unstructured":"Reuveni, S., Urbakh, M., Klafter, J.: Role of substrate unbinding in Michaelis-Menten enzymatic reactions. Proc. Natl. Acad. Sci. U.S.A. 111(12), 4391\u20134396 (2014)","journal-title":"Proc. Natl. Acad. Sci. U.S.A."},{"key":"35_CR21","doi-asserted-by":"crossref","unstructured":"Sch\u00f6ning, U.: A probabilistic algorithm for k-SAT and constraint satisfaction problems. In: Proceedings of the 40th Annual Symposium on Foundations of Computer Science, FOCS 1999, p. 410. IEEE Computer Society, Washington, DC (1999)","DOI":"10.1109\/SFFCS.1999.814612"},{"key":"35_CR22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11257-7","volume-title":"Stochastic Models for Fault Tolerance: Restart, Rejuvenation and Checkpointing","author":"K Wolter","year":"2010","unstructured":"Wolter, K.: Stochastic Models for Fault Tolerance: Restart, Rejuvenation and Checkpointing. Springer Science & Business Media, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-11257-7"},{"key":"35_CR23","unstructured":"Wu, H.: Randomization and restart strategies. Master\u2019s thesis, University of Waterloo (2006)"}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2018: Theory and Practice of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-73117-9_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,8]],"date-time":"2019-10-08T11:46:55Z","timestamp":1570535215000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-73117-9_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,22]]},"ISBN":["9783319731162","9783319731179"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-73117-9_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017,12,22]]}}}