{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T18:21:54Z","timestamp":1747678914960},"publisher-location":"Berlin, Heidelberg","reference-count":24,"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_38","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T01:59:47Z","timestamp":1179194387000},"page":"573-586","source":"Crossref","is-referenced-by-count":17,"title":["Restart Policies with Dependence among Runs: A Dynamic Programming Approach"],"prefix":"10.1007","author":[{"given":"Yongshao","family":"Ruan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Horvitz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henry","family":"Kautz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,2]]},"reference":[{"key":"38_CR1","unstructured":"Dimitris Achlioptas, Carla P. Gomes, Henry A. Kautz, and Bart Selman. Generating satisfiable problem instances. In AAAI\/IAAI, pages 256\u2013261, 2000."},{"key":"38_CR2","unstructured":"D.P. Bertsekas and J. N. Tsitsiklis. Neuro-Dynamic Programming. Athena Scientific, 1996."},{"key":"38_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"408ff","DOI":"10.1007\/3-540-45578-7_28","volume-title":"Formal models of heavy-tailed behavior in combinatorial search","author":"H. Chen","year":"2001","unstructured":"Hubie Chen, Carla Gomes, and Bart Selman. Formal models of heavy-tailed behavior in combinatorial search. Lecture Notes in Computer Science, 2239:408ff, 2001."},{"key":"38_CR4","unstructured":"David Maxwell Chickering, David Heckerman, and Christopher Meek. A Bayesian approach to learning Bayesian networks with local structure. In Proceedings of the Thirteenth Conference On Uncertainty in Artificial Intelligence (UAI-97), pages 80\u201389, Providence, RI, 1997. Morgan Kaufman Publishers."},{"key":"38_CR5","doi-asserted-by":"crossref","unstructured":"Joseph C. Culberson and Feng Luo. Exploring the k-colorable landscape with iterated greedy. In David S. Johnson and Michael A. Trick, editors, Dimacs Series in Discrete Mathematics and Theoretical Computer Science, Vol. 36, pages 245\u2013284, 1996.","DOI":"10.1090\/dimacs\/026\/13"},{"key":"38_CR6","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/0004-3702(94)90109-0","volume":"70","author":"I. Gent","year":"1993","unstructured":"I. Gent and T. Walsh. Easy Problems are Sometimes Hard. Artificial Intelligence, 70:335\u2013345, 1993.","journal-title":"Artificial Intelligence"},{"key":"38_CR7","unstructured":"Carla P. Gomes and Bart Selman. Problem Structure in the Presence of Perturbations. In Proceedings of the Fourteenth National Conference on Artificial Intelligence (AAAI-97), pages 221\u2013227, New Providence, RI, 1997. AAAI Press."},{"key":"38_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/BFb0017434","volume-title":"Principles and practice of Constraint Programming (CP97)","author":"C. P. Gomes","year":"1997","unstructured":"Carla P. Gomes, Bart Selman, and Nuno Crato. Heavy-tailed Distributions in Combinatorial Search. In Gert Smolka, editor, Principles and practice of Constraint Programming (CP97) Lecture Notes in Computer Science, pages 121\u2013135, Linz, Austria., 1997. Springer-Verlag."},{"issue":"1-2","key":"38_CR9","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1023\/A:1006314320276","volume":"24","author":"C. P. Gomes","year":"2000","unstructured":"Carla P. Gomes, Bart Selman, Nuno Crato, and Henry Kautz. Heavy-tailed phenomena in satisfiability and constraint satisfaction problems. J. of Automated Reasoning, 24(1-2):67\u2013100, 2000.","journal-title":"J. of Automated Reasoning"},{"key":"38_CR10","unstructured":"Carla P. Gomes, Bart Selman, and Henry Kautz. Boosting Combinatorial Search Through Randomization. In Proceedings of the Fifteenth National Conference on Artificial Intelligence (AAAI-98), pages 431\u2013438, New Providence, RI, 1998. AAAI Press."},{"key":"38_CR11","unstructured":"Carla P. Gomes, Bart Selman, and Henry A. Kautz. Boosting combinatorial search through randomization. In AAAI\/IAAI, pages 431\u2013437, 1998."},{"key":"38_CR12","unstructured":"Aaai-2000 workshop on leveraging probability and uncertainty in computation, 2000."},{"key":"38_CR13","doi-asserted-by":"crossref","unstructured":"T. Hogg, B. Huberman, and C. Williams (Eds.). Phase Transitions and Complexity (Special Issue). Artificial Intelligence, 81(1\u20132), 1996.","DOI":"10.1016\/0004-3702(95)00044-5"},{"key":"38_CR14","unstructured":"Eric Horvitz, Yongshao Ruan, Carla Gomes, Henry Kautz, Bart Selman, and Max Chickering. A Bayesian approach to tackling hard computational problems. In Proceedings the 17th Conference on Uncertainty in Artificial Intelligence (UAI-2001), pages 235\u2013244, Seattle, USA, 2001."},{"key":"38_CR15","unstructured":"R. A. Howard. Dynamic Programming and Markov Processes. MIT Press, 1960."},{"key":"38_CR16","unstructured":"H. Kautz and B. Selman. Pushing the envelope: planning, propositional logic, and stochastic search. In Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI-96), pages 1188\u20131194, Portland, OR, 1996. AAAI Press."},{"key":"38_CR17","unstructured":"Henry Kautz, Eric Horvitz, Yongshao Ruan, Bart Selman, and Carla Gomes. Dynamic randomized restarts: Optimal restart policies with observation. To appear in AAAI, 2002."},{"key":"38_CR18","doi-asserted-by":"crossref","unstructured":"Henry Kautz, Yongshao Ruan, D. Achlioptas, Carla P. Gomes, Bart Selman, and Mark Stickel. Balance and filtering in structured satisfiable problems. In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI-01), pages 351\u2013358, 2001.","DOI":"10.1016\/S1571-0653(04)00310-5"},{"key":"38_CR19","doi-asserted-by":"publisher","first-page":"1297","DOI":"10.1126\/science.264.5163.1297","volume":"264","author":"S. Kirkpatrick","year":"1994","unstructured":"S. Kirkpatrick and B. Selman. Critical behavior in the satisfiability of random Boolean expressions. Science, 264:1297\u20131301, 1994.","journal-title":"Science"},{"key":"38_CR20","unstructured":"Chu Min Li and Anbulagan. Heuristics based on unit propagation for satisfiability problems. In Proceedings of the International Joint Conference on Artificial Intelligence, pages 366\u2013371. AAAI Pess, 1997."},{"key":"38_CR21","doi-asserted-by":"crossref","unstructured":"M. Luby, A. Sinclair, and D. Zuckerman. Optimal speedup of las vegas algorithms. Information Process. Letters, pages 173\u2013180, 1993.","DOI":"10.1016\/0020-0190(93)90029-9"},{"key":"38_CR22","doi-asserted-by":"crossref","unstructured":"Matthew W. Moskewicz, Conor F. Madigan, Ying Zhao, Lintao Zhang, and Sharad Malik. Chaff: Engineering an efficient SAT solver. In Design Automation Conference, pages 530\u2013535, 2001.","DOI":"10.1145\/378239.379017"},{"key":"38_CR23","doi-asserted-by":"crossref","unstructured":"B. Selman, H. Kautz, and B. Cohen. Local search strategies for satisfiability testing. In D. Johnson and M. Trick, editors, Dimacs Series in Discrete Mathematics and Theoretical Computer Science, Vol. 26, pages 521\u2013532. AMS, 1993.","DOI":"10.1090\/dimacs\/026\/25"},{"key":"38_CR24","unstructured":"T. Walsh. Search in a Small World. In Proceedings of the International Joint Conference on Artificial Intelligence, pages 1172\u20131177, Stockholm, Sweden, 1999."}],"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_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,11]],"date-time":"2023-05-11T17:19:48Z","timestamp":1683825588000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46135-3_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441205","9783540461357"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-46135-3_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2002]]}}}