A SAT-based approach to cost-sensitive temporally expressive planning
Qiang Lu, Ruoyun Huang, Yixin Chen, You Xu, Weixiong Zhang, Guoliang Chen
- Anthology ID:
- DBLP:journals/tist/LuHCXZC13
- Volume:
- 2013 Volume 5 Issue 1
- Year:
- 2013
- Venue:
- tist_journal
- Pages:
- 18:1–18:35
- URL:
- https://doi.org/10.1145/2542182.2542200
- DOI:
- 10.1145/2542182.2542200
- DBLP:
- journals/tist/LuHCXZC13
