A Generalization of SAT and #SAT for Robust Policy Evaluation

Zawadzki et al. "A Generalization of SAT and #SAT for Robust Policy Evaluation." International Joint Conference on Artificial Intelligence, 2013.

[Zawadzki et al. "A Generalization of SAT and #SAT for Robust Policy Evaluation." International Joint Conference on Artificial Intelligence, 2013.](https://mlanthology.org/ijcai/2013/zawadzki2013ijcai-generalization/)

@inproceedings{zawadzki2013ijcai-generalization,
  title     = {{A Generalization of SAT and #SAT for Robust Policy Evaluation}},
  author    = {Zawadzki, Erik Peter and Platzer, André and Gordon, Geoffrey J.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2013},
  pages     = {2583-2590},
  url       = {https://mlanthology.org/ijcai/2013/zawadzki2013ijcai-generalization/}
}