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

原文求助

摘要

En 中文

• 一种用于C2的WFOMC算法及其模计数扩展。 • 具有计数量词的两变量逻辑中WFOMC更严格的数据复杂性。 • C2的模计数扩展的领域提升性。

Keyword:

Lifted probabilistic inference

Model counting

Two-variable logic

Counting quantifiers

Modulo counting quantifiers