Copertina

SharpASP Artifact

Fuente: Zenodo

Salvato in:

Dettagli Bibliografici
Autori principali:	Mohimenul, Kabir, Supratik, Chakraborty, Kuldeep S, Meel
Natura:	Recurso digital
Pubblicazione:	Zenodo 2025
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

SharpASP Artifact
di: Mohimenul, Kabir, et al.
Pubblicazione: (2026)

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

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

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

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

Artifact of ApproxASP– A Scalable Approximate Answer Set Counter
di: Mohimenul, Kabir, et al.
Pubblicazione: (2026)

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

Answer Set Counting and its Applications
di: Kabir, Mohimenul
Pubblicazione: (2025)

Minimal Model Counting via Knowledge Compilation
di: Kabir, Mohimenul
Pubblicazione: (2024)

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

A faster FPRAS for #NFA
di: Meel, Kuldeep S., et al.
Pubblicazione: (2023)

Equivalence Testing: The Power of Bounded Adaptivity
di: Chakraborty, Diptarka, et al.
Pubblicazione: (2024)

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

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

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

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

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

Towards practical FPRAS for #NFA: Exploiting the Power of Dependence
di: Meel, Kuldeep S., et al.
Pubblicazione: (2025)

#CFG and #DNNF admit FPRAS
di: Meel, Kuldeep S., et al.
Pubblicazione: (2024)

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

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

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

Distance Estimation for High-Dimensional Discrete Distributions
di: Kumar, Gunjan, et al.
Pubblicazione: (2023)

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

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

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

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

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

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

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

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

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

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

Approximating Queries on Probabilistic Graphs
di: Amarilli, Antoine, et al.
Pubblicazione: (2023)

Artifact for: Walk-In Multi-Stage Patient Flow Scheduling: An ASP Model with DES-Based Evaluation
di: Pham, Ngoc-Mai, et al.
Pubblicazione: (2026)

Artifact for: Walk-In Multi-Stage Patient Flow Scheduling: An ASP Model with DES-Based Evaluation
di: Pham, Ngoc-Mai, et al.
Pubblicazione: (2026)

Network Inversion of Binarised Neural Nets
di: Suhail, Pirzada, et al.
Pubblicazione: (2024)

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

On Dependent Variables in Reactive Synthesis
di: Akshay, S., et al.
Pubblicazione: (2024)

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