Relaxed Exists-Step Plans in Planning as SMT

Cite

Text

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/}
}