Cover Image

Towards Projected and Incremental Pseudo-Boolean Model Counting

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Yang, Suwei, Meel, Kuldeep S.
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

Approximate SMT Counting Beyond Discrete Domains
by: Shaw, Arijit, et al.
Published: (2025)

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

Engineering an Exact Pseudo-Boolean Model Counter
by: Yang, Suwei, et al.
Published: (2023)

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

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

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

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

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

PBLean: Pseudo-Boolean Proof Certificates for Lean 4
by: Szeider, Stefan
Published: (2026)

Efficient Certified Reasoning for Binarized Neural Networks
by: Yang, Jiong, et al.
Published: (2025)

Pseudo-Boolean d-DNNF Compilation for Expressive Feature Modeling Constructs
by: Sundermann, Chico, et al.
Published: (2025)

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

The Limitations and Power of NP-Oracle-Based Functional Synthesis Techniques
by: Juba, Brendan, et al.
Published: (2025)

On the Boolean Network Theory of Datalog$^\neg$
by: Trinh, Van-Giang, et al.
Published: (2025)

Efficient Volume Computation for SMT Formulas
by: Shaw, Arijit, et al.
Published: (2025)

An Approximate Skolem Function Counter
by: Shaw, Arijit, et al.
Published: (2023)

Static Analysis of Logic Programs via Boolean Networks
by: Trinh, Van-Giang, et al.
Published: (2024)

Assessing the Quality of Binomial Samplers: A Statistical Distance Framework
by: Sarkar, Uddalok, et al.
Published: (2025)

Pruning Boolean d-DNNF Circuits Through Tseitin-Awareness
by: Derkinderen, Vincent
Published: (2024)

Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis
by: Averkov, Daniil, et al.
Published: (2024)

Boolean proportions
by: Antić, Christian
Published: (2021)

The Boolean Solution Problem from the Perspective of Predicate Logic -- Extended Version
by: Wernhard, Christoph
Published: (2017)

Counting and Sampling Traces in Regular Languages
by: de Colnet, Alexis, et al.
Published: (2025)

GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra
by: Kim, Curie, et al.
Published: (2026)

Towards Practical Zero-Knowledge Proof for PSPACE
by: Karthikeyan, Ashwin, et al.
Published: (2025)

Boolean Matrix Logic Programming on the GPU
by: Ai, Lun
Published: (2024)

Incremental Neural Network Verification via Learned Conflicts
by: Elsaleh, Raya, et al.
Published: (2026)

Power Term Polynomial Algebra for Boolean Logic
by: Sansone, Emanuele, et al.
Published: (2026)

Deductive Systems for Logic Programs with Counting
by: Fandinno, Jorge, et al.
Published: (2025)

Incremental, inconsistency-resilient reasoning over Description Logic Abox streams
by: Proost, Cas, et al.
Published: (2026)

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

Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits
by: Li, Jinzhao, et al.
Published: (2025)

On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts
by: Xiao, Shengping, et al.
Published: (2024)

Numerical Considerations in Weighted Model Counting
by: Bryant, Randal E.
Published: (2025)

CNFs and DNFs with Exactly $k$ Solutions
by: Chandran, L. Sunil, et al.
Published: (2025)

Counting Worlds Branching Time Semantics for post-hoc Bias Mitigation in generative AI
by: Buda, Alessandro G., et al.
Published: (2026)

The Model Counting Competition 2020
by: Fichte, Johannes K., et al.
Published: (2020)

Towards Fast Algorithms for the Preference Consistency Problem Based on Hierarchical Models
by: George, Anne-Marie, et al.
Published: (2024)