Sign in

A SAT-based approach to cost-sensitive temporally expressive planning.

Qiang LuRuoyun HuangYixin ChenYou XuWeixiong ZhangGuoliang Chen
Published in: ACM Trans. Intell. Syst. Technol. (2013)
Keyphrases