Experience
Education
Bio
Research interests Quantified Boolean Formulas (QBFs) Propositional Model Counting (#SAT) Knowledge Compilation