Cover Image

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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Sun, Shixin, Klipfel, Astrid, Kuželka, Ondřej, Wang, Yuanhong, Chang, Yi
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science Artificial Intelligence 03C13, 68T27, 05-08 F.4.0
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Tractable Weighted First-Order Model Counting with Bounded Treewidth Binary Evidence
by: Kůla, Václav, et al.
Published: (2025)

Weighted First Order Model Counting for Two-variable Logic with Axioms on Two Relations
by: Kuang, Qipeng, et al.
Published: (2025)

Bridging Weighted First Order Model Counting and Graph Polynomials
by: Kuang, Qipeng, et al.
Published: (2024)

Quantitative Linear Logic
by: Capucci, Matteo, et al.
Published: (2026)

Solving Combinatorial Counting Problems with Weighted First-Order Model Counting
by: Wang, Yuanhong, et al.
Published: (2026)

Higher-Order Pattern Unification Modulo Similarity Relations
by: Dundua, Besik, et al.
Published: (2025)

A proof complexity conjecture and the Incompleteness theorem
by: Krajicek, Jan
Published: (2023)

Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to Beat
by: Tóth, Jan, et al.
Published: (2024)

Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting
by: Kuijer, Louwe, et al.
Published: (2025)

On the relative asymptotic expressivity of inference frameworks
by: Koponen, Vera, et al.
Published: (2022)

Different Theories of Parts
by: Pietruszczak, Andrzej
Published: (2024)

Complexities of Well-Quasi-Ordered Substructural Logics
by: Galatos, Nikolaos, et al.
Published: (2025)

Lifted Algorithms for Symmetric Weighted First-Order Model Sampling
by: Wang, Yuanhong, et al.
Published: (2023)

Algebraic Proof Theory for Infinitary Action Logic
by: Fussner, Wesley, et al.
Published: (2025)

Domain size asymptotics for Markov logic networks
by: Koponen, Vera
Published: (2025)

Random expansions of trees with bounded height
by: Koponen, Vera, et al.
Published: (2024)

A convergence law for continuous logic and continuous structures with finite domains
by: Koponen, Vera
Published: (2025)

Logical reduction of relations: from relational databases to Peirce's reduction thesis
by: Koshkin, Sergiy
Published: (2024)

The Solver's Paradox in Formal Problem Spaces
by: Rosko, Milan
Published: (2025)

A meta-modal logic for bisimulations
by: Burrieza, Alfredo, et al.
Published: (2025)

The Syllogistic with Unity
by: Pratt-Hartmann, Ian
Published: (2011)

Interleaving Logic and Counting
by: van Benthem, Johan, et al.
Published: (2025)

A Unified Formal Theory on the Logical Limits of Symbol Grounding
by: Liu, Zhangchi
Published: (2025)

TAPO-Structured Description Logic for Information Behavior: Procedural and Oracle-Based Extensions
by: Inoué, Takao
Published: (2026)

Normalization properties of $λμ$-calculus using realizability semantics
by: Battyanyi, Peter, et al.
Published: (2023)

Serial Properties, Selector Proofs, and the Provability of Consistency
by: Artemov, Sergei
Published: (2024)

Non-Compact Proofs
by: Artemov, Sergei
Published: (2025)

Consistency formula is strictly stronger in PA than PA-consistency
by: Artemov, Sergei
Published: (2025)

Do not throw out the baby: Clarithmetics as alternatives to weak arithmetics
by: Japaridze, Giorgi
Published: (2026)

The Fractal Logic of Phi-adic Recursion
by: Rosko, Milan
Published: (2025)

The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
by: Rahnama, Moses
Published: (2025)

A propositional cirquent calculus for computability logic
by: Japaridze, Giorgi
Published: (2024)

Description Complexity of Unary Structures in First-Order Logic with Links to Entropy
by: Jaakkola, Reijo, et al.
Published: (2024)

Adversarial Barrier in Uniform Class Separation
by: Rosko, Milan
Published: (2025)

Comparing Knowledge: An Analysis of the Relative Epistemic Powers of Groups
by: Alexandru, Baltag, et al.
Published: (2025)

Polynomial definability in constraint languages with few subpowers
by: Bulín, Jakub, et al.
Published: (2023)

Provability in BI's Sequent Calculus is Decidable
by: Gheorghiu, Alexander, et al.
Published: (2021)

Generalization of terms via universal algebra
by: Flaminio, Tommaso, et al.
Published: (2025)

State Algebra for Propositional Logic
by: Lesnik, Dmitry, et al.
Published: (2025)

Extensional Independence
by: Kurahashi, Taishi, et al.
Published: (2025)