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]

@article{CaiY12,
  title = {On the utility of landmarks in SAT based planning},
  author = {Dunbo Cai and Minghao Yin},
  year = {2012},
  doi = {10.1016/j.knosys.2012.06.011},
  url = {http://dx.doi.org/10.1016/j.knosys.2012.06.011},
  researchr = {https://researchr.org/publication/CaiY12},
  cites = {0},
  citedby = {0},
  journal = {Knowl.-Based Syst.},
  volume = {36},
  pages = {146-154},
}