Richard E. Korf

122 papers A* 56A 1B 7Misc 2Journal 40Unranked 14

Year	Rank	Type	Title / Venue / Authors
2022	B	`conf`	A Jeep Crossing a Desert of Unknown Width (Extended Abstract). SOCS Richard E. Korf
2022	J	`jnl`	A Jeep Crossing a Desert of Unknown Width. Am. Math. Mon. Richard E. Korf
2022	A*	`conf`	A*+BFHS: A Hybrid Heuristic Search Algorithm. AAAI Zhaoxing Bu, Richard E. Korf
2022	B	`conf`	Iterative-Deepening Uniform-Cost Heuristic Search. SOCS Zhaoxing Bu, Richard E. Korf
2021	J	`jnl`	A*+BFHS: A Hybrid Heuristic Search Algorithm. CoRR Zhaoxing Bu, Richard E. Korf
2021	B	`conf`	Finding the Exact Diameter of a Graph with Partial Breadth-First Searches. SOCS Richard E. Korf
2019	A*	`conf`	A+IDA: A Simple Hybrid Search Algorithm. IJCAI Zhaoxing Bu, Richard E. Korf
2018	J	`jnl`	Optimal Multi-Way Number Partitioning. J. ACM Ethan L. Schreiber, Richard E. Korf, Michael D. Moffitt
2016	A*	`conf`	Comparing Search Algorithms Using Sorting and Hashing on Disk and in Memory. IJCAI Richard E. Korf
2015	A*	`conf`	Limitations of Front-To-End Bidirectional Heuristic Search. AAAI Joseph Kelly Barker, Richard E. Korf
2014	A*	`conf`	Cached Iterative Weakening for Optimal Multi-Way Number Partitioning. AAAI Ethan L. Schreiber, Richard E. Korf
2014	B	`conf`	How Do You Know Your Search Algorithm and Code Are Correct? SOCS Richard E. Korf
2014	J	`jnl`	Optimal Rectangle Packing: An Absolute Placement Approach. CoRR Eric Huang, Richard E. Korf
2014	Misc	`conf`	Optimal Sequential Multi-Way Number Partitioning. ISAIM Richard E. Korf, Ethan L. Schreiber, Michael D. Moffitt
2014	J	`jnl`	The Fifth Annual Symposium on Combinatorial Search. AI Commun. Daniel Borrajo, Ariel Felner, Richard E. Korf, Maxim Likhachev, Carlos Linares López, Wheeler Ruml, Nathan R. Sturtevant
2013	A*	`conf`	Improved Bin Completion for Optimal Bin Packing and Number Partitioning. IJCAI Ethan L. Schreiber, Richard E. Korf
2013	J	`jnl`	Optimal Rectangle Packing: An Absolute Placement Approach. J. Artif. Intell. Res. Eric Huang, Richard E. Korf
2013	A*	`conf`	Optimally Scheduling Small Numbers of Identical Parallel Machines. ICAPS Richard E. Korf, Ethan L. Schreiber
2012	B	`ed.`	Proceedings of the Fifth Annual Symposium on Combinatorial Search, SOCS 2012, Niagara Falls, Ontario, Canada, July 19-21, 2012 SOCS Daniel Borrajo, Ariel Felner, Richard E. Korf, Maxim Likhachev, Carlos Linares López, Wheeler Ruml, Nathan R. Sturtevant
2012	A*	`conf`	Research Challenges in Combinatorial Search. AAAI Richard E. Korf
2012	A*	`conf`	Solving Dots-And-Boxes. AAAI Joseph Kelly Barker, Richard E. Korf
2012	A*	`conf`	Solving Peg Solitaire with Bidirectional BFIDA. AAAI Joseph Kelly Barker, Richard E. Korf
2011	A*	`conf`	A Hybrid Recursive Multi-Way Number Partitioning Algorithm. IJCAI Richard E. Korf
2011	J	`jnl`	Additive Pattern Database Heuristics CoRR Ariel Felner, Sarit Hanan, Richard E. Korf
2011	J	`jnl`	Bin Completion Algorithms for Multicontainer Packing, Knapsack, and Covering Problems CoRR Alex S. Fukunaga, Richard E. Korf
2011	A*	`conf`	Complete Algorithms for Cooperative Pathfinding Problems. IJCAI Trevor Scott Standley, Richard E. Korf
2011	A*	`conf`	Optimal Packing of High-Precision Rectangles. AAAI Eric Huang, Richard E. Korf
2011	B	`conf`	Optimal Packing of High-Precision Rectangles. SOCS Eric Huang, Richard E. Korf
2011	A*	`conf`	Solving 4x5 Dots-And-Boxes. AAAI Joseph Kelly Barker, Richard E. Korf
2011	A*	`conf`	Using Partitions and Superstrings for Lossless Compression of Pattern Databases. AAAI Ethan L. Schreiber, Richard E. Korf
2010	A*	`conf`	1.6-Bit Pattern Databases. AAAI Teresa Maria Breyer, Richard E. Korf
2010	A*	`conf`	Independent Additive Heuristics Reduce Search Multiplicatively. AAAI Teresa Maria Breyer, Richard E. Korf
2010	B	`conf`	Objective Functions for Multi-Way Number Partitioning. SOCS Richard E. Korf
2010	A*	`conf`	Optimal Rectangle Packing on Non-Square Benchmarks. AAAI Eric Huang, Richard E. Korf
2010	J	`jnl`	Optimal rectangle packing. Ann. Oper. Res. Richard E. Korf, Michael D. Moffitt, Martha E. Pollack
2009	A*	`conf`	Duplicate Avoidance in Depth-First Search with Applications to Treewidth. IJCAI P. Alex Dow, Richard E. Korf
2009	A*	`conf`	Multi-Way Number Partitioning. IJCAI Richard E. Korf
2009	A*	`conf`	New Improvements in Optimal Rectangle Packing. IJCAI Eric Huang, Richard E. Korf
2008	Misc	`conf`	Best-First Search with Maximum Edge Cost Functions. ISAIM P. Alex Dow, Richard E. Korf
2008	J	`jnl`	Linear-time disk-based implicit graph search. J. ACM Richard E. Korf
2008	A*	`conf`	Minimizing Disk I/O in Two-Bit Breadth-First Search. AAAI Richard E. Korf
2007	A*	`conf`	Analyzing the Performance of Pattern Database Heuristics. AAAI Richard E. Korf
2007	A*	`conf`	Best-First Search for Treewidth. AAAI P. Alex Dow, Richard E. Korf
2007	J	`jnl`	Bin Completion Algorithms for Multicontainer Packing, Knapsack, and Covering Problems. J. Artif. Intell. Res. Alex S. Fukunaga, Richard E. Korf
2007	J	`jnl`	Compressed Pattern Databases. J. Artif. Intell. Res. Ariel Felner, Richard E. Korf, Ram Meshulam, Robert C. Holte
2007	A*	`conf`	Recent Progress in Heuristic Search: A Case Study of the Four-Peg Towers of Hanoi Problem. IJCAI Richard E. Korf, Ariel Felner
2005	A*	`conf`	Bin-Completion Algorithms for Multicontainer Packing and Covering Problems. IJCAI Alex S. Fukunaga, Richard E. Korf
2005	J	`jnl`	Frontier search. J. ACM Richard E. Korf, Weixiong Zhang, Ignacio Thayer, Heath Hohwald
2005	A*	`conf`	Large-Scale Parallel Breadth-First Search. AAAI Richard E. Korf, Peter Schultze
2004	J	`jnl`	Additive Pattern Database Heuristics. J. Artif. Intell. Res. Ariel Felner, Richard E. Korf, Sarit Hanan
2004	A*	`conf`	Best-First Frontier Search with Delayed Duplicate Detection. AAAI Richard E. Korf
2004	A*	`conf`	Compressing Pattern Databases. AAAI Ariel Felner, Ram Meshulam, Robert C. Holte, Richard E. Korf
2004	A*	`conf`	Optimal Rectangle Packing: New Results. ICAPS Richard E. Korf
2003	A*	`conf`	An Improved Algorithm for Optimal Bin Packing. IJCAI Richard E. Korf
2003	A*	`conf`	Comparing Best-First Search and Dynamic Programming for Optimal Multiple Sequence Alignment. IJCAI Heath Hohwald, Ignacio Thayer, Richard E. Korf
2003	A*	`conf`	Delayed Duplicate Detection: Extended Abstract. IJCAI Richard E. Korf
2003	J	`jnl`	KBFS: K-Best-First Search. Ann. Math. Artif. Intell. Ariel Felner, Sarit Kraus, Richard E. Korf
2003	A*	`conf`	Optimal Rectangle Packing: Initial Results. ICAPS Richard E. Korf
2002	—	`conf`	A New Algorithm for Optimal Bin Packing. AAAI/IAAI Richard E. Korf
2002	J	`jnl`	Disjoint pattern database heuristics. Artif. Intell. Richard E. Korf, Ariel Felner
2002	—	`ch.`	Search Techniques. Encyclopedia of Information Systems Richard E. Korf
2001	J	`jnl`	Heuristic search in artificial intelligence. Artif. Intell. Weixiong Zhang, Rina Dechter, Richard E. Korf
2001	J	`jnl`	Time complexity of iterative-deepening-A Artif. Intell. Richard E. Korf, Michael Reid, Stefan Edelkamp
2000	—	`conf`	Divide-and-Conquer Frontier Search Applied to Optimal Sequence Alignment. AAAI/IAAI Richard E. Korf, Weixiong Zhang
2000	—	`conf`	On Pruning Techniques for Multi-Player Games. AAAI/IAAI Nathan R. Sturtevant, Richard E. Korf
2000	—	`conf`	Recent Progress in the Design and Analysis of Admissible Heuristic Functions. AAAI/IAAI Richard E. Korf
2000	—	`conf`	Recent Progress in the Design and Analysis of Admissible Heuristic Functions. SARA Richard E. Korf
1999	A*	`conf`	A Divide and Conquer Bidirectional Search: First Results. IJCAI Richard E. Korf
1999	—	`ch.`	Artificial Intelligence Search Algorithms. Algorithms and Theory of Computation Handbook Richard E. Korf
1998	J	`jnl`	A Complete Anytime Algorithm for Number Partitioning. Artif. Intell. Richard E. Korf
1998	—	`conf`	Complexity Analysis of Admissible Heuristic Search. AAAI/IAAI Richard E. Korf, Michael Reid
1998	—	`conf`	The Branching Factor of Regular Search Spaces. AAAI/IAAI Stefan Edelkamp, Richard E. Korf
1997	—	`conf`	Does Deep Blue use AI? Deep Blue Versus Kasparov: The Significance for Artificial Intelligence Richard E. Korf
1997	J	`jnl`	Does Deep Blue use Artificial Intelligence? ICCA J. Richard E. Korf
1997	—	`conf`	Finding Optimal Solutions to Rubik's Cube Using Pattern Databases. AAAI/IAAI Richard E. Korf
1996	J	`jnl`	A Study of Complexity Transitions on the Asymmetric Traveling Salesman Problem. Artif. Intell. Weixiong Zhang, Richard E. Korf
1996	J	`jnl`	Best-First Minimax Search. Artif. Intell. Richard E. Korf, David Maxwell Chickering
1996	J	`jnl`	Best-First Minimax Search. ICCA J. Richard E. Korf, David Maxwell Chickering
1996	—	`conf`	Finding Optimal Solutions to the Twenty-Four Puzzle. AAAI/IAAI, Vol. 2 Richard E. Korf, Larry A. Taylor
1996	—	`conf`	Improved Limited Discrepancy Search. AAAI/IAAI, Vol. 1 Richard E. Korf
1995	A*	`conf`	From Approximate to Optimal Solutions: A Case Study of Number Partitioning. IJCAI Richard E. Korf
1995	J	`jnl`	Heuristic evaluation functions in artificial intelligence search algorithms. Minds Mach. Richard E. Korf
1995	J	`jnl`	Moving-Target Search: A Real-Time Search for Changing Goals. IEEE Trans. Pattern Anal. Mach. Intell. Toru Ishida, Richard E. Korf
1995	J	`jnl`	Performance of Linear-Space Search Algorithms. Artif. Intell. Weixiong Zhang, Richard E. Korf
1995	J	`jnl`	Space-Efficient Search Algorithms. ACM Comput. Surv. Richard E. Korf
1994	A*	`conf`	Best-First Minimax Search: Othello Results. AAAI Richard E. Korf, David Maxwell Chickering
1994	—	`conf`	Incremental Search Algorithms for Real-time Decision Making. AIPS Joseph C. Pemberton, Richard E. Korf
1994	J	`jnl`	Parallel Heap Operations on an EREW PRAM. J. Parallel Distributed Comput. Weixiong Zhang, Richard E. Korf
1994	A*	`ed.`	Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31 - August 4, 1994, Volume 1. AAAI Barbara Hayes-Roth, Richard E. Korf
1994	A*	`ed.`	Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31 - August 4, 1994, Volume 2. AAAI Barbara Hayes-Roth, Richard E. Korf
1993	J	`jnl`	Depth-First Heuristic Search on a SIMD Machine. Artif. Intell. Curt Powley, Chris Ferguson, Richard E. Korf
1993	A*	`conf`	Depth-First vs. Best-First Search: New Results. AAAI Weixiong Zhang, Richard E. Korf
1993	J	`jnl`	Linear-Space Best-First Search. Artif. Intell. Richard E. Korf
1993	A*	`conf`	Pruning Duplicate Nodes in Depth-First Search. AAAI Larry A. Taylor, Richard E. Korf
1993	J	`jnl`	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. 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
1992	A*	`conf`	An Average-Case Analysis of Branch-and-Bound with Applications: Summary of Results. AAAI Weixiong Zhang, Richard E. Korf
1992	A*	`conf`	Linear-Space Best-First Search: Summary of Results. AAAI Richard E. Korf
1992	—	`conf`	Parallel Heap Operations on EREW PRAM: Summary of Results. IPPS Weixiong Zhang, Richard E. Korf
1991	J	`jnl`	Artificial Intelligence as information science. Inf. Sci. Richard E. Korf
1991	A*	`conf`	Depth-First Versus Best-First Search. AAAI Nageshwara Rao Vempaty, Vipin Kumar, Richard E. Korf
1991	A*	`conf`	Moving Target Search. IJCAI Toru Ishida, Richard E. Korf
1991	J	`jnl`	Multi-Player Alpha-Beta Pruning. Artif. Intell. Richard E. Korf
1991	—	`conf`	Parallel tree search on a SIMD machine. SPDP Curt Powley, Chris Ferguson, Richard E. Korf
1991	J	`jnl`	Single-Agent Parallel Window Search. IEEE Trans. Pattern Anal. Mach. Intell. Curt Powley, Richard E. Korf
1990	J	`jnl`	Depth-Limited Search for Real-Time Problem Solving. Real Time Syst. Richard E. Korf
1990	J	`jnl`	Real-Time Heuristic Search. Artif. Intell. Richard E. Korf
1989	A*	`conf`	Generalized Game Trees. IJCAI Richard E. Korf
1989	A*	`conf`	Single-Agent Parallel Window Search: A Summary of Results. IJCAI Curt Powley, Richard E. Korf
1988	A*	`conf`	Distributed Tree Search and Its Application to Alpha-Beta Pruning. AAAI Chris Ferguson, Richard E. Korf
1988	A*	`conf`	Real-Tme Heuristic Search: New Results. AAAI Richard E. Korf
1987	A*	`conf`	A Model of Two-Player Evaluation Functions. AAAI Bruce Abramson, Richard E. Korf
1987	J	`jnl`	Planning as Search: A Quantitative Approach. Artif. Intell. Richard E. Korf
1987	A*	`conf`	Real-Time Heuristic Search: First Results. AAAI Richard E. Korf
1986	A*	`conf`	A Unified Theory of Heuristic Evaluation Functions and its Application to Learning. AAAI Jens Christensen, Richard E. Korf
1985	J	`jnl`	Depth-First Iterative-Deepening: An Optimal Admissible Tree Search. Artif. Intell. Richard E. Korf
1985	A*	`conf`	Iterative-Deepening-A*: An Optimal Admissible Tree Search. IJCAI Richard E. Korf
1985	J	`jnl`	Macro-Operators: A Weak Method for Learning. Artif. Intell. Richard E. Korf
1983	A	`conf`	A computer science syllabus for gifted pre-college students. SIGCSE Richard E. Korf
1983	A*	`conf`	Operator Decomposability: A New Type of Problem Structure. AAAI Richard E. Korf
1982	A*	`conf`	A Program That Learns to Solve Rubik's Cube. AAAI Richard E. Korf
1981	A*	`conf`	Inversion of Applicative Programs. IJCAI Richard E. Korf
1980	J	`jnl`	Toward a Model of Representation Changes. Artif. Intell. Richard E. Korf