(Dual) Propositional Model Counting and Back Enumeration without RepetitionFMCAD 2020 Student Forum, Cyberspace, 24 September, 2020. Best Student Contribution. [ award ]