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

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

[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/)

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