Merge-and-Shrink Abstraction: A Method for Generating Lower Bounds in Factored State Spaces

Malte Helmert, Patrik Haslum, Jörg Hoffmann, Raz Nissim. Merge-and-Shrink Abstraction: A Method for Generating Lower Bounds in Factored State Spaces. Journal of the ACM, 61(3):16, 2014. [doi]

Abstract

Abstract is missing.