Cover Image

Minimal Model Counting via Knowledge Compilation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Kabir, Mohimenul
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On Lower Bounding Minimal Model Count
by: Kabir, Mohimenul, et al.
Published: (2024)

Answer Set Counting and its Applications
by: Kabir, Mohimenul
Published: (2025)

A Simple and Effective ASP-Based Tool for Enumerating Minimal Hitting Sets
by: Kabir, Mohimenul, et al.
Published: (2025)

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks
by: Kabir, Mohimenul, et al.
Published: (2025)

Counting Answer Sets of Disjunctive Answer Set Programs
by: Kabir, Mohimenul, et al.
Published: (2025)

An ASP-Based Framework for MUSes
by: Kabir, Mohimenul, et al.
Published: (2025)

Certified Knowledge Compilation with Application to Formally Verified Model Counting
by: Bryant, Randal E., et al.
Published: (2025)

Compilation and Fast Model Counting beyond CNF
by: de Colnet, Alexis, et al.
Published: (2025)

On Knowledge Compilation For Two-Variable First-Order Logic
by: Meng, Qiaolan, et al.
Published: (2026)

Compiling Quantum Lambda-Terms into Circuits via the Geometry of Interaction
by: Chardonnet, Kostia, et al.
Published: (2026)

Ranked Enumeration for MSO on Trees via Knowledge Compilation
by: Amarilli, Antoine, et al.
Published: (2023)

Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting
by: Lichter, Moritz
Published: (2022)

On Top-Down Pseudo-Boolean Model Counting
by: Yang, Suwei, et al.
Published: (2025)

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)

Knowledge Compilation for Quantification in Alternating Automata
by: Akshay, S., et al.
Published: (2026)

Counting Like Transformers: Compiling Temporal Counting Logic Into Softmax Transformers
by: Yang, Andy, et al.
Published: (2024)

Combining Combination Properties: Minimal Models
by: de Toledo, Guilherme Vicentin, et al.
Published: (2024)

Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
by: Liang, Xiaolong, et al.
Published: (2024)

When Do You Start Counting? Revisiting Counting and Pnueli Modalities in Timed Logics
by: Ho, Hsi-Ming, et al.
Published: (2024)

Model Counting in the Wild
by: Shaw, Arijit, et al.
Published: (2024)

Agent-Knowledge Logic for Alternative Epistemic Logic
by: Nishimura, Yuki
Published: (2024)

Model Counting for Dependency Quantified Boolean Formulas
by: Fung, Long-Hin, et al.
Published: (2025)

Verification of Linear Dynamical Systems via O-Minimality of the Real Numbers
by: Karimov, Toghrul
Published: (2024)

MCAC: A Model Counting Algorithm for Exact Computation of Error Metrics of Approximate Circuits
by: Ramprasath, S, et al.
Published: (2024)

Formally Certified Approximate Model Counting
by: Tan, Yong Kiam, et al.
Published: (2024)

Simulating Quantum Circuits by Model Counting
by: Mei, Jingyi, et al.
Published: (2024)

Towards Counting Markov Equivalence Classes with Logical Constraints
by: Bizzaro, Davide, et al.
Published: (2024)

Modular Counting over 3-Element and Conservative Domains
by: Bulatov, Andrei A., et al.
Published: (2025)

Inapproximability of Unique Games in Fixed-Point Logic with Counting
by: Tucker-Foltz, Jamie
Published: (2021)

Termination of Graph Transformation Systems Using Weighted Subgraph Counting
by: Overbeek, Roy, et al.
Published: (2023)

Adaptive Query Algorithms for Relational Structures Based on Homomorphism Counts
by: Cate, Balder ten, et al.
Published: (2025)

Towards Practical First-Order Model Counting
by: Kidambi, Ananth K., et al.
Published: (2025)

Minimally Comparing Relational Abstract Domains
by: Ballou, Kenny, et al.
Published: (2023)

Efficient Incremental #SAT via Cross-Instance Knowledge Reuse
by: Bartal, Uriya, et al.
Published: (2026)

A Game for Counting Logic Formula Size and an Application to Linear Orders
by: Fournier, Gregoire, et al.
Published: (2025)

Unifying the Three Algebraic Approaches to the CSP via Minimal Taylor Algebras
by: Barto, Libor, et al.
Published: (2021)

Identifying Minimal Changes in the Zone Abstract Domain
by: Ballou, Kenny, et al.
Published: (2023)

Compact SAT Encoding for Power Peak Minimization
by: Van Kieu, Tuyen, et al.
Published: (2025)

Towards Projected and Incremental Pseudo-Boolean Model Counting
by: Yang, Suwei, et al.
Published: (2024)

Modular Counting CSP: Reductions and Algorithms
by: Kazeminia, Amirhossein, et al.
Published: (2025)