Kevin Zhou : Weighted Model Counting

Posted by Kevin Zhou , part of the Louise Hay Logic Seminar.

At

Jan. 30, 2023, 4 p.m.

In

612 SEO

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.