Image de couverture de livre

Solving Combinatorial Counting Problems with Weighted First-Order Model Counting

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Wang, Yuanhong, Pu, Juhua, Zhou, Yuxu, Wang, Yuyi, Kuželka, Ondřej
Format:	Preprint
Publié:	2026
Sujets:	Artificial Intelligence Combinatorics 05A99 I.2.3; F.4.0
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Bridging Weighted First Order Model Counting and Graph Polynomials
par: Kuang, Qipeng, et autres
Publié: (2024)

Tractable Weighted First-Order Model Counting with Bounded Treewidth Binary Evidence
par: Kůla, Václav, et autres
Publié: (2025)

Weighted First Order Model Counting for Two-variable Logic with Axioms on Two Relations
par: Kuang, Qipeng, et autres
Publié: (2025)

A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers
par: Sun, Shixin, et autres
Publié: (2026)

Lifted Algorithms for Symmetric Weighted First-Order Model Sampling
par: Wang, Yuanhong, et autres
Publié: (2023)

Serial Properties, Selector Proofs, and the Provability of Consistency
par: Artemov, Sergei
Publié: (2024)

Non-Compact Proofs
par: Artemov, Sergei
Publié: (2025)

Consistency formula is strictly stronger in PA than PA-consistency
par: Artemov, Sergei
Publié: (2025)

Answering Two OPAC Problems Involving Banff Quivers
par: Ervin, Tucker J., et autres
Publié: (2023)

On the Matrix Form of the Quaternion Fourier Transform and Quaternion Convolution
par: Sfikas, Giorgos, et autres
Publié: (2023)

Counting Problems for Orthogonal Sets and Sublattices in Function Fields
par: Aranov, Noy Soffer, et autres
Publié: (2024)

Counting Finite Topologies
par: Fischer, Eldar, et autres
Publié: (2023)

GACL: Graph Attention Collaborative Learning for Temporal QoS Prediction
par: Hu, Shengxiang, et autres
Publié: (2024)

Uniquely optimal codes of low complexity are symmetric
par: King, Emily J., et autres
Publié: (2020)

Artifical intelligence and inherent mathematical difficulty
par: Dean, Walter, et autres
Publié: (2024)

The Unravelling Problem
par: Elbracht, Christian, et autres
Publié: (2021)

OnlineProver: Experience with a Visualisation Tool for Teaching Formal Proofs
par: Perháč, Ján, et autres
Publié: (2025)

Efficient Solving of Quantified Inequality Constraints over the Real Numbers
par: Ratschan, Stefan
Publié: (2002)

Homology in Combinatorial Refraction Billiards
par: Defant, Colin, et autres
Publié: (2025)

Alpay Algebra: A Universal Structural Foundation
par: Alpay, Faruk
Publié: (2025)

Computing Non-Repetitive Sequences with a Computable Lefthanded Local Lemma
par: Mourad, Daniel
Publié: (2024)

On the size of outerplanar graphs with positive Lin-Lu-Yau Ricci curvature
par: Liu, Xiaonan, et autres
Publié: (2024)

Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs
par: de Rezende, Susanna F., et autres
Publié: (2019)

Efficient Third-Harmonic Generation via Strong Coupling of Quasi-Guided Modes
par: Huang, Xin, et autres
Publié: (2025)

Counting with two-level polynomials
par: Bogart, Tristram, et autres
Publié: (2025)

Navigating Ethical AI Challenges in the Industrial Sector: Balancing Innovation and Responsibility
par: Tan, Ruomu, et autres
Publié: (2026)

Graphs with nonnegative Bakry-Émery curvature without Quadrilateral
par: Lin, Huiqiu, et autres
Publié: (2024)

Self-Satisfied: An end-to-end framework for SAT generation and prediction
par: Serrano, Christopher R., et autres
Publié: (2024)

On Knowledge Compilation For Two-Variable First-Order Logic
par: Meng, Qiaolan, et autres
Publié: (2026)

Bounds and Bugs: The Limits of Symmetry Metrics to Detect Partisan Gerrymandering
par: DeFord, Daryl, et autres
Publié: (2024)

Manifold Percolation: from generative model to Reinforce learning
par: Tong, Rui
Publié: (2025)

Solving Quantified Modal Logic Problems by Translation to Classical Logics
par: Steen, Alexander, et autres
Publié: (2022)

Graphs with positive Lin-Lu-Yau curvature without quadrilaterals
par: Lin, Huiqiu, et autres
Publié: (2024)

Properties of graphs of neural codes
par: N, Suhith K, et autres
Publié: (2024)

ARCADIA: Scalable Causal Discovery for Corporate Bankruptcy Analysis Using Agentic AI
par: Maturo, Fabrizio, et autres
Publié: (2025)

Synthetic Photography Detection: A Visual Guidance for Identifying Synthetic Images Created by AI
par: Mathys, Melanie, et autres
Publié: (2024)

Metric graphs of negative type
par: Campbell, Rutger, et autres
Publié: (2025)

Counting List Colorings of Unlabeled Graphs
par: Kaul, Hemanshu, et autres
Publié: (2024)

"What Is It That You Don't Understand?" Language Games and Black Box Algorithms
par: Demichelis, Remy
Publié: (2026)

Term Orders for Optimistic Lambda-Superposition
par: Bentkamp, Alexander, et autres
Publié: (2025)