Fixed-Parameter Tractable Reductions to SAT for Planning

de Haan et al. "Fixed-Parameter Tractable Reductions to SAT for Planning." International Joint Conference on Artificial Intelligence, 2015.

[de Haan et al. "Fixed-Parameter Tractable Reductions to SAT for Planning." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/dehaan2015ijcai-fixed/)

@inproceedings{dehaan2015ijcai-fixed,
  title     = {{Fixed-Parameter Tractable Reductions to SAT for Planning}},
  author    = {de Haan, Ronald and Kronegger, Martin and Pfandler, Andreas},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2015},
  pages     = {2897-2903},
  url       = {https://mlanthology.org/ijcai/2015/dehaan2015ijcai-fixed/}
}