(Dual) Propositional Model Counting and Back Enumeration without Repetition
FMCAD 2020 Student Forum, Cyberspace, 24 September, 2020. Best Student Contribution.

[ award ]