IR
Anthology
Community
Qiang
Lu
2013
doi
dblp
A SAT-based approach to cost-sensitive temporally expressive planning.
Qiang Lu
|
Ruoyun Huang
|
Yixin Chen
|
You Xu
|
Weixiong Zhang
|
Guoliang Chen
ACM Transactions on Intelligent Systems and Technology (TIST) 2013 Volume 5 Issue 1