Rintanen. "Temporal Planning with Clock-Based SMT Encodings." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/103
Markdown
[Rintanen. "Temporal Planning with Clock-Based SMT Encodings." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/rintanen2017ijcai-temporal/) doi:10.24963/IJCAI.2017/103
BibTeX
@inproceedings{rintanen2017ijcai-temporal,
title = {{Temporal Planning with Clock-Based SMT Encodings}},
author = {Rintanen, Jussi},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2017},
pages = {743-749},
doi = {10.24963/IJCAI.2017/103},
url = {https://mlanthology.org/ijcai/2017/rintanen2017ijcai-temporal/}
}