Imagen de Portada

SharpASP Artifact

Fuente: Zenodo

Guardado en:

Detalles Bibliográficos
Autores principales:	Mohimenul, Kabir, Supratik, Chakraborty, Kuldeep S, Meel
Formato:	Recurso digital
Publicado:	Zenodo 2025
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

SharpASP Artifact
por: Mohimenul, Kabir, et al.
Publicado: (2026)

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

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

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

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

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

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

Answer Set Counting and its Applications
por: Kabir, Mohimenul
Publicado: (2025)

Minimal Model Counting via Knowledge Compilation
por: Kabir, Mohimenul
Publicado: (2024)

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

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

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

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

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

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

Model Counting in the Wild
por: Shaw, Arijit, et al.
Publicado: (2024)

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

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

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

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

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

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

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

Probabilistic Explanations for Linear Models
por: Subercaseaux, Bernardo, et al.
Publicado: (2024)

An Approximate Skolem Function Counter
por: Shaw, Arijit, et al.
Publicado: (2023)

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

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

Locally-Minimal Probabilistic Explanations
por: Izza, Yacine, et al.
Publicado: (2023)

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

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

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

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

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

Approximating Queries on Probabilistic Graphs
por: Amarilli, Antoine, et al.
Publicado: (2023)

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

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

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

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

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

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