A generalization of SAT and #SAT for policy evaluation

@TECHREPORT{DBLP:conf/ijcai/ZawadzkiPG13:TR,
	ref = {DBLP:conf/ijcai/ZawadzkiPG13},

  author    = {Erik P. Zawadzki and
               Andr{\'e} Platzer and
               Geoffrey J. Gordon},
  title     = {A Generalization of {SAT} and {\#{SAT}}
               for Policy Evaluation},
  number    = {CMU-CS-13-107},
  year      = {2013},
  month     = {},
  institution = {School of Computer Science,
               Carnegie Mellon University},
  address   = {Pittsburgh, PA},
  pdf = {http://reports-archive.adm.cs.cmu.edu/anon/2013/CMU-CS-13-107.pdf}
}```