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', 'André Platzer', '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}
}