乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:58:11Z","timestamp":1725494291992},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540755951"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75596-8_39","type":"book-chapter","created":{"date-parts":[[2007,11,3]],"date-time":"2007-11-03T14:03:37Z","timestamp":1194098617000},"page":"543-552","source":"Crossref","is-referenced-by-count":6,"title":["Pruning State Spaces with Extended Beam Search"],"prefix":"10.1007","author":[{"given":"Mohammad","family":"Torabi Dashti","sequence":"first","affiliation":[]},{"given":"Anton J.","family":"Wijs","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"39_CR1","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1145\/1059816.1059823","volume":"32","author":"G. Behrmann","year":"2005","unstructured":"Behrmann, G., Larsen, K., Rasmussen, J.: Optimal scheduling using priced timed automata. SIGMETRICS Perform. Eval. Rev.\u00a032(4), 34\u201340 (2005)","journal-title":"SIGMETRICS Perform. Eval. Rev."},{"key":"39_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1007\/3-540-44585-4_23","volume-title":"CAV 2001","author":"S. Blom","year":"2001","unstructured":"Blom, S., Fokkink, W., Groote, J., van Langevelde, I., Lisser, B., van de Pol, J.: \u03bcCRL: A toolset for analysing algebraic specifications. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol.\u00a02102, pp. 250\u2013254. Springer, Heidelberg (2001)"},{"issue":"2","key":"39_CR3","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/s10009-002-0104-3","volume":"5","author":"S. Edelkamp","year":"2004","unstructured":"Edelkamp, S., Leue, S., Lluch-Lafuente, A.: Directed explicit-state model checking in the validation of communication protocols. STTT\u00a05(2), 247\u2013267 (2004)","journal-title":"STTT"},{"key":"39_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/3-540-45139-0_5","volume-title":"SPIN 2001","author":"S. Edelkamp","year":"2001","unstructured":"Edelkamp, S., Lluch-Lafuente, A., Leue, S.: Directed explicit model checking with HSF-SPIN. In: Dwyer, M.B. (ed.) SPIN 2001. LNCS, vol.\u00a02057, pp. 57\u201379. Springer, Heidelberg (2001)"},{"key":"39_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1007\/3-540-46002-0_19","volume-title":"TACAS 2002","author":"P. Godefroid","year":"2002","unstructured":"Godefroid, P., Khurshid, S.: Exploring very large state spaces using genetic algorithms. In: Katoen, J.-P., Stevens, P. (eds.) ETAPS 2002 and TACAS 2002. LNCS, vol.\u00a02280, pp. 266\u2013280. Springer, Heidelberg (2002)"},{"issue":"4","key":"39_CR6","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/s10009-003-0130-9","volume":"6","author":"A. Groce","year":"2004","unstructured":"Groce, A., Visser, W.: Heuristics for model checking Java programs. STTT\u00a06(4), 260\u2013276 (2004)","journal-title":"STTT"},{"key":"39_CR7","doi-asserted-by":"publisher","first-page":"2203","DOI":"10.1109\/WSC.2005.1574507","volume-title":"Proc. 2005 Winter Simulation Conference","author":"S. Oechsner","year":"2005","unstructured":"Oechsner, S., Rose, O.: Scheduling cluster tools using filtered beam search and recipe comparison. In: Proc. 2005 Winter Simulation Conference, pp. 2203\u20132210. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"39_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/BFb0028727","volume-title":"CAV 1998","author":"D. Peled","year":"1998","unstructured":"Peled, D.: Ten years of partial order reduction. In: Vardi, M.Y. (ed.) CAV 1998. LNCS, vol.\u00a01427, pp. 17\u201328. Springer, Heidelberg (1998)"},{"key":"39_CR9","volume-title":"Scheduling: Theory, algorithms, and systems","author":"M. Pinedo","year":"1995","unstructured":"Pinedo, M.: Scheduling: Theory, algorithms, and systems. Prentice-Hall, Englewood Cliffs (1995)"},{"key":"39_CR10","volume-title":"Artificial intelligence: A modern approach","author":"S. Russell","year":"1995","unstructured":"Russell, S., Norvig, P.: Artificial intelligence: A modern approach. Prentice-Hall, Englewood Cliffs (1995)"},{"key":"39_CR11","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"SPIN 2003","author":"T. Ruys","year":"2003","unstructured":"Ruys, T.: Optimal scheduling using Branch-and-Bound with SPIN 4.0. In: Ball, T., Rajamani, S.K. (eds.) SPIN 2003. LNCS, vol.\u00a02648, pp. 1\u201317. Springer, Heidelberg (2003)"},{"key":"39_CR12","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1080\/00207548808947840","volume":"26","author":"P. Si Ow","year":"1988","unstructured":"Si Ow, P., Morton, E.: Filtered beam search in scheduling. Intl. J. Production Res.\u00a026, 35\u201362 (1988)","journal-title":"Intl. J. Production Res."},{"key":"39_CR13","unstructured":"Dashti, M.T., Wijs, A.J.: Pruning state spaces with extended beam search. Technical Report SEN-R0610, CWI (2006), \n \n ftp.cwi.nl\/CWIreports\/SEN\/SEN-R0610.pdf\n \n \n ."},{"issue":"2","key":"39_CR14","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1016\/j.cie.2005.01.020","volume":"48","author":"J. Valente","year":"2005","unstructured":"Valente, J., Alves, R.: Filtered and recovering beam search algorithms for the early\/tardy scheduling problem with no idle time. Comput. Ind. Eng.\u00a048(2), 363\u2013375 (2005)","journal-title":"Comput. Ind. Eng."},{"key":"39_CR15","unstructured":"Weber, S.: Design of Real-Time supervisory control systems. PhD thesis, TU\/e (2003)"},{"key":"39_CR16","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1145\/1081180.1081188","volume-title":"Proc. FMICS 2005","author":"A. Wijs","year":"2005","unstructured":"Wijs, A., van de Pol, J., Bortnik, E.: Solving scheduling problems by untimed model checking. In: Proc. FMICS 2005, pp. 54\u201361. ACM Press, New York (2005)"},{"key":"39_CR17","series-title":"LNCS (LNAI)","first-page":"165","volume-title":"MoChArt 2006","author":"A.J. Wijs","year":"2007","unstructured":"Wijs, A.J., Lisser, B.: Distributed extended beam search for quantitative model checking. In: MoChArt 2006. LNCS (LNAI), vol.\u00a04428, pp. 165\u2013182. Springer, Heidelberg (2007)"},{"key":"39_CR18","unstructured":"Zhou, R., Hansen, E.: Beam-stack search: Integrating backtracking with beam search. In: Proc. ICAPS 2005, pp. 90\u201398. AAAI (2005)"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75596-8_39.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:25:30Z","timestamp":1619519130000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75596-8_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540755951"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75596-8_39","relation":{},"subject":[]}}