Bofill et al. "Relaxed Exists-Step Plans in Planning as SMT." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/79
Markdown
[Bofill et al. "Relaxed Exists-Step Plans in Planning as SMT." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/bofill2017ijcai-relaxed/) doi:10.24963/IJCAI.2017/79
BibTeX
@inproceedings{bofill2017ijcai-relaxed,
title = {{Relaxed Exists-Step Plans in Planning as SMT}},
author = {Bofill, Miquel and Espasa, Joan and Villaret, Mateu},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2017},
pages = {563-570},
doi = {10.24963/IJCAI.2017/79},
url = {https://mlanthology.org/ijcai/2017/bofill2017ijcai-relaxed/}
}