Richard E. Korf

Eric Huang, Richard E. Korf: Optimal Rectangle Packing: An Absolute Placement Approach. J. Artif. Intell. Res. (JAIR) 46: 47-87 (2013)

Joseph Kelly Barker, Richard E. Korf: Solving Peg Solitaire with Bidirectional BFIDA. AAAI 2012

Joseph Kelly Barker, Richard E. Korf: Solving Dots-And-Boxes. AAAI 2012

Richard E. Korf: Research Challenges in Combinatorial Search. AAAI 2012

Daniel Borrajo, Ariel Felner, Richard E. Korf, Maxim Likhachev, Carlos Linares López, Wheeler Ruml, Nathan R. Sturtevant (Eds.): Proceedings of the Fifth Annual Symposium on Combinatorial Search, SOCS 2012, Niagara Falls, Ontario, Canada, July 19-21, 2012. AAAI Press 2012

Joseph Kelly Barker, Richard E. Korf: Solving 4x5 Dots-And-Boxes. AAAI 2011

Eric Huang, Richard E. Korf: Optimal Packing of High-Precision Rectangles. AAAI 2011

Ethan L. Schreiber, Richard E. Korf: Using Partitions and Superstrings for Lossless Compression of Pattern Databases. AAAI 2011

Richard E. Korf: A Hybrid Recursive Multi-Way Number Partitioning Algorithm. IJCAI 2011: 591-596

Trevor Scott Standley, Richard E. Korf: Complete Algorithms for Cooperative Pathfinding Problems. IJCAI 2011: 668-673

Eric Huang, Richard E. Korf: Optimal Packing of High-Precision Rectangles. SOCS 2011

Ariel Felner, Sarit Hanan, Richard E. Korf: Additive Pattern Database Heuristics. CoRR abs/1107.0050 (2011)

Alex S. Fukunaga, Richard E. Korf: Bin Completion Algorithms for Multicontainer Packing, Knapsack, and Covering Problems. CoRR abs/1110.2209 (2011)

Richard E. Korf, Michael D. Moffitt, Martha E. Pollack: Optimal rectangle packing. Annals OR 179(1): 261-295 (2010)

Teresa Maria Breyer, Richard E. Korf: Independent Additive Heuristics Reduce Search Multiplicatively. AAAI 2010

Teresa Maria Breyer, Richard E. Korf: 1.6-Bit Pattern Databases. AAAI 2010

Eric Huang, Richard E. Korf: Optimal Rectangle Packing on Non-Square Benchmarks. AAAI 2010

Richard E. Korf: Objective Functions for Multi-Way Number Partitioning. SOCS 2010

P. Alex Dow, Richard E. Korf: Duplicate Avoidance in Depth-First Search with Applications to Treewidth. IJCAI 2009: 480-485

Eric Huang, Richard E. Korf: New Improvements in Optimal Rectangle Packing. IJCAI 2009: 511-516

Richard E. Korf: Multi-Way Number Partitioning. IJCAI 2009: 538-543

Richard E. Korf: Linear-time disk-based implicit graph search. J. ACM 55(6) (2008)

Richard E. Korf: Minimizing Disk I/O in Two-Bit Breadth-First Search. AAAI 2008: 317-324

P. Alex Dow, Richard E. Korf: Best-First Search with Maximum Edge Cost Functions. ISAIM 2008

Alex S. Fukunaga, Richard E. Korf: Bin Completion Algorithms for Multicontainer Packing, Knapsack, and Covering Problems. J. Artif. Intell. Res. (JAIR) 28: 393-429 (2007)

Ariel Felner, Richard E. Korf, Ram Meshulam, Robert C. Holte: Compressed Pattern Databases. J. Artif. Intell. Res. (JAIR) 30: 213-247 (2007)

P. Alex Dow, Richard E. Korf: Best-First Search for Treewidth. AAAI 2007: 1146-1151

Richard E. Korf: Analyzing the Performance of Pattern Database Heuristics. AAAI 2007: 1164-1170

Richard E. Korf, Ariel Felner: Recent Progress in Heuristic Search: A Case Study of the Four-Peg Towers of Hanoi Problem. IJCAI 2007: 2324-2329

Richard E. Korf, Weixiong Zhang, Ignacio Thayer, Heath Hohwald: Frontier search. J. ACM 52(5): 715-748 (2005)

Richard E. Korf, Peter Schultze: Large-Scale Parallel Breadth-First Search. AAAI 2005: 1380-1385

Alex S. Fukunaga, Richard E. Korf: Bin-Completion Algorithms for Multicontainer Packing and Covering Problems. IJCAI 2005: 117-124

Ariel Felner, Richard E. Korf, Sarit Hanan: Additive Pattern Database Heuristics. J. Artif. Intell. Res. (JAIR) 22: 279-318 (2004)

Ariel Felner, Ram Meshulam, Robert C. Holte, Richard E. Korf: Compressing Pattern Databases. AAAI 2004: 638-643

Richard E. Korf: Best-First Frontier Search with Delayed Duplicate Detection. AAAI 2004: 650-657

Richard E. Korf: Optimal Rectangle Packing: New Results. ICAPS 2004: 142-149

Ariel Felner, Sarit Kraus, Richard E. Korf: KBFS: K-Best-First Search. Ann. Math. Artif. Intell. 39(1-2): 19-39 (2003)

Richard E. Korf: Optimal Rectangle Packing: Initial Results. ICAPS 2003: 287-295

Heath Hohwald, Ignacio Thayer, Richard E. Korf: Comparing Best-First Search and Dynamic Programming for Optimal Multiple Sequence Alignment. IJCAI 2003: 1239-1245

Richard E. Korf: An Improved Algorithm for Optimal Bin Packing. IJCAI 2003: 1252-1258

Richard E. Korf: Delayed Duplicate Detection: Extended Abstract. IJCAI 2003: 1539-1541

Richard E. Korf, Ariel Felner: Disjoint pattern database heuristics. Artif. Intell. 134(1-2): 9-22 (2002)

Richard E. Korf: A New Algorithm for Optimal Bin Packing. AAAI/IAAI 2002: 731-736

Weixiong Zhang, Rina Dechter, Richard E. Korf: Heuristic search in artificial intelligence. Artif. Intell. 129(1-2): 1-4 (2001)

Richard E. Korf, Michael Reid, Stefan Edelkamp: Time complexity of iterative-deepening-A^*. Artif. Intell. 129(1-2): 199-218 (2001)

Nathan R. Sturtevant, Richard E. Korf: On Pruning Techniques for Multi-Player Games. AAAI/IAAI 2000: 201-207

Richard E. Korf, Weixiong Zhang: Divide-and-Conquer Frontier Search Applied to Optimal Sequence Alignment. AAAI/IAAI 2000: 910-916

Richard E. Korf: Recent Progress in the Design and Analysis of Admissible Heuristic Functions. AAAI/IAAI 2000: 1165-1170

Richard E. Korf: Recent Progress in the Design and Analysis of Admissible Heuristic Functions. SARA 2000: 45-55

Richard E. Korf: A Divide and Conquer Bidirectional Search: First Results. IJCAI 1999: 1184-1191

Richard E. Korf: A Complete Anytime Algorithm for Number Partitioning. Artif. Intell. 106(2): 181-203 (1998)

Stefan Edelkamp, Richard E. Korf: The Branching Factor of Regular Search Spaces. AAAI/IAAI 1998: 299-304

Richard E. Korf, Michael Reid: Complexity Analysis of Admissible Heuristic Search. AAAI/IAAI 1998: 305-310

Richard E. Korf: Does Deep Blue use AI? Deep Blue Versus Kasparov: The Significance for Artificial Intelligence 1997: 1-2

Richard E. Korf: Finding Optimal Solutions to Rubik's Cube Using Pattern Databases. AAAI/IAAI 1997: 700-705

Weixiong Zhang, Richard E. Korf: A Study of Complexity Transitions on the Asymmetric Traveling Salesman Problem. Artif. Intell. 81(1-2): 223-239 (1996)

Richard E. Korf, David Maxwell Chickering: Best-First Minimax Search. Artif. Intell. 84(1-2): 299-337 (1996)

Richard E. Korf: Improved Limited Discrepancy Search. AAAI/IAAI, Vol. 1 1996: 286-291

Richard E. Korf, Larry A. Taylor: Finding Optimal Solutions to the Twenty-Four Puzzle. AAAI/IAAI, Vol. 2 1996: 1202-1207

Weixiong Zhang, Richard E. Korf: Performance of Linear-Space Search Algorithms. Artif. Intell. 79(2): 241-292 (1995)

Richard E. Korf: Space-Efficient Search Algorithms. ACM Comput. Surv. 27(3): 337-339 (1995)

Toru Ishida, Richard E. Korf: Moving-Target Search: A Real-Time Search for Changing Goals. IEEE Trans. Pattern Anal. Mach. Intell. 17(6): 609-619 (1995)

Richard E. Korf: From Approximate to Optimal Solutions: A Case Study of Number Partitioning. IJCAI 1995: 266-272

Weixiong Zhang, Richard E. Korf: Parallel Heap Operations on an EREW PRAM. J. Parallel Distrib. Comput. 20(2): 248-255 (1994)

Richard E. Korf, David Maxwell Chickering: Best-First Minimax Search: Othello Results. AAAI 1994: 1365-1370

Joseph C. Pemberton, Richard E. Korf: Incremental Search Algorithms for Real-time Decision Making. AIPS 1994: 140-145

Barbara Hayes-Roth, Richard E. Korf (Eds.): Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31 - August 4, 1994, Volume 1. AAAI Press / The MIT Press 1994, isbn 0-262-61102-3

Barbara Hayes-Roth, Richard E. Korf (Eds.): Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31 - August 4, 1994, Volume 2. AAAI Press / The MIT Press 1994, isbn 0-262-61102-3

Curt Powley, Chris Ferguson, Richard E. Korf: Depth-First Heuristic Search on a SIMD Machine. Artif. Intell. 60(2): 199-242 (1993)

Richard E. Korf: Linear-Space Best-First Search. Artif. Intell. 62(1): 41-78 (1993)

Benjamin W. Wah, Thomas S. Huang, Aravind K. Joshi, Dan I. Moldovan, Yiannis Aloimonos, Ruzena Bajcsy, Dana H. Ballard, Doug DeGroot, Kenneth DeJong, Charles R. Dyer, Scott E. Fahlman, Ralph Grishman, Lynette Hirschman, Richard E. Korf, Stephen E. Levinson, Daniel P. Miranker, N. H. Morgan, Sergei Nirenburg, Tomaso Poggio, Edward M. Riseman, Craig Stanfil, Salvatore J. Stolfo, Steven L. Tanimoto, Charles C. Weems: Report on Workshop on High Performance Computing and Communications for Grand Challenge Applications: Computer Vision, Speech and Natural Language Processing, and Artificial Intelligence. IEEE Trans. Knowl. Data Eng. 5(1): 138-154 (1993)

Larry A. Taylor, Richard E. Korf: Pruning Duplicate Nodes in Depth-First Search. AAAI 1993: 756-761

Weixiong Zhang, Richard E. Korf: Depth-First vs. Best-First Search: New Results. AAAI 1993: 769-775

Richard E. Korf: Linear-Space Best-First Search: Summary of Results. AAAI 1992: 533-538

Weixiong Zhang, Richard E. Korf: An Average-Case Analysis of Branch-and-Bound with Applications: Summary of Results. AAAI 1992: 545-550

Weixiong Zhang, Richard E. Korf: Parallel Heap Operations on EREW PRAM: Summary of Results. IPPS 1992: 315-318

Richard E. Korf: Multi-Player Alpha-Beta Pruning. Artif. Intell. 48(1): 99-111 (1991)

Richard E. Korf: Artificial Intelligence as information science. Inf. Sci. 57-58: 131-134 (1991)

Curt Powley, Richard E. Korf: Single-Agent Parallel Window Search. IEEE Trans. Pattern Anal. Mach. Intell. 13(5): 466-477 (1991)

Nageshwara Rao Vempaty, Vipin Kumar, Richard E. Korf: Depth-First Versus Best-First Search. AAAI 1991: 434-440

Toru Ishida, Richard E. Korf: Moving Target Search. IJCAI 1991: 204-211

Curt Powley, Chris Ferguson, Richard E. Korf: Parallel tree search on a SIMD machine. SPDP 1991: 249-256

Richard E. Korf: Real-Time Heuristic Search. Artif. Intell. 42(2-3): 189-211 (1990)

Richard E. Korf: Depth-Limited Search for Real-Time Problem Solving. Real-Time Systems 2(1-2): 7-24 (1990)

Curt Powley, Richard E. Korf: Single-Agent Parallel Window Search: A Summary of Results. IJCAI 1989: 36-41

Richard E. Korf: Generalized Game Trees. IJCAI 1989: 328-333

Chris Ferguson, Richard E. Korf: Distributed Tree Search and Its Application to Alpha-Beta Pruning. AAAI 1988: 128-132

Richard E. Korf: Real-Tme Heuristic Search: New Results. AAAI 1988: 139-144

Richard E. Korf: Planning as Search: A Quantitative Approach. Artif. Intell. 33(1): 65-88 (1987)

Bruce Abramson, Richard E. Korf: A Model of Two-Player Evaluation Functions. AAAI 1987: 90-94

Richard E. Korf: Real-Time Heuristic Search: First Results. AAAI 1987: 133-138

Jens Christensen, Richard E. Korf: A Unified Theory of Heuristic Evaluation Functions and its Application to Learning. AAAI 1986: 148-152

Richard E. Korf: Macro-Operators: A Weak Method for Learning. Artif. Intell. 26(1): 35-77 (1985)

Richard E. Korf: Depth-First Iterative-Deepening: An Optimal Admissible Tree Search. Artif. Intell. 27(1): 97-109 (1985)

Richard E. Korf: Iterative-Deepening-A*: An Optimal Admissible Tree Search. IJCAI 1985: 1034-1036

Richard E. Korf: Operator Decomposability: A New Type of Problem Structure. AAAI 1983: 206-209

Richard E. Korf: A Program That Learns to Solve Rubik's Cube. AAAI 1982: 164-167

Richard E. Korf: Inversion of Applicative Programs. IJCAI 1981: 1007-1009

Richard E. Korf: Toward a Model of Representation Changes. Artif. Intell. 14(1): 41-78 (1980)