Francès and Geffner. "∃-STRIPS: Existential Quantification in Planning and Constraint Satisfaction." International Joint Conference on Artificial Intelligence, 2016.
Markdown
[Francès and Geffner. "∃-STRIPS: Existential Quantification in Planning and Constraint Satisfaction." International Joint Conference on Artificial Intelligence, 2016.](https://mlanthology.org/ijcai/2016/frances2016ijcai-strips/)
BibTeX
@inproceedings{frances2016ijcai-strips,
title = {{∃-STRIPS: Existential Quantification in Planning and Constraint Satisfaction}},
author = {Francès, Guillem and Geffner, Hector},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2016},
pages = {3082-3088},
url = {https://mlanthology.org/ijcai/2016/frances2016ijcai-strips/}
}