Weighted First Order Model Counting for Two-variable Logic with Axioms on Two Relations

Documenti analoghi

• Tractable Weighted First-Order Model Counting with Bounded Treewidth Binary Evidence
  di: Kůla, Václav, et al.
  Pubblicazione: (2025)
• Bridging Weighted First Order Model Counting and Graph Polynomials
  di: Kuang, Qipeng, et al.
  Pubblicazione: (2024)
• A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers
  di: Sun, Shixin, et al.
  Pubblicazione: (2026)
• Lifted Algorithms for Symmetric Weighted First-Order Model Sampling
  di: Wang, Yuanhong, et al.
  Pubblicazione: (2023)
• Solving Combinatorial Counting Problems with Weighted First-Order Model Counting
  di: Wang, Yuanhong, et al.
  Pubblicazione: (2026)