A generalization of SAT and #SAT for policy evaluation

@INPROCEEDINGS{DBLP:conf/ijcai/ZawadzkiPG13,
	pdf = {pub/sharpE.pdf},
	TR = {DBLP:conf/ijcai/ZawadzkiPG13:TR},

  author    = {Erik P. Zawadzki and
               Andr{\'e} Platzer and
               Geoffrey J. Gordon},
  title     = {A Generalization of {SAT} and {\#{SAT}}
               for Policy Evaluation},
  booktitle = {IJCAI},
  year      = {2013},
  pages     = {2583-2589},
  editor    = {Francesca Rossi},
  longbooktitle = {IJCAI 2013, Proceedings of the 23nd
               International Joint Conference on
               Artificial Intelligence, Beijing,
               China, August 3-9, 2013},
  publisher = {IJCAI/AAAI},
  isbn      = {},
  eprint    = {http://ijcai.org/Abstract/13/380},
}```