Brafman. "Reachability, Relevance, Resolution and the Planning as Satisfiability Approach." International Joint Conference on Artificial Intelligence, 1999.
Markdown
[Brafman. "Reachability, Relevance, Resolution and the Planning as Satisfiability Approach." International Joint Conference on Artificial Intelligence, 1999.](https://mlanthology.org/ijcai/1999/brafman1999ijcai-reachability/)
BibTeX
@inproceedings{brafman1999ijcai-reachability,
title = {{Reachability, Relevance, Resolution and the Planning as Satisfiability Approach}},
author = {Brafman, Ronen I.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1999},
pages = {976-981},
url = {https://mlanthology.org/ijcai/1999/brafman1999ijcai-reachability/}
}