On the utility of landmarks in SAT based planning

Dunbo Cai, Minghao Yin. On the utility of landmarks in SAT based planning. Knowl.-Based Syst., 36:146-154, 2012. [doi]

Abstract

Abstract is missing.