Faster lifting for two-variable logic using cell graphs

Timothy van Bremen, Ondrej Kuzelka

Abstract: We consider the weighted first-order model counting (WFOMC) task, a problem with important applications to inference and learning in structured graphical models. Bringing together earlier work [Van...