Addressing Proposition Model Counting and Enumeration with and without Projection Teaching and Research Unit Programming and Modelling Languages, Ludwig-Maximilians-Universität München, Cyberspace, July 16, 2020 [ slides ]