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]

Authors

Dunbo Cai

This author has not been identified. Look up 'Dunbo Cai' in Google

Minghao Yin

This author has not been identified. Look up 'Minghao Yin' in Google