You Xu

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