Buchumschlag

SharpASP Artifact

Fuente: Zenodo

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Mohimenul, Kabir, Supratik, Chakraborty, Kuldeep S, Meel
Format:	Recurso digital
Veröffentlicht:	Zenodo 2026
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

SharpASP Artifact
von: Mohimenul, Kabir, et al.
Veröffentlicht: (2025)

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

A Simple and Effective ASP-Based Tool for Enumerating Minimal Hitting Sets
von: Kabir, Mohimenul, et al.
Veröffentlicht: (2025)

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

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

Artifact of ApproxASP– A Scalable Approximate Answer Set Counter
von: Mohimenul, Kabir, 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)

Minimal Model Counting via Knowledge Compilation
von: Kabir, Mohimenul
Veröffentlicht: (2024)

Answer Set Counting and its Applications
von: Kabir, Mohimenul
Veröffentlicht: (2025)

A faster FPRAS for #NFA
von: Meel, Kuldeep S., et al.
Veröffentlicht: (2023)

Assessing the Quality of Binomial Samplers: A Statistical Distance Framework
von: Sarkar, Uddalok, et al.
Veröffentlicht: (2025)

Equivalence Testing: The Power of Bounded Adaptivity
von: Chakraborty, Diptarka, et al.
Veröffentlicht: (2024)

Engineering an Exact Pseudo-Boolean Model Counter
von: Yang, Suwei, et al.
Veröffentlicht: (2023)

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

Towards Projected and Incremental Pseudo-Boolean Model Counting
von: Yang, Suwei, et al.
Veröffentlicht: (2024)

The Limitations and Power of NP-Oracle-Based Functional Synthesis Techniques
von: Juba, Brendan, et al.
Veröffentlicht: (2025)

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

Towards practical FPRAS for #NFA: Exploiting the Power of Dependence
von: Meel, Kuldeep S., et al.
Veröffentlicht: (2025)

#CFG and #DNNF admit FPRAS
von: Meel, Kuldeep S., et al.
Veröffentlicht: (2024)

An FPRAS for Model Counting for Non-Deterministic Read-Once Branching Programs
von: Meel, Kuldeep S., et al.
Veröffentlicht: (2024)

Distance Estimation for High-Dimensional Discrete Distributions
von: Kumar, Gunjan, et al.
Veröffentlicht: (2023)

Efficient Volume Computation for SMT Formulas
von: Shaw, Arijit, et al.
Veröffentlicht: (2025)

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

On Top-Down Pseudo-Boolean Model Counting
von: Yang, Suwei, et al.
Veröffentlicht: (2025)

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

Counting and Sampling Traces in Regular Languages
von: de Colnet, Alexis, et al.
Veröffentlicht: (2025)

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

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

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

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

Towards Practical Zero-Knowledge Proof for PSPACE
von: Karthikeyan, Ashwin, et al.
Veröffentlicht: (2025)

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

Approximating Queries on Probabilistic Graphs
von: Amarilli, Antoine, et al.
Veröffentlicht: (2023)

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

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

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

Network Inversion of Binarised Neural Nets
von: Suhail, Pirzada, et al.
Veröffentlicht: (2024)

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

On Dependent Variables in Reactive Synthesis
von: Akshay, S., et al.
Veröffentlicht: (2024)

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