Name
Abstract | ||
|---|---|---|
In this article, we present a framework called state-set branching that combines symbolic search based on reduced ordered Binary Decision Diagrams (BDDs) with best-first search, such as A* and greedy best-first search. The framework relies on an extension of these algorithms from expanding a single state in each iteration to expanding a set of states. We prove that it is generally sound and optimal for two A* implementations and show how a new BDD technique called branching partitioning can be used to efficiently expand sets of states. The framework is general. It applies to any heuristic function, evaluation function, and transition cost function defined over a finite domain. Moreover, branching partitioning applies to both disjunctive and conjunctive transition relation partitioning. An extensive experimental evaluation of the two A* implementations proves state-set branching to be a powerful framework. The algorithms outperform the ordinary A* algorithm in almost all domains. In addition, they can improve the complexity of A* exponentially and often dominate both A* and blind BDD-based search by several orders of magnitude. Moreover, they have substantially better performance than BDDA*, the currently most efficient BDD-based implementation of A*. |
Year | DOI | Venue |
|---|---|---|
2008 | 10.1016/j.artint.2007.05.009 | Artif. Intell. |
Keywords | Field | DocType |
heuristic search,heuristic function,ordinary a,greedy best-first search,conjunctive transition relation partitioning,best-first search,blind bdd-based search,symbolic search,bdd-based search,boolean representation,leveraging bdds,powerful framework,evaluation function,efficient bdd-based implementation,urls,cost function | Heuristic function,Heuristic,Evaluation function,Binary decision diagram,Algorithm,Implementation,Theoretical computer science,Boolean algebra,Mathematics,Exponential growth,Branching (version control) | Journal |
Volume | Issue | ISSN |
172 | 2-3 | 0004-3702 |
Citations | PageRank | References |
11 | 0.61 | 44 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Rune M. Jensen | 1 | 174 | 9.27 |
| Manuela Veloso | 2 | 8563 | 882.50 |
| Randal E. Bryant | 3 | 9204 | 1194.64 |