Louise Hay Logic Seminar
Kevin Zhou
UIC
Weighted Model Counting
Abstract: But why male models? This classical question was originally posed by Derek Zoolander in 2001. We do not directly address this question, but instead turn our attention to a related one involving the weighted sums of particular classes of finite models. Since weight is a sensitive topic for many, we will need to use some specialized techniques in order to handle this subject in an appropriate way.
Monday January 30, 2023 at 4:00 PM in 612 SEO