Richard E. Korf

Publication Activity (10 Years)

Years Active: 1980-2022
Publications (10 Years): 9

Top Venues

SOCS

AAAI

IJCAI

CoRR

Publications

Richard E. Korf
A Jeep Crossing a Desert of Unknown Width. Am. Math. Mon. 129 (5) (2022)
Zhaoxing Bu, Richard E. Korf
A*+BFHS: A Hybrid Heuristic Search Algorithm. AAAI (2022)
Zhaoxing Bu, Richard E. Korf
Iterative-Deepening Uniform-Cost Heuristic Search. SOCS (2022)
Richard E. Korf
A Jeep Crossing a Desert of Unknown Width (Extended Abstract). SOCS (2022)
Zhaoxing Bu, Richard E. Korf
A*+BFHS: A Hybrid Heuristic Search Algorithm. CoRR (2021)
Richard E. Korf
Finding the Exact Diameter of a Graph with Partial Breadth-First Searches. SOCS (2021)
Zhaoxing Bu, Richard E. Korf
A*+IDA*: A Simple Hybrid Search Algorithm. IJCAI (2019)
Ethan L. Schreiber, Richard E. Korf, Michael D. Moffitt
Optimal Multi-Way Number Partitioning. J. ACM 65 (4) (2018)
Richard E. Korf
Comparing Search Algorithms Using Sorting and Hashing on Disk and in Memory. IJCAI (2016)
Joseph Kelly Barker, Richard E. Korf
Limitations of Front-To-End Bidirectional Heuristic Search. AAAI (2015)
Daniel Borrajo, Ariel Felner, Richard E. Korf, Maxim Likhachev, Carlos Linares López, Wheeler Ruml, Nathan R. Sturtevant
The Fifth Annual Symposium on Combinatorial Search. AI Commun. 27 (4) (2014)
Richard E. Korf, Ethan L. Schreiber, Michael D. Moffitt
Optimal Sequential Multi-Way Number Partitioning. ISAIM (2014)
Ethan L. Schreiber, Richard E. Korf
Cached Iterative Weakening for Optimal Multi-Way Number Partitioning. AAAI (2014)
Richard E. Korf
How Do You Know Your Search Algorithm and Code Are Correct? SOCS (2014)
Eric Huang, Richard E. Korf
Optimal Rectangle Packing: An Absolute Placement Approach. CoRR (2014)
Ethan L. Schreiber, Richard E. Korf
Improved Bin Completion for Optimal Bin Packing and Number Partitioning. IJCAI (2013)
Eric Huang, Richard E. Korf
Optimal Rectangle Packing: An Absolute Placement Approach. J. Artif. Intell. Res. 46 (2013)
Richard E. Korf, Ethan L. Schreiber
Optimally Scheduling Small Numbers of Identical Parallel Machines. ICAPS (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)
Ariel Felner, Sarit Hanan, Richard E. Korf
Additive Pattern Database Heuristics CoRR (2011)
Richard E. Korf
A Hybrid Recursive Multi-Way Number Partitioning Algorithm. IJCAI (2011)
Trevor Scott Standley, Richard E. Korf
Complete Algorithms for Cooperative Pathfinding Problems. IJCAI (2011)
Eric Huang, Richard E. Korf
Optimal Packing of High-Precision Rectangles. AAAI (2011)
Joseph Kelly Barker, Richard E. Korf
Solving 4x5 Dots-And-Boxes. AAAI (2011)
Alex S. Fukunaga, Richard E. Korf
Bin Completion Algorithms for Multicontainer Packing, Knapsack, and Covering Problems CoRR (2011)
Ethan L. Schreiber, Richard E. Korf
Using Partitions and Superstrings for Lossless Compression of Pattern Databases. AAAI (2011)
Eric Huang, Richard E. Korf
Optimal Packing of High-Precision Rectangles. SOCS (2011)
Richard E. Korf
Objective Functions for Multi-Way Number Partitioning. SOCS (2010)
Richard E. Korf, Michael D. Moffitt, Martha E. Pollack
Optimal rectangle packing. Ann. Oper. Res. 179 (1) (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)
P. Alex Dow, Richard E. Korf
Duplicate Avoidance in Depth-First Search with Applications to Treewidth. IJCAI (2009)
Richard E. Korf
Multi-Way Number Partitioning. IJCAI (2009)
Eric Huang, Richard E. Korf
New Improvements in Optimal Rectangle Packing. IJCAI (2009)
P. Alex Dow, Richard E. Korf
Best-First Search with Maximum Edge Cost Functions. ISAIM (2008)
Richard E. Korf
Minimizing Disk I/O in Two-Bit Breadth-First Search. AAAI (2008)
Richard E. Korf
Linear-time disk-based implicit graph search. J. ACM 55 (6) (2008)
Ariel Felner, Richard E. Korf, Ram Meshulam, Robert C. Holte
Compressed Pattern Databases. J. Artif. Intell. Res. 30 (2007)
P. Alex Dow, Richard E. Korf
Best-First Search for Treewidth. AAAI (2007)
Richard E. Korf
Analyzing the Performance of Pattern Database Heuristics. AAAI (2007)
Alex S. Fukunaga, Richard E. Korf
Bin Completion Algorithms for Multicontainer Packing, Knapsack, and Covering Problems. J. Artif. Intell. Res. 28 (2007)
Richard E. Korf, Ariel Felner
Recent Progress in Heuristic Search: A Case Study of the Four-Peg Towers of Hanoi Problem. IJCAI (2007)
Alex S. Fukunaga, Richard E. Korf
Bin-Completion Algorithms for Multicontainer Packing and Covering Problems. IJCAI (2005)
Richard E. Korf, Peter Schultze
Large-Scale Parallel Breadth-First Search. AAAI (2005)
Richard E. Korf, Weixiong Zhang, Ignacio Thayer, Heath Hohwald
Frontier search. J. ACM 52 (5) (2005)
Ariel Felner, Ram Meshulam, Robert C. Holte, Richard E. Korf
Compressing Pattern Databases. AAAI (2004)
Richard E. Korf
Optimal Rectangle Packing: New Results. ICAPS (2004)
Ariel Felner, Richard E. Korf, Sarit Hanan
Additive Pattern Database Heuristics. J. Artif. Intell. Res. 22 (2004)
Richard E. Korf
Best-First Frontier Search with Delayed Duplicate Detection. AAAI (2004)
Ariel Felner, Sarit Kraus, Richard E. Korf
KBFS: K-Best-First Search. Ann. Math. Artif. Intell. 39 (1-2) (2003)
Richard E. Korf
Optimal Rectangle Packing: Initial Results. ICAPS (2003)
Richard E. Korf
An Improved Algorithm for Optimal Bin Packing. IJCAI (2003)
Richard E. Korf
Delayed Duplicate Detection: Extended Abstract. IJCAI (2003)
Heath Hohwald, Ignacio Thayer, Richard E. Korf
Comparing Best-First Search and Dynamic Programming for Optimal Multiple Sequence Alignment. IJCAI (2003)
Richard E. Korf, Ariel Felner
Disjoint pattern database heuristics. Artif. Intell. 134 (1-2) (2002)
Richard E. Korf
A New Algorithm for Optimal Bin Packing. AAAI/IAAI (2002)
Richard E. Korf, Michael Reid, Stefan Edelkamp
. Artif. Intell. 129 (1-2) (2001)
Weixiong Zhang, Rina Dechter, Richard E. Korf
Heuristic search in artificial intelligence. Artif. Intell. 129 (1-2) (2001)
Richard E. Korf, Weixiong Zhang
Divide-and-Conquer Frontier Search Applied to Optimal Sequence Alignment. AAAI/IAAI (2000)
Nathan R. Sturtevant, Richard E. Korf
On Pruning Techniques for Multi-Player Games. AAAI/IAAI (2000)
Richard E. Korf
Recent Progress in the Design and Analysis of Admissible Heuristic Functions. SARA (2000)
Richard E. Korf
Recent Progress in the Design and Analysis of Admissible Heuristic Functions. AAAI/IAAI (2000)
Richard E. Korf
A Divide and Conquer Bidirectional Search: First Results. IJCAI (1999)
Stefan Edelkamp, Richard E. Korf
The Branching Factor of Regular Search Spaces. AAAI/IAAI (1998)
Richard E. Korf
A Complete Anytime Algorithm for Number Partitioning. Artif. Intell. 106 (2) (1998)
Richard E. Korf, Michael Reid
Complexity Analysis of Admissible Heuristic Search. AAAI/IAAI (1998)
Richard E. Korf
Finding Optimal Solutions to Rubik's Cube Using Pattern Databases. AAAI/IAAI (1997)
Richard E. Korf
Does Deep Blue use AI? Deep Blue Versus Kasparov: The Significance for Artificial Intelligence (1997)
Richard E. Korf
Does Deep Blue use Artificial Intelligence? J. Int. Comput. Games Assoc. 20 (4) (1997)
Richard E. Korf, David Maxwell Chickering
Best-First Minimax Search. Artif. Intell. 84 (1-2) (1996)
Richard E. Korf, David Maxwell Chickering
Best-First Minimax Search. J. Int. Comput. Games Assoc. 19 (3) (1996)
Richard E. Korf, Larry A. Taylor
Finding Optimal Solutions to the Twenty-Four Puzzle. AAAI/IAAI, Vol. 2 (1996)
Weixiong Zhang, Richard E. Korf
A Study of Complexity Transitions on the Asymmetric Traveling Salesman Problem. Artif. Intell. 81 (1-2) (1996)
Richard E. Korf
Improved Limited Discrepancy Search. AAAI/IAAI, Vol. 1 (1996)
Weixiong Zhang, Richard E. Korf
Performance of Linear-Space Search Algorithms. Artif. Intell. 79 (2) (1995)
Richard E. Korf
Heuristic evaluation functions in artificial intelligence search algorithms. Minds Mach. 5 (4) (1995)
Toru Ishida, Richard E. Korf
Moving-Target Search: A Real-Time Search for Changing Goals. IEEE Trans. Pattern Anal. Mach. Intell. 17 (6) (1995)
Richard E. Korf
Space-Efficient Search Algorithms. ACM Comput. Surv. 27 (3) (1995)
Richard E. Korf
From Approximate to Optimal Solutions: A Case Study of Number Partitioning. IJCAI (1995)
Joseph C. Pemberton, Richard E. Korf
Incremental Search Algorithms for Real-time Decision Making. AIPS (1994)
Weixiong Zhang, Richard E. Korf
Parallel Heap Operations on an EREW PRAM. J. Parallel Distributed Comput. 20 (2) (1994)
Richard E. Korf, David Maxwell Chickering
Best-First Minimax Search: Othello Results. AAAI (1994)
Benjamin W. Wah, Thomas S. Huang, Aravind K. Joshi, Dan I. Moldovan, Yiannis Aloimonos, Ruzena Bajcsy, Dana H. Ballard, Doug DeGroot, Kenneth A. De Jong, 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 A. 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) (1993)
Richard E. Korf
Linear-Space Best-First Search. Artif. Intell. 62 (1) (1993)
Curt Powley, Chris Ferguson, Richard E. Korf
Depth-First Heuristic Search on a SIMD Machine. Artif. Intell. 60 (2) (1993)
Weixiong Zhang, Richard E. Korf
Depth-First vs. Best-First Search: New Results. AAAI (1993)
Larry A. Taylor, Richard E. Korf
Pruning Duplicate Nodes in Depth-First Search. AAAI (1993)
Weixiong Zhang, Richard E. Korf
Parallel Heap Operations on EREW PRAM: Summary of Results. IPPS (1992)
Richard E. Korf
Linear-Space Best-First Search: Summary of Results. AAAI (1992)
Weixiong Zhang, Richard E. Korf
An Average-Case Analysis of Branch-and-Bound with Applications: Summary of Results. AAAI (1992)
Curt Powley, Richard E. Korf
Single-Agent Parallel Window Search. IEEE Trans. Pattern Anal. Mach. Intell. 13 (5) (1991)
Richard E. Korf
Multi-Player Alpha-Beta Pruning. Artif. Intell. 48 (1) (1991)
Curt Powley, Chris Ferguson, Richard E. Korf
Parallel tree search on a SIMD machine. SPDP (1991)
Richard E. Korf
Artificial Intelligence as information science. Inf. Sci. (1991)
Nageshwara Rao Vempaty, Vipin Kumar, Richard E. Korf
Depth-First Versus Best-First Search. AAAI (1991)
Toru Ishida, Richard E. Korf
Moving Target Search. IJCAI (1991)
Richard E. Korf
Real-Time Heuristic Search. Artif. Intell. 42 (2-3) (1990)

Richard E. Korf.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Richard E. Korf