Author: Sibylle Möhle
School: Johannes Kepler University Linz, Altenberger Strasse 69, 4040 Linz, Austria
Supervisors: Prof. Dr. Armin Biere, University of Freiburg, Freiburg im Breisgau, Germany
Graduated: July 01, 2022
Link to full text: </theses/sibylle_rosa_natalina_mohle-rotondi_-_formalizing_methods_for_propositional_model_counting_and_enumeration.pdf>