Korf, Richard E. A jeep crossing a desert of unknown width. (English) Zbl 1487.00012 Am. Math. Mon. 129, No. 5, 435-444 (2022). MSC: 00A08 90B06 68W40 PDFBibTeX XMLCite \textit{R. E. Korf}, Am. Math. Mon. 129, No. 5, 435--444 (2022; Zbl 1487.00012) Full Text: DOI
Schreiber, Ethan L.; Korf, Richard E.; Moffitt, Michael D. Optimal multi-way number partitioning. (English) Zbl 1426.68313 J. ACM 65, No. 4, Article No. 24, 61 p. (2018). MSC: 68W40 90B35 90C27 PDFBibTeX XMLCite \textit{E. L. Schreiber} et al., J. ACM 65, No. 4, Article No. 24, 61 p. (2018; Zbl 1426.68313) Full Text: DOI
Borrajo, Daniel (ed.); Felner, Ariel (ed.); Korf, Richard (ed.); Likhachev, Maxim (ed.); Linares López, Carlos (ed.); Ruml, Wheeler (ed.); Sturtevant, Nathan (ed.) The fifth annual symposium on combinatorial search. (English) Zbl 1338.68005 AI Commun. 27, No. 4, 327-328 (2014). MSC: 68-06 68T20 00B25 PDFBibTeX XMLCite \textit{D. Borrajo} (ed.) et al., AI Commun. 27, No. 4, 327--328 (2014; Zbl 1338.68005) Full Text: DOI
Huang, Eric; Korf, Richard E. Optimal rectangle packing: an absolute placement approach. (English) Zbl 1261.68092 J. Artif. Intell. Res. (JAIR) 46, 47-87 (2013). MSC: 68R05 90C27 68U05 PDFBibTeX XMLCite \textit{E. Huang} and \textit{R. E. Korf}, J. Artif. Intell. Res. (JAIR) 46, 47--87 (2013; Zbl 1261.68092) Full Text: DOI arXiv
Korf, Richard E. Space complexity of combinatorial search. (English) Zbl 1216.68084 Dechter, Rina (ed.) et al., Heuristics, probability and causality. A tribute to Judea Pearl. London: College Publications (ISBN 978-1-90497-66-6/hbk; 978-1-904987-65-9/pbk). Tributes 11, 53-62 (2010). MSC: 68P10 68Q15 68Q17 PDFBibTeX XMLCite \textit{R. E. Korf}, Tributes 11, 53--62 (2010; Zbl 1216.68084)
Korf, Richard E.; Moffitt, Michael D.; Pollack, Martha E. Optimal rectangle packing. (English) Zbl 1201.90172 Ann. Oper. Res. 179, 261-295 (2010). MSC: 90C27 PDFBibTeX XMLCite \textit{R. E. Korf} et al., Ann. Oper. Res. 179, 261--295 (2010; Zbl 1201.90172) Full Text: DOI
Korf, Richard E. Linear-time disk-based implicit graph search. (English) Zbl 1325.68218 J. ACM 55, No. 6, Article No. 26, 40 p. (2008). MSC: 68T20 05C85 PDFBibTeX XMLCite \textit{R. E. Korf}, J. ACM 55, No. 6, Article No. 26, 40 p. (2008; Zbl 1325.68218) Full Text: DOI
Felner, A.; Korf, R. E.; Meshulam, R.; Holte, R. C. Compressed pattern databases. (English) Zbl 1182.68071 J. Artif. Intell. Res. (JAIR) 30, 213-247 (2007). MSC: 68P15 PDFBibTeX XMLCite \textit{A. Felner} et al., J. Artif. Intell. Res. (JAIR) 30, 213--247 (2007; Zbl 1182.68071)
Fukunaga, A. S.; Korf, R. E. Bin completion algorithms for multicontainer packing, Knapsack, and covering problems. (English) Zbl 1172.90475 J. Artif. Intell. Res. (JAIR) 28, 393-429 (2007). MSC: 90C27 68W05 68M20 PDFBibTeX XMLCite \textit{A. S. Fukunaga} and \textit{R. E. Korf}, J. Artif. Intell. Res. (JAIR) 28, 393--429 (2007; Zbl 1172.90475) Full Text: arXiv
Korf, Richard E.; Zhang, Weixiong; Thayer, Ignacio; Hohwald, Heath Frontier search. (English) Zbl 1323.68466 J. ACM 52, No. 5, 715-748 (2005). MSC: 68T20 PDFBibTeX XMLCite \textit{R. E. Korf} et al., J. ACM 52, No. 5, 715--748 (2005; Zbl 1323.68466) Full Text: DOI
Felner, Ariel; Korf, Richard E.; Hanan, Sarit Additive pattern database heuristics. (English) Zbl 1080.68662 J. Artif. Intell. Res. (JAIR) 22, 279-318 (2004). MSC: 68T20 PDFBibTeX XMLCite \textit{A. Felner} et al., J. Artif. Intell. Res. (JAIR) 22, 279--318 (2004; Zbl 1080.68662) Full Text: arXiv
Felner, Ariel; Kraus, Sarit; Korf, Richard E. KBFS: K-Best-First Search. (English) Zbl 1045.68046 Ann. Math. Artif. Intell. 39, No. 1-2, 19-39 (2003). MSC: 68P10 PDFBibTeX XMLCite \textit{A. Felner} et al., Ann. Math. Artif. Intell. 39, No. 1--2, 19--39 (2003; Zbl 1045.68046) Full Text: DOI
Korf, Richard E.; Felner, Ariel Disjoint pattern database heuristics. (English) Zbl 1050.68034 Schaeffer, Jonathan (ed.) et al., Chips challenging champions. Games, computers and artificial intelligence. Amsterdam: Elsevier (ISBN 0-444-50949-6). 13-26 (2002). MSC: 68P15 68T20 68P10 90C59 PDFBibTeX XMLCite \textit{R. E. Korf} and \textit{A. Felner}, in: Chips challenging champions. Games, computers and artificial intelligence. Amsterdam: Elsevier. 13--26 (2002; Zbl 1050.68034)
Korf, Richard E.; Felner, Ariel Disjoint pattern database heuristics. (English) Zbl 0992.68190 Artif. Intell. 134, No. 1-2, 9-22 (2002). MSC: 68T20 68P15 PDFBibTeX XMLCite \textit{R. E. Korf} and \textit{A. Felner}, Artif. Intell. 134, No. 1--2, 9--22 (2002; Zbl 0992.68190) Full Text: DOI
Korf, Lisa A.; Wets, Roger J.-B. Random-lsc functions: an ergodic theorem. (English) Zbl 1082.90552 Math. Oper. Res. 26, No. 2, 421-445 (2001). MSC: 90C15 62L20 PDFBibTeX XMLCite \textit{L. A. Korf} and \textit{R. J. B. Wets}, Math. Oper. Res. 26, No. 2, 421--445 (2001; Zbl 1082.90552) Full Text: DOI Link
Zhang, W.; Dechter, R.; Korf, R. E. Heuristic search in artificial intelligence. (English) Zbl 1005.68514 Artif. Intell. 129, No. 1-2, 1-4 (2001). MSC: 68P10 68T01 PDFBibTeX XMLCite \textit{W. Zhang} et al., Artif. Intell. 129, No. 1--2, 1--4 (2001; Zbl 1005.68514) Full Text: DOI
Korf, R. E.; Reid, M.; Edelkamp, S. Time complexity of iterative-deepening-\(A^{*}\). (English) Zbl 0971.68147 Artif. Intell. 129, No. 1-2, 199-218 (2001). MSC: 68T20 68Q25 PDFBibTeX XMLCite \textit{R. E. Korf} et al., Artif. Intell. 129, No. 1--2, 199--218 (2001; Zbl 0971.68147) Full Text: DOI
Korf, Richard E. Recent progress in the design and analysis of admissible heuristic functions. (English) Zbl 0989.68558 Choueiry, Berthe Y. (ed.) et al., Abstraction, reformulation, and approximation. 4th international symposium, SARA 2000, Horseshoe Bay, TX, USA, July 26-29, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1864, 45-55 (2000). MSC: 68U99 68T20 PDFBibTeX XMLCite \textit{R. E. Korf}, Lect. Notes Comput. Sci. 1864, 45--55 (2000; Zbl 0989.68558)
Korf, Lisa A.; Wets, Roger J.-B. An ergodic theorem for stochastic programming problems. (English) Zbl 0973.90053 Nguyen, Van Hien (ed.) et al., Optimization. Proceedings of the 9th Belgian-French-German conference, Namur, Belgium, September 7-11, 1998. Berlin: Springer. Lect. Notes Econ. Math. Syst. 481, 203-217 (2000). MSC: 90C15 PDFBibTeX XMLCite \textit{L. A. Korf} and \textit{R. J. B. Wets}, Lect. Notes Econ. Math. Syst. 481, 203--217 (2000; Zbl 0973.90053)
Korf, Richard E. A complete anytime algorithm for number partitioning. (English) Zbl 0910.68084 Artif. Intell. 106, No. 2, 181-203 (1998). MSC: 68W10 PDFBibTeX XMLCite \textit{R. E. Korf}, Artif. Intell. 106, No. 2, 181--203 (1998; Zbl 0910.68084) Full Text: DOI
Korf, Richard E.; Chickering, David Maxwell Best-first minimax search. (English) Zbl 1506.68126 Artif. Intell. 84, No. 1-2, 299-337 (1996). MSC: 68T20 PDFBibTeX XMLCite \textit{R. E. Korf} and \textit{D. M. Chickering}, Artif. Intell. 84, No. 1--2, 299--337 (1996; Zbl 1506.68126) Full Text: DOI
Zhang, Weixiong; Korf, Richard E. A study of complexity transitions on the asymmetric traveling salesman problem. (English) Zbl 1508.68354 Artif. Intell. 81, No. 1-2, 223-239 (1996). MSC: 68T20 68Q25 90C27 PDFBibTeX XMLCite \textit{W. Zhang} and \textit{R. E. Korf}, Artif. Intell. 81, No. 1--2, 223--239 (1996; Zbl 1508.68354) Full Text: DOI
Zhang, Weixiong; Korf, Richard E. Performance of linear-space search algorithms. (English) Zbl 1508.68353 Artif. Intell. 79, No. 2, 241-292 (1995). MSC: 68T20 68Q25 90C27 PDFBibTeX XMLCite \textit{W. Zhang} and \textit{R. E. Korf}, Artif. Intell. 79, No. 2, 241--292 (1995; Zbl 1508.68353) Full Text: DOI
Zhang, Weixiong; Korf, Richard E. Performance of linear-space search algorithms. (English) Zbl 1013.68502 Artif. Intell. 79, No. 2, 241-292 (1995). MSC: 68Q25 68T20 90C27 PDFBibTeX XMLCite \textit{W. Zhang} and \textit{R. E. Korf}, Artif. Intell. 79, No. 2, 241--292 (1995; Zbl 1013.68502) Full Text: DOI
Zhang, Weixiong; Korf, Richard E. Parallel heap operations on an EREW PRAM. (English) Zbl 0805.68054 J. Parallel Distrib. Comput. 20, No. 2, 248-255 (1994). MSC: 68W15 68Q10 68P05 68Q25 PDFBibTeX XMLCite \textit{W. Zhang} and \textit{R. E. Korf}, J. Parallel Distrib. Comput. 20, No. 2, 248--255 (1994; Zbl 0805.68054) Full Text: DOI
Korf, Richard E. Linear-space best-first search. (English) Zbl 0778.68079 Artif. Intell. 62, No. 1, 41-78 (1993). Reviewer: Richard E.Korf MSC: 68T20 68Q25 PDFBibTeX XMLCite \textit{R. E. Korf}, Artif. Intell. 62, No. 1, 41--78 (1993; Zbl 0778.68079) Full Text: DOI
Ishida, Toru; Korf, Richard E. Moving target search. (English) Zbl 0745.68105 Artificial intelligence, IJCAI-91, Proc. 12th Int. Conf., Sydney/Australia 1991, 204-210 (1991). Reviewer: N.Curteanu (Iaşi) MSC: 68T20 PDFBibTeX XMLCite \textit{T. Ishida} and \textit{R. E. Korf}, in: IJCAI 91, Proceedings of the 12th International Conference on Artificial Intelligence. Sydney, Australia, 24-30 August 1991. Vol. 1-2. San Mateo, CA: Morgan Kaufmann Publ.. 204--210 (1991; Zbl 0745.68105)
Korf, Richard E. Multi-player alpha-beta pruning. (English) Zbl 0716.90105 Artif. Intell. 48, No. 1, 99-111 (1991). MSC: 91A06 68P10 90-08 68Q25 68W10 PDFBibTeX XMLCite \textit{R. E. Korf}, Artif. Intell. 48, No. 1, 99--111 (1991; Zbl 0716.90105) Full Text: DOI
Korf, Richard E. Real-time heuristic search. (English) Zbl 0718.68082 Artif. Intell. 42, No. 2-3, 189-211 (1990). MSC: 68T20 68T05 91A40 PDFBibTeX XMLCite \textit{R. E. Korf}, Artif. Intell. 42, No. 2--3, 189--211 (1990; Zbl 0718.68082) Full Text: DOI
Korf, Richard E. Generalized game trees. (English) Zbl 0707.68083 IJCAI 89, Proc. Int. Conf., Detroit, MI/USA 1989, 328-333 (1989). Reviewer: N.Curteanu MSC: 68T30 91A40 PDFBibTeX XML
Powley, Curt; Korf, Richard E. Single-agent parallel window search: A summary of results. (English) Zbl 0707.68076 IJCAI 89, Proc. Int. Conf., Detroit, MI/USA 1989, 36-41 (1989). Reviewer: N.Curteanu MSC: 68T20 68P10 68W15 68Q10 PDFBibTeX XML
Korf, Richard E. Learning to solve problems by searching for macro-operators. (English) Zbl 0658.68112 Research Notes in Artificial Intelligence, 5. Boston-London-Melbourne: Pitman Advanced Publishing Program. VII, 147 p.; £15.95 (1985). Reviewer: L.Şerbănaţi MSC: 68T20 68T05 PDFBibTeX XML
Korf, Richard E. Depth-first iterative-deepening: An optimal admissible tree search. (English) Zbl 0573.68030 Artif. Intell. 27, 97-109 (1985). MSC: 68P10 68T99 68Q25 PDFBibTeX XMLCite \textit{R. E. Korf}, Artif. Intell. 27, 97--109 (1985; Zbl 0573.68030) Full Text: DOI
Korf, Richard E. Macro-operators: A weak method for learning. (English) Zbl 0562.68071 Artif. Intell. 26, 35-77 (1985). Reviewer: V.Calmatuianu MSC: 68T05 68T20 PDFBibTeX XMLCite \textit{R. E. Korf}, Artif. Intell. 26, 35--77 (1985; Zbl 0562.68071) Full Text: DOI DOI