Korf, Richard E.

66 publications

AAAI 2022 A*+BFHS: A Hybrid Heuristic Search Algorithm Zhaoxing Bu, Richard E. Korf

IJCAI 2019 A*+IDA*: A Simple Hybrid Search Algorithm Zhaoxing Bu, Richard E. Korf

IJCAI 2016 Comparing Search Algorithms Using Sorting and Hashing on Disk and in Memory Richard E. Korf

AAAI 2015 Limitations of Front-to-End Bidirectional Heuristic Search Joseph Kelly Barker, Richard E. Korf

AAAI 2014 Cached Iterative Weakening for Optimal Multi-Way Number Partitioning Ethan L. Schreiber, Richard E. Korf

IJCAI 2013 Improved Bin Completion for Optimal Bin Packing and Number Partitioning Ethan L. Schreiber, Richard E. Korf

JAIR 2013 Optimal Rectangle Packing: An Absolute Placement Approach Eric Huang, Richard E. Korf

AAAI 2012 Research Challenges in Combinatorial Search Richard E. Korf

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

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

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

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

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

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

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

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

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

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

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

IJCAI 2009 Multi-Way Number Partitioning Richard E. Korf

IJCAI 2009 New Improvements in Optimal Rectangle Packing Eric Huang, Richard E. Korf

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

AAAI 2007 Analyzing the Performance of Pattern Database Heuristics Richard E. Korf

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

JAIR 2007 Bin Completion Algorithms for Multicontainer Packing, Knapsack, and Covering Problems Alex S. Fukunaga, Richard E. Korf

JAIR 2007 Compressed Pattern Databases Ariel Felner, Richard E. Korf, Ram Meshulam, Robert C. Holte

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

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

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

JAIR 2004 Additive Pattern Database Heuristics Ariel Felner, Richard E. Korf, Sarit Hanan

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

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

IJCAI 2003 An Improved Algorithm for Optimal Bin Packing Richard E. Korf

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

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

AAAI 2002 A New Algorithm for Optimal Bin Packing Richard E. Korf

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

AAAI 2000 On Pruning Techniques for Multi-Player Games Nathan R. Sturtevant, Richard E. Korf

AAAI 2000 Recent Progress in the Design and Analysis of Admissible Heuristic Functions Richard E. Korf

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

AAAI 1998 Complexity Analysis of Admissible Heuristic Search Richard E. Korf, Michael Reid

AAAI 1998 The Branching Factor of Regular Search Spaces Stefan Edelkamp, Richard E. Korf

AAAI 1997 Finding Optimal Solutions to Rubik's Cube Using Pattern Databases Richard E. Korf

AAAI 1996 Finding Optimal Solutions to the Twenty-Four Puzzle Richard E. Korf, Larry A. Taylor

AAAI 1996 Improved Limited Discrepancy Search Richard E. Korf

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

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

AAAI 1994 Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31 - August 4, 1994, Volume 1 Barbara Hayes-Roth, Richard E. Korf

AAAI 1994 Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31 - August 4, 1994, Volume 2 Barbara Hayes-Roth, Richard E. Korf

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

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

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

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

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

IJCAI 1991 Moving Target Search Toru Ishida, Richard E. Korf

IJCAI 1989 Generalized Game Trees Richard E. Korf

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

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

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

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

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

AAAI 1986 A Unified Theory of Heuristic Evaluation Functions and Its Application to Learning Jens Christensen, Richard E. Korf

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

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

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

IJCAI 1981 Inversion of Applicative Programs Richard E. Korf