Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to Beat.

Jan Tth, Ondrej Kuzelka

Browse the full KR paper archive.