:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Mohimenul, Kabir, Supratik, Chakraborty, Kuldeep S, Meel
Format:	Recurso digital
Language:
Published:	Zenodo 2026
Online Access:	https://doi.org/10.5281/zenodo.19664955
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

SharpASP Artifact
by: Mohimenul, Kabir, et al.
Published: (2025)

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

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

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

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

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

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

Minimal Model Counting via Knowledge Compilation
by: Kabir, Mohimenul
Published: (2024)

Answer Set Counting and its Applications
by: Kabir, Mohimenul
Published: (2025)

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

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

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

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

Model Counting in the Wild
by: Shaw, Arijit, et al.
Published: (2024)

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

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

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

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

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

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

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

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

Probabilistic Explanations for Linear Models
by: Subercaseaux, Bernardo, et al.
Published: (2024)

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

An Approximate Skolem Function Counter
by: Shaw, Arijit, et al.
Published: (2023)

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

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

Locally-Minimal Probabilistic Explanations
by: Izza, Yacine, et al.
Published: (2023)

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

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

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

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

Approximating Queries on Probabilistic Graphs
by: Amarilli, Antoine, et al.
Published: (2023)

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

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

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

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

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

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

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