---
title: "The Fast Downward Planning System — paper by Helmert (2006)"
description: "Helmert presents Fast Downward, a forward-search heuristic planner that first rewrites PDDL2.2… 34 references, cited by 35 papers here."
authors: ["M. Helmert"]
year: 2006
venue: "Journal of Artificial Intelligence Research"
source: "https://doi.org/10.1613/jair.1705"
doi: "10.1613/jair.1705"
licence: "CC BY 4.0 (publisher, via OpenAlex)"
licence_url: "https://creativecommons.org/licenses/by/4.0/"
summary_licence: "Elamur Cosmic License"
canonical: "https://research.elamur.ai/free/en/papers/helmert-2006-fast-downward-planning-system/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/helmert-2006-fast-downward-planning-system/)

[home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [2006](https://md.research.elamur.ai/free/en/papers/2006/) / The Fast Downward Planning System

# The Fast Downward Planning System

**Authors:** M. Helmert · **Year:** 2006 · **Venue:** [Journal of Artificial Intelligence Research](https://md.research.elamur.ai/free/en/venues/journal-of-artificial-intelligence-research/) ([Journal of Artificial Intelligence Research 2006](https://md.research.elamur.ai/free/en/venues/journal-of-artificial-intelligence-research/2006/)) · **Publisher:** [AI Access Foundation](https://md.research.elamur.ai/free/en/publishers/ai-access-foundation/) · **Licence:** [CC BY 4.0 (publisher, via OpenAlex)](https://creativecommons.org/licenses/by/4.0/)

**Links:** [Publisher's page](https://doi.org/10.1613/jair.1705) · [PDF](https://jair.org/index.php/jair/article/download/10457/25068) · [DOI 10.1613/jair.1705](https://doi.org/10.1613/jair.1705) · [OpenAlex](https://openalex.org/W2161414194)

**Citations:** 510 citations (OpenAlex, 2026-10-14) · [35](https://md.research.elamur.ai/free/en/papers/helmert-2006-fast-downward-planning-system/cited-by/) in our library, of the 149,439 papers whose bibliographies we read

## Summary
Classical planners such as HSP and FF search directly over propositional PDDL encodings. In those encodings the dependencies between facts are usually tangled, so the hierarchical reasoning people apply naturally is hard to automate. In a logistics task, for example, a person would plan parcel routing separately from vehicle movement. Helmert presents Fast Downward, a forward-search heuristic planner that first rewrites PDDL2.2 tasks, including ADL constructs and derived predicates, into multi-valued planning tasks. In this form, the relations between state variables become explicit as causal graphs and domain transition graphs. A knowledge-compilation stage builds these structures along with fast successor generators and axiom evaluators. The search stage relies on the causal graph heuristic, which drops some preconditions to remove causal cycles and then solves small subproblems centred on one variable and its causal predecessors. Several new search-control techniques support it. Fast Downward won the classical track of IPC-4 and also did well on benchmarks from earlier competitions. The work shows that multi-valued encodings and hierarchical decomposition can power competitive domain-independent planning.

## Key points
- The architecture has three stages: translation (PDDL to a multi-valued task), knowledge compilation, and search. The translator is reusable and has been adopted by other planners, e.g. van den Briel et al. (2005).
- The search enhancements are:
  - preferred operators, which bring FF's helpful-actions idea into global best-first search;
  - deferred heuristic evaluation, which reduces the cost of large branching factors;
  - multi-heuristic best-first search, which combines the causal graph heuristic with the FF heuristic.
- The paper also introduces focused iterative-broadening search, a non-heuristic algorithm that uses causal-graph information to prune the operators it considers.
- In experiments, adding preferred operators (going from M to M+P) helped in fifteen domains and hurt in two. In each of those two domains, the loss was only one solved task.
- At the 4th International Planning Competition (ICAPS 2004), Fast Downward took first place in the propositional track for planners not required to optimise plan quality. The paper appeared in JAIR 26 (2006), pp. 191–246.

*Our summary of the paper, in our own words — not its text. The work belongs to its authors; read it at the links above.*

## Institutions

- [University of Freiburg](https://md.research.elamur.ai/free/en/universities/university-of-freiburg/) — University, Freiburg im Breisgau, Germany · 8 works · 1,661 citations

📚 Shelves (3): [🖥️ Computer Science](https://md.research.elamur.ai/free/en/shelves/computer-science/) · 19,503 works · [🤖 Artificial Intelligence](https://md.research.elamur.ai/free/en/shelves/computer-science/artificial-intelligence/) · 18,805 works · [🌐 Computer Networks and Communications](https://md.research.elamur.ai/free/en/shelves/computer-science/computer-networks-and-communications/) · 115 works

## Cite

Cite as: M. Helmert. 2006. The Fast Downward Planning System. Journal of Artificial Intelligence Research.

The paper itself, not this page. BibTeX from the library's record of the work.

```bibtex
@article{helmert2006fast,
  title = {{The Fast Downward Planning System}},
  author = {M. Helmert},
  journal = {Journal of Artificial Intelligence Research},
  year = {2006},
  doi = {10.1613/jair.1705},
  url = {https://doi.org/10.1613/jair.1705}
}
```

- [← previous Extracting Opinions, Opinion Holders, and Topics Expressed in Online News Media Text](https://md.research.elamur.ai/free/en/papers/kim-2006-extracting-opinions-opinion-holders-topics/)
- [next → Unsupervised Multilingual Sentence Boundary Detection](https://md.research.elamur.ai/free/en/papers/kiss-2006-unsupervised-multilingual-sentence-boundary-detection/)
- [↑ back to papers of 2006](https://md.research.elamur.ai/free/en/papers/2006/)

## References

34 references, 0 of them with a card of ours. ↗ leads to the work, «find» searches for one we have no id for yet.

1. Bacchus, F., & Yang, Q. (1994). Downward refinement and the efficiency of hierarchical problem solving. Artificial Intelligence, 71(1), 43–100. [find](https://scholar.google.com/scholar?q=Bacchus%2C+F%2E%2C+%26+Yang%2C+Q%2E+%281994%29%2E+Downward+refinement+and+the+efficiency+of+hierarchical+problem+solving%2E+Artificial+Intelligence%2C+71%281%29%2C+43%E2%80%93100%2E)
2. Bäckström, C., & Nebel, B. (1995). Complexity results for SAS + planning. Computational Intelligence, 11(4), 625–655. [find](https://scholar.google.com/scholar?q=Ba%CC%88ckstro%CC%88m%2C+C%2E%2C+%26+Nebel%2C+B%2E+%281995%29%2E+Complexity+results+for+SAS+%2B+planning%2E+Computational+Intelligence%2C+11%284%29%2C+625%E2%80%93655%2E)
3. Bonet, B., & Geffner, H. (2001). Planning as heuristic search. Artificial Intelligence, 129(1), 5–33. [find](https://scholar.google.com/scholar?q=Bonet%2C+B%2E%2C+%26+Geffner%2C+H%2E+%282001%29%2E+Planning+as+heuristic+search%2E+Artificial+Intelligence%2C+129%281%29%2C+5%E2%80%9333%2E)
4. Brafman, R. I., & Domshlak, C. (2003). Structure and complexity in planning with unary operators. Journal of Artificial Intelligence Research, 18, 315–349. [find](https://scholar.google.com/scholar?q=Brafman%2C+R%2E+I%2E%2C+%26+Domshlak%2C+C%2E+%282003%29%2E+Structure+and+complexity+in+planning+with+unary+operators%2E+Journal+of+Artificial+Intelligence+Research%2C+18%2C+315%E2%80%93349%2E)
5. Bylander, T. (1994). The computational complexity of propositional STRIPS planning. Artificial Intelligence, 69(1–2), 165–204. [find](https://scholar.google.com/scholar?q=Bylander%2C+T%2E+%281994%29%2E+The+computational+complexity+of+propositional+STRIPS+planning%2E+Artificial+Intelligence%2C+69%281%E2%80%932%29%2C+165%E2%80%93204%2E)
6. Domshlak, C., & Brafman, R. I. (2002). Structure and complexity in planning with unary operators. In Ghallab, M., Hertzberg, J., & Traverso, P. (Eds.), Proceedings of the Sixth International Conference on Artificial Intelligence Planning and Scheduling (AIPS 2002), pp. 34–43. AAAI Press. [find](https://scholar.google.com/scholar?q=Domshlak%2C+C%2E%2C+%26+Brafman%2C+R%2E+I%2E+%282002%29%2E+Structure+and+complexity+in+planning+with+unary+operators%2E+In+Ghallab%2C+M%2E%2C+Hertzberg%2C+J%2E%2C+%26+Traverso%2C+P%2E+%28Eds%2E%29%2C+Proceedings+of+the+Sixth+International+Conferenc)
7. Domshlak, C., & Dinitz, Y. (2001). Multi-agent off-line coordination: Structure and complexity. In Cesta, A., & Borrajo, D. (Eds.), Pre-proceedings of the Sixth European Conference on Planning (ECP’01), pp. 277–288, Toledo, Spain. [find](https://scholar.google.com/scholar?q=Domshlak%2C+C%2E%2C+%26+Dinitz%2C+Y%2E+%282001%29%2E+Multi%2Dagent+off%2Dline+coordination%3A+Structure+and+complexity%2E+In+Cesta%2C+A%2E%2C+%26+Borrajo%2C+D%2E+%28Eds%2E%29%2C+Pre%2Dproceedings+of+the+Sixth+European+Conference+on+Planning+%28ECP%E2%80%9901)
8. Dowling, W. F., & Gallier, J. H. (1984). Linear-time algorithms for testing the satisfiability of propositional Horn formulae. Journal of Logic Programming, 1(3), 367–383. [find](https://scholar.google.com/scholar?q=Dowling%2C+W%2E+F%2E%2C+%26+Gallier%2C+J%2E+H%2E+%281984%29%2E+Linear%2Dtime+algorithms+for+testing+the+satisfiability+of+propositional+Horn+formulae%2E+Journal+of+Logic+Programming%2C+1%283%29%2C+367%E2%80%93383%2E)
9. Edelkamp, S., & Helmert, M. (1999). Exhibiting knowledge in planning problems to minimize state encoding length. In Fox, M., & Biundo, S. (Eds.), Recent Advances in AI Planning. 5th European Conference on Planning (ECP’99), Vol. 1809 of Lecture Notes in Artificial Intelligence, pp. 135–147, New York… [find](https://scholar.google.com/scholar?q=Edelkamp%2C+S%2E%2C+%26+Helmert%2C+M%2E+%281999%29%2E+Exhibiting+knowledge+in+planning+problems+to+minimize+state+encoding+length%2E+In+Fox%2C+M%2E%2C+%26+Biundo%2C+S%2E+%28Eds%2E%29%2C+Recent+Advances+in+AI+Planning%2E+5th+European+Conferenc)
10. Edelkamp, S., & Hoffmann, J. (2004). PDDL2.2: The language for the classical part of the 4th International Planning Competition. Tech. rep. 195, Albert-Ludwigs-Universität Freiburg, Institut für Informatik. [find](https://scholar.google.com/scholar?q=Edelkamp%2C+S%2E%2C+%26+Hoffmann%2C+J%2E+%282004%29%2E+PDDL2%2E2%3A+The+language+for+the+classical+part+of+the+4th+International+Planning+Competition%2E+Tech%2E+rep%2E+195%2C+Albert%2DLudwigs%2DUniversita%CC%88t+Freiburg%2C+Institut+fu%CC%88r+Inf)
11. Fox, M., & Long, D. (2003). PDDL2.1: An extension to PDDL for expressing temporal planning domains. Journal of Artificial Intelligence Research, 20, 61–124. [find](https://scholar.google.com/scholar?q=Fox%2C+M%2E%2C+%26+Long%2C+D%2E+%282003%29%2E+PDDL2%2E1%3A+An+extension+to+PDDL+for+expressing+temporal+planning+domains%2E+Journal+of+Artificial+Intelligence+Research%2C+20%2C+61%E2%80%93124%2E)
12. Garey, M. R., & Johnson, D. S. (1979). Computers and Intractability — A Guide to the Theory of NP-Completeness. Freeman. [find](https://scholar.google.com/scholar?q=Garey%2C+M%2E+R%2E%2C+%26+Johnson%2C+D%2E+S%2E+%281979%29%2E+Computers+and+Intractability+%E2%80%94+A+Guide+to+the+Theory+of+NP%2DCompleteness%2E+Freeman%2E)
13. Gerevini, A., Saetti, A., & Serina, I. (2003). Planning through stochastic local search and temporal action graphs in LPG. Journal of Artificial Intelligence Research, 20, 239–290. [find](https://scholar.google.com/scholar?q=Gerevini%2C+A%2E%2C+Saetti%2C+A%2E%2C+%26+Serina%2C+I%2E+%282003%29%2E+Planning+through+stochastic+local+search+and+temporal+action+graphs+in+LPG%2E+Journal+of+Artificial+Intelligence+Research%2C+20%2C+239%E2%80%93290%2E)
14. Ginsberg, M. L., & Harvey, W. D. (1992). Iterative broadening. Artificial Intelligence, 55, 367–383. [find](https://scholar.google.com/scholar?q=Ginsberg%2C+M%2E+L%2E%2C+%26+Harvey%2C+W%2E+D%2E+%281992%29%2E+Iterative+broadening%2E+Artificial+Intelligence%2C+55%2C+367%E2%80%93383%2E)
15. Helmert, M. (2004). A planning heuristic based on causal graph analysis. In Zilberstein, S., Koehler, J., & Koenig, S. (Eds.), Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), pp. 161–170. AAAI Press. [find](https://scholar.google.com/scholar?q=Helmert%2C+M%2E+%282004%29%2E+A+planning+heuristic+based+on+causal+graph+analysis%2E+In+Zilberstein%2C+S%2E%2C+Koehler%2C+J%2E%2C+%26+Koenig%2C+S%2E+%28Eds%2E%29%2C+Proceedings+of+the+Fourteenth+International+Conference+on+Automated+Plann)
16. Hoffmann, J. (2001). Local search topology in planning benchmarks: An empirical analysis. In Nebel, B. (Ed.), Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI’01), pp. 453–458. Morgan Kaufmann. [find](https://scholar.google.com/scholar?q=Hoffmann%2C+J%2E+%282001%29%2E+Local+search+topology+in+planning+benchmarks%3A+An+empirical+analysis%2E+In+Nebel%2C+B%2E+%28Ed%2E%29%2C+Proceedings+of+the+17th+International+Joint+Conference+on+Artificial+Intelligence+%28IJCAI%E2%80%990)
17. Hoffmann, J. (2002). Local search topology in planning benchmarks: A theoretical analysis. In Ghallab, M., Hertzberg, J., & Traverso, P. (Eds.), Proceedings of the Sixth International Conference on Artificial Intelligence Planning and Scheduling (AIPS 2002), pp. 92–100. AAAI Press. [find](https://scholar.google.com/scholar?q=Hoffmann%2C+J%2E+%282002%29%2E+Local+search+topology+in+planning+benchmarks%3A+A+theoretical+analysis%2E+In+Ghallab%2C+M%2E%2C+Hertzberg%2C+J%2E%2C+%26+Traverso%2C+P%2E+%28Eds%2E%29%2C+Proceedings+of+the+Sixth+International+Conference+on+Ar)
18. Hoffmann, J. (2005). Where ‘ignoring delete lists’ works: Local search topology in planning benchmarks. Journal of Artificial Intelligence Research, 24, 685–758. [find](https://scholar.google.com/scholar?q=Hoffmann%2C+J%2E+%282005%29%2E+Where+%E2%80%98ignoring+delete+lists%E2%80%99+works%3A+Local+search+topology+in+planning+benchmarks%2E+Journal+of+Artificial+Intelligence+Research%2C+24%2C+685%E2%80%93758%2E)
19. Hoffmann, J., & Edelkamp, S. (2005). The deterministic part of IPC-4: An overview. Journal of Artificial Intelligence Research, 24, 519–579. [find](https://scholar.google.com/scholar?q=Hoffmann%2C+J%2E%2C+%26+Edelkamp%2C+S%2E+%282005%29%2E+The+deterministic+part+of+IPC%2D4%3A+An+overview%2E+Journal+of+Artificial+Intelligence+Research%2C+24%2C+519%E2%80%93579%2E)
20. Hoffmann, J., & Nebel, B. (2001). The FF planning system: Fast plan generation through heuristic search. Journal of Artificial Intelligence Research, 14, 253–302. [find](https://scholar.google.com/scholar?q=Hoffmann%2C+J%2E%2C+%26+Nebel%2C+B%2E+%282001%29%2E+The+FF+planning+system%3A+Fast+plan+generation+through+heuristic+search%2E+Journal+of+Artificial+Intelligence+Research%2C+14%2C+253%E2%80%93302%2E)
21. Jonsson, P., & Bäckström, C. (1995). Incremental planning. In Ghallab, M., & Milani, A. (Eds.), New Directions in AI Planning: EWSP ’95 — 3rd European Workshop on Planning, Vol. 31 of Frontiers in Artificial Intelligence and Applications, pp. 79–90, Amsterdam. IOS Press. [find](https://scholar.google.com/scholar?q=Jonsson%2C+P%2E%2C+%26+Ba%CC%88ckstro%CC%88m%2C+C%2E+%281995%29%2E+Incremental+planning%2E+In+Ghallab%2C+M%2E%2C+%26+Milani%2C+A%2E+%28Eds%2E%29%2C+New+Directions+in+AI+Planning%3A+EWSP+%E2%80%9995+%E2%80%94+3rd+European+Workshop+on+Planning%2C+Vol%2E+31+of+Frontiers+in+A)
22. Jonsson, P., & Bäckström, C. (1998a). State-variable planning under structural restrictions: Algorithms and complexity. Artificial Intelligence, 100(1–2), 125–176. [find](https://scholar.google.com/scholar?q=Jonsson%2C+P%2E%2C+%26+Ba%CC%88ckstro%CC%88m%2C+C%2E+%281998a%29%2E+State%2Dvariable+planning+under+structural+restrictions%3A+Algorithms+and+complexity%2E+Artificial+Intelligence%2C+100%281%E2%80%932%29%2C+125%E2%80%93176%2E)
23. Jonsson, P., & Bäckström, C. (1998b). Tractable plan existence does not imply tractable plan generation. Annals of Mathematics and Artificial Intelligence, 22(3), 281–296. [find](https://scholar.google.com/scholar?q=Jonsson%2C+P%2E%2C+%26+Ba%CC%88ckstro%CC%88m%2C+C%2E+%281998b%29%2E+Tractable+plan+existence+does+not+imply+tractable+plan+generation%2E+Annals+of+Mathematics+and+Artificial+Intelligence%2C+22%283%29%2C+281%E2%80%93296%2E)
24. Joslin, D., & Roach, J. (1989). A theoretical analysis of conjunctive-goal problems. Artificial Intelligence, 41(1), 97–106. Research Note. [find](https://scholar.google.com/scholar?q=Joslin%2C+D%2E%2C+%26+Roach%2C+J%2E+%281989%29%2E+A+theoretical+analysis+of+conjunctive%2Dgoal+problems%2E+Artificial+Intelligence%2C+41%281%29%2C+97%E2%80%93106%2E+Research+Note%2E)
25. Knoblock, C. A. (1994). Automatically generating abstractions for planning. Artificial Intelligence, 68(2), 243–302. [find](https://scholar.google.com/scholar?q=Knoblock%2C+C%2E+A%2E+%281994%29%2E+Automatically+generating+abstractions+for+planning%2E+Artificial+Intelligence%2C+68%282%29%2C+243%E2%80%93302%2E)
26. Korf, R. E. (1987). Planning as search: A quantitative approach. Artificial Intelligence, 33(1), 65–88. [find](https://scholar.google.com/scholar?q=Korf%2C+R%2E+E%2E+%281987%29%2E+Planning+as+search%3A+A+quantitative+approach%2E+Artificial+Intelligence%2C+33%281%29%2C+65%E2%80%9388%2E)
27. Lowerre, B. T. (1976). The HARPY Speech Recognition System. Ph.D. thesis, Computer Science Department, Carnegie-Mellon University, Pittsburgh, Pennsylvania. [find](https://scholar.google.com/scholar?q=Lowerre%2C+B%2E+T%2E+%281976%29%2E+The+HARPY+Speech+Recognition+System%2E+Ph%2ED%2E+thesis%2C+Computer+Science+Department%2C+Carnegie%2DMellon+University%2C+Pittsburgh%2C+Pennsylvania%2E)
28. Newell, A., & Simon, H. A. (1963). GPS: A program that simulates human thought. In Feigenbaum, E. A., & Feldman, J. (Eds.), Computers and Thought, pp. 279–293. Oldenbourg. [find](https://scholar.google.com/scholar?q=Newell%2C+A%2E%2C+%26+Simon%2C+H%2E+A%2E+%281963%29%2E+GPS%3A+A+program+that+simulates+human+thought%2E+In+Feigenbaum%2C+E%2E+A%2E%2C+%26+Feldman%2C+J%2E+%28Eds%2E%29%2C+Computers+and+Thought%2C+pp%2E+279%E2%80%93293%2E+Oldenbourg%2E)
29. Russell, S., & Norvig, P. (2003). Artificial Intelligence — A Modern Approach. Prentice Hall. [find](https://scholar.google.com/scholar?q=Russell%2C+S%2E%2C+%26+Norvig%2C+P%2E+%282003%29%2E+Artificial+Intelligence+%E2%80%94+A+Modern+Approach%2E+Prentice+Hall%2E)
30. Sacerdoti, E. D. (1974). Planning in a hierarchy of abstraction spaces. Artificial Intelligence, 5, 115–135. [find](https://scholar.google.com/scholar?q=Sacerdoti%2C+E%2E+D%2E+%281974%29%2E+Planning+in+a+hierarchy+of+abstraction+spaces%2E+Artificial+Intelligence%2C+5%2C+115%E2%80%93135%2E)
31. Tenenberg, J. D. (1991). Abstraction in planning. In Allen, J. F., Kautz, H. A., Pelavin, R. N., & Tenenberg, J. D., Reasoning About Plans, chap. 4, pp. 213–283. [find](https://scholar.google.com/scholar?q=Tenenberg%2C+J%2E+D%2E+%281991%29%2E+Abstraction+in+planning%2E+In+Allen%2C+J%2E+F%2E%2C+Kautz%2C+H%2E+A%2E%2C+Pelavin%2C+R%2E+N%2E%2C+%26+Tenenberg%2C+J%2E+D%2E%2C+Reasoning+About+Plans%2C+chap%2E+4%2C+pp%2E+213%E2%80%93283%2E)
32. Morgan Kaufmann, San Mateo. van den Briel, M., Vossen, T., & Kambhampati, S. (2005). Reviving integer programming approaches for AI planning: A branch-and-cut framework. In Biundo, S., Myers, K., & Rajan, K. (Eds.), Proceedings of the Fifteenth International Conference on Automated Planning and Sche… [find](https://scholar.google.com/scholar?q=Morgan+Kaufmann%2C+San+Mateo%2E+van+den+Briel%2C+M%2E%2C+Vossen%2C+T%2E%2C+%26+Kambhampati%2C+S%2E+%282005%29%2E+Reviving+integer+programming+approaches+for+AI+planning%3A+A+branch%2Dand%2Dcut+framework%2E+In+Biundo%2C+S%2E%2C+Myers%2C+K%2E%2C+%26+Ra)
33. Williams, B. C., & Nayak, P. P. (1997). A reactive planner for a model-based executive. In Pollack, M. E. (Ed.), Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI’97), pp. 1178–1195. Morgan Kaufmann. [find](https://scholar.google.com/scholar?q=Williams%2C+B%2E+C%2E%2C+%26+Nayak%2C+P%2E+P%2E+%281997%29%2E+A+reactive+planner+for+a+model%2Dbased+executive%2E+In+Pollack%2C+M%2E+E%2E+%28Ed%2E%29%2C+Proceedings+of+the+15th+International+Joint+Conference+on+Artificial+Intelligence+%28IJCA)
34. Yoshizumi, T., Miura, T., & Ishida, T. (2000). A ∗ with partial expansion for large branching factor problems. In Kautz, H., & Porter, B. (Eds.), Proceedings of the Seventeenth National Conference on Artificial Intelligence (AAAI-2000), pp. 923–929. AAAI Press. [find](https://scholar.google.com/scholar?q=Yoshizumi%2C+T%2E%2C+Miura%2C+T%2E%2C+%26+Ishida%2C+T%2E+%282000%29%2E+A+%E2%88%97+with+partial+expansion+for+large+branching+factor+problems%2E+In+Kautz%2C+H%2E%2C+%26+Porter%2C+B%2E+%28Eds%2E%29%2C+Proceedings+of+the+Seventeenth+National+Conference+on+)

*Updated 3 November 2026*