:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Yang, Suwei, Meel, Kuldeep S.
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Artificial Intelligence
Accesso online:	https://arxiv.org/abs/2312.12341
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

Model Counting in the Wild
di: Shaw, Arijit, et al.
Pubblicazione: (2024)

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

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

Probabilistic Explanations for Linear Models
di: Subercaseaux, Bernardo, et al.
Pubblicazione: (2024)

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

Locally-Minimal Probabilistic Explanations
di: Izza, Yacine, et al.
Pubblicazione: (2023)

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

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

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

Quantifying Sensitivity for Tree Ensembles: A symbolic and compositional approach
di: Akshay, S., et al.
Pubblicazione: (2026)

Formally Solving Answer-Construction Problems in Lean
di: Sun, Jialiang, et al.
Pubblicazione: (2025)

An Approximate Skolem Function Counter
di: Shaw, Arijit, et al.
Pubblicazione: (2023)

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

Pseudo-Boolean Proof Logging for Optimal Classical Planning
di: Dold, Simon, et al.
Pubblicazione: (2025)

New Hybrid Heuristics for Pseudo-Boolean Propagation
di: Müßig, Mia, et al.
Pubblicazione: (2025)

Engineering an Efficient Approximate DNF-Counter
di: Soos, Mate, et al.
Pubblicazione: (2024)

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

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

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

Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers
di: Zheng, Jiongzhi, et al.
Pubblicazione: (2024)

ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization
di: Chen, Zhihan, et al.
Pubblicazione: (2024)

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

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

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

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

CounterMoral: Editing Morals in Language Models
di: Ripa, Michael, et al.
Pubblicazione: (2026)

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

BoolXLLM: LLM-Assisted Explainability for Boolean Models
di: Cheng, Du, et al.
Pubblicazione: (2026)

Agent-Agnostic Evaluation of SQL Accuracy in Production Text-to-SQL Systems
di: Arif, Taslim Jamal, et al.
Pubblicazione: (2026)

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

PureDiffusion: Using Backdoor to Counter Backdoor in Generative Diffusion Models
di: Truong, Vu Tuan, et al.
Pubblicazione: (2024)

Practical Boolean Backpropagation
di: Golbert, Simon
Pubblicazione: (2025)

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

An FPRAS for Model Counting for Non-Deterministic Read-Once Branching Programs
di: Meel, Kuldeep S., et al.
Pubblicazione: (2024)

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

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

Learning Compact Boolean Networks
di: Wang, Shengpu, et al.
Pubblicazione: (2026)

Learning with Boolean threshold functions
di: Elser, Veit, et al.
Pubblicazione: (2026)