A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers

Shixin Sun

doi:10.1016/j.ijar.2026.109832

A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers

2026-09-24

0

PRE

AI

DOI：10.1016/j.ijar.2026.109832

Original

Original request for help

Save

Abstract

En 中文

• A novel WFOMC algorithm for C2 and its modulo-counting extension. • Tighter data complexity for WFOMC in two-variable logic with counting quantifiers. • Domain-liftability of the modulo-counting extension of C2.

Keywords:

Lifted probabilistic inference

Model counting

Two-variable logic

Counting quantifiers

Modulo counting quantifiers

A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers

Abstract

Journal

Organization

Cited Papers