A generalization of SAT and #SAT for policy evaluation

@techreport{DBLP:conf/ijcai/ZawadzkiPG13:TR,
	ref = {DBLP:conf/ijcai/ZawadzkiPG13},
	author = {['Erik P. Zawadzki', 'André Platzer', '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}
}