Buchumschlag

On Top-Down Pseudo-Boolean Model Counting

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Yang, Suwei, Lai, Yong, Meel, Kuldeep S.
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Towards Projected and Incremental Pseudo-Boolean Model Counting
von: Yang, Suwei, et al.
Veröffentlicht: (2024)

On Lower Bounding Minimal Model Count
von: Kabir, Mohimenul, et al.
Veröffentlicht: (2024)

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks
von: Kabir, Mohimenul, et al.
Veröffentlicht: (2025)

Model Counting in the Wild
von: Shaw, Arijit, et al.
Veröffentlicht: (2024)

Approximate SMT Counting Beyond Discrete Domains
von: Shaw, Arijit, et al.
Veröffentlicht: (2025)

Formally Certified Approximate Model Counting
von: Tan, Yong Kiam, et al.
Veröffentlicht: (2024)

Engineering an Exact Pseudo-Boolean Model Counter
von: Yang, Suwei, et al.
Veröffentlicht: (2023)

Counting Answer Sets of Disjunctive Answer Set Programs
von: Kabir, Mohimenul, et al.
Veröffentlicht: (2025)

Towards Practical First-Order Model Counting
von: Kidambi, Ananth K., et al.
Veröffentlicht: (2025)

A Simple and Effective ASP-Based Tool for Enumerating Minimal Hitting Sets
von: Kabir, Mohimenul, et al.
Veröffentlicht: (2025)

The Limitations and Power of NP-Oracle-Based Functional Synthesis Techniques
von: Juba, Brendan, et al.
Veröffentlicht: (2025)

An ASP-Based Framework for MUSes
von: Kabir, Mohimenul, et al.
Veröffentlicht: (2025)

Efficient Volume Computation for SMT Formulas
von: Shaw, Arijit, et al.
Veröffentlicht: (2025)

An Approximate Skolem Function Counter
von: Shaw, Arijit, et al.
Veröffentlicht: (2023)

Assessing the Quality of Binomial Samplers: A Statistical Distance Framework
von: Sarkar, Uddalok, et al.
Veröffentlicht: (2025)

Counting and Sampling Traces in Regular Languages
von: de Colnet, Alexis, et al.
Veröffentlicht: (2025)

CNFs and DNFs with Exactly $k$ Solutions
von: Chandran, L. Sunil, et al.
Veröffentlicht: (2025)

Model Counting for Dependency Quantified Boolean Formulas
von: Fung, Long-Hin, et al.
Veröffentlicht: (2025)

Towards Practical Zero-Knowledge Proof for PSPACE
von: Karthikeyan, Ashwin, et al.
Veröffentlicht: (2025)

A faster FPRAS for #NFA
von: Meel, Kuldeep S., et al.
Veröffentlicht: (2023)

Efficient Certified Reasoning for Binarized Neural Networks
von: Yang, Jiong, et al.
Veröffentlicht: (2025)

PBLean: Pseudo-Boolean Proof Certificates for Lean 4
von: Szeider, Stefan
Veröffentlicht: (2026)

Rings and Boolean Algebras as Algebraic Theories
von: De Faveri, Arturo
Veröffentlicht: (2025)

Boolean basis, formula size, and number of modal operators
von: Berkholz, Christoph, et al.
Veröffentlicht: (2024)

Pseudo-Boolean d-DNNF Compilation for Expressive Feature Modeling Constructs
von: Sundermann, Chico, et al.
Veröffentlicht: (2025)

Satisfiability of Quantified Boolean Announcements
von: van Ditmarsch, Hans, et al.
Veröffentlicht: (2022)

Deciding Boolean Separation Logic via Small Models (Technical Report)
von: Dacík, Tomáš, et al.
Veröffentlicht: (2024)

Compositional Control-Driven Boolean Circuits
von: Arellanes, Damian
Veröffentlicht: (2025)

Symmetries of Dependency Quantified Boolean Formulas
von: Hofstadler, Clemens, et al.
Veröffentlicht: (2024)

Structural Analysis of Boolean Equation Systems
von: Keiren, Jeroen, et al.
Veröffentlicht: (2010)

Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting
von: Lichter, Moritz
Veröffentlicht: (2022)

Simplifier: A New Tool for Boolean Circuit Simplification
von: Averkov, Daniil, et al.
Veröffentlicht: (2025)

Bringing memory to Boolean networks: a unifying framework
von: Gadouleau, Maximilien, et al.
Veröffentlicht: (2024)

Practical Boolean Decomposition for Delay-driven LUT Mapping
von: Calvino, Alessandro Tempia, et al.
Veröffentlicht: (2024)

Bridging abstract dialectical argumentation and Boolean gene regulation
von: Azpeitia, Eugenio, et al.
Veröffentlicht: (2024)

Minimal Model Counting via Knowledge Compilation
von: Kabir, Mohimenul
Veröffentlicht: (2024)

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

On the Number of Quantifiers Needed to Define Boolean Functions
von: Carmosino, Marco, et al.
Veröffentlicht: (2024)

Logics with probabilistic team semantics and the Boolean negation
von: Hannula, Miika, et al.
Veröffentlicht: (2023)

Fixpoint Theory -- Upside Down
von: Baldan, Paolo, et al.
Veröffentlicht: (2021)