Zawadzki_Generalization_SAT_AP.pdf Download Tags: #SAT CMU counting July'14 policy evaluation quantifier alternation satisfiability Submitted by Jamie Hagerty on Mon, 12/05/2016 - 08:02