Merge-and-Shrink Abstraction: A Method for Generating Lower Bounds in Factored State Spaces
Many areas of computer science require answering questions about reachability in compactly described discrete transition systems. Answering such questions effectively requires techniques to be able to do so without building the entire system. In particular, heuristic search uses lower-bounding ("admissible") heuristic functions to prune parts of the system known to not contain an optimal solution. A prominent technique for deriving such bounds is to consider abstract transition systems that...[Show more]
|Collections||ANU Research Publications|
|Source:||Journal of the ACM|
|01_Helmert_Merge-and-Shrink_Abstraction:_2014.pdf||1.5 MB||Adobe PDF||Request a copy|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.