Investigating the Effect of Relevance and Reachability Constraints on SAT Encodings of Planning

Cite

Text

Srivastava. "Investigating the Effect of Relevance and Reachability Constraints on SAT Encodings of Planning." AAAI Conference on Artificial Intelligence, 1999.

Markdown

[Srivastava. "Investigating the Effect of Relevance and Reachability Constraints on SAT Encodings of Planning." AAAI Conference on Artificial Intelligence, 1999.](https://mlanthology.org/aaai/1999/srivastava1999aaai-investigating/)

BibTeX

@inproceedings{srivastava1999aaai-investigating,
  title     = {{Investigating the Effect of Relevance and Reachability Constraints on SAT Encodings of Planning}},
  author    = {Srivastava, Biplav},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1999},
  pages     = {982},
  url       = {https://mlanthology.org/aaai/1999/srivastava1999aaai-investigating/}
}