Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - JOUR
ID - DBLP:journals/kbs/CaiY12
AU - Cai, Dunbo
AU - Yin, Minghao
TI - On the utility of landmarks in SAT based planning.
JO - Knowl. Based Syst.
VL - 36
SP - 146
EP - 154
PY - 2012//
DO - 10.1016/J.KNOSYS.2012.06.011
UR - https://doi.org/10.1016/j.knosys.2012.06.011
ER -