Buchumschlag

Engineering an Exact Pseudo-Boolean Model Counter

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Yang, Suwei, Meel, Kuldeep S.
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Artificial Intelligence
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 Top-Down Pseudo-Boolean Model Counting
von: Yang, Suwei, et al.
Veröffentlicht: (2025)

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

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

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

Probabilistic Explanations for Linear Models
von: Subercaseaux, Bernardo, et al.
Veröffentlicht: (2024)

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

Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification
von: Liao, Yuke, et al.
Veröffentlicht: (2025)

Locally-Minimal Probabilistic Explanations
von: Izza, Yacine, et al.
Veröffentlicht: (2023)

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

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

Quantifying Sensitivity for Tree Ensembles: A symbolic and compositional approach
von: Akshay, S., et al.
Veröffentlicht: (2026)

Formally Solving Answer-Construction Problems in Lean
von: Sun, Jialiang, et al.
Veröffentlicht: (2025)

Pseudo-Boolean Proof Logging for Optimal Classical Planning
von: Dold, Simon, et al.
Veröffentlicht: (2025)

New Hybrid Heuristics for Pseudo-Boolean Propagation
von: Müßig, Mia, et al.
Veröffentlicht: (2025)

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

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

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

The Cardinality of Identifying Code Sets for Soccer Ball Graph with Application to Remote Sensing
von: Latour, Anna L. D., et al.
Veröffentlicht: (2024)

Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers
von: Zheng, Jiongzhi, et al.
Veröffentlicht: (2024)

ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization
von: Chen, Zhihan, et al.
Veröffentlicht: (2024)

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

G-CSEA: A Graph-Based Conflict Set Extraction Algorithm for Identifying Infeasibility in Pseudo-Boolean Models
von: Garg, Kanishk, et al.
Veröffentlicht: (2025)

Engineering an Efficient Approximate DNF-Counter
von: Soos, Mate, et al.
Veröffentlicht: (2024)

Inventory of the 12 007 Low-Dimensional Pseudo-Boolean Landscapes Invariant to Rank, Translation, and Rotation
von: Liefooghe, Arnaud, et al.
Veröffentlicht: (2026)

CounterMoral: Editing Morals in Language Models
von: Ripa, Michael, et al.
Veröffentlicht: (2026)

BoolXLLM: LLM-Assisted Explainability for Boolean Models
von: Cheng, Du, et al.
Veröffentlicht: (2026)

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

PureDiffusion: Using Backdoor to Counter Backdoor in Generative Diffusion Models
von: Truong, Vu Tuan, et al.
Veröffentlicht: (2024)

Agent-Agnostic Evaluation of SQL Accuracy in Production Text-to-SQL Systems
von: Arif, Taslim Jamal, et al.
Veröffentlicht: (2026)

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

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

Practical Boolean Backpropagation
von: Golbert, Simon
Veröffentlicht: (2025)

Ethical AI in the Healthcare Sector: Investigating Key Drivers of Adoption through the Multi-Dimensional Ethical AI Adoption Model (MEAAM)
von: Muzumdar, Prathamesh, et al.
Veröffentlicht: (2025)

Learning Compact Boolean Networks
von: Wang, Shengpu, et al.
Veröffentlicht: (2026)

Learning with Boolean threshold functions
von: Elser, Veit, et al.
Veröffentlicht: (2026)

Abstract Dialectical Frameworks are Boolean Networks (full version)
von: Heyninck, Jesse, et al.
Veröffentlicht: (2024)

Selection Hyper-heuristics Can Automatically Adjust the Learning Period to Optimally Solve Pseudo-Boolean Problems
von: Doerr, Benjamin, et al.
Veröffentlicht: (2026)

FairSTG: Countering performance heterogeneity via collaborative sample-level optimization
von: Lin, Gengyu, et al.
Veröffentlicht: (2024)

Unveiling and Addressing Pseudo Forgetting in Large Language Models
von: Sun, Huashan, et al.
Veröffentlicht: (2024)