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 |
|---|---|
| Year: | 2013 |
| Venue: | ACM Transactions on Intelligent Systems and Technology (TIST) |
| Pages: | 18:1-18:35 |
| URL: | https://doi.org/10.1145/2542182.2542200 |
| DOI: | https://doi.org/10.1145/2542182.2542200 |
| DBLP: | journals/tist/LuHCXZC13 |
| BibTeX: |
@article{lu-2013-satbased,
author = {Qiang Lu and
Ruoyun Huang and
Yixin Chen and
You Xu and
Weixiong Zhang and
Guoliang Chen},
title = {{A SAT-based approach to cost-sensitive temporally expressive planning}},
journal = {ACM Transactions on Intelligent Systems and Technology (TIST)},
volume = {5},
number = {1},
pages = {18:1--18:35},
year = {2013},
url = {https://doi.org/10.1145/2542182.2542200},
doi = {https://doi.org/10.1145/2542182.2542200}
}