Buchumschlag

Artifact of ApproxASP– A Scalable Approximate Answer Set Counter

Fuente: Zenodo

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Mohimenul, Kabir, Flavio, Everardo, Ankit, Shukla, Johannes K., Fichte, Markus, Hecher, Kuldeep S., Meel
Format:	Recurso digital
Sprache:	Englisch
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: (2026)

SharpASP Artifact
von: Mohimenul, Kabir, 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)

An ASP-Based Framework for MUSes
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)

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

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks
von: Kabir, Mohimenul, et al.
Veröffentlicht: (2025)

The Model Counting Competitions 2021-2023
von: Fichte, Johannes K., et al.
Veröffentlicht: (2025)

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

The Model Counting Competition 2020
von: Fichte, Johannes K., et al.
Veröffentlicht: (2020)

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

Diversity of Extensions in Abstract Argumentation
von: Fichte, Johannes K., et al.
Veröffentlicht: (2026)

Epistemic Logic Programs: Non-Ground and Counting Complexity
von: Eiter, Thomas, et al.
Veröffentlicht: (2025)

Rejection in Abstract Argumentation: Harder Than Acceptance?
von: Fichte, Johannes K., et al.
Veröffentlicht: (2024)

Structure-Aware Encodings of Argumentation Properties for Clique-width
von: Mahmood, Yasir, et al.
Veröffentlicht: (2025)

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

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

Extended Version of: On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?
von: Hecher, Markus, et al.
Veröffentlicht: (2024)

Finite Groundings for ASP with Functions: A Journey through Consistency
von: Gerlach, Lukas, et al.
Veröffentlicht: (2024)

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

Counting and Reasoning with Plans
von: Speck, David, et al.
Veröffentlicht: (2025)

ASP-FZN: A Translation-based Constraint Answer Set Solver
von: Eiter, Thomas, et al.
Veröffentlicht: (2025)

Facets in Argumentation: A Formal Approach to Argument Significance
von: Fichte, Johannes, et al.
Veröffentlicht: (2025)

ApproxJoin: Approximate Matching for Efficient Verification in Fuzzy Set Similarity Join
von: Mandulak, Michael, et al.
Veröffentlicht: (2025)

From Alternation to FPRAS: Toward a Complexity Classification of Approximate Counting
von: Hecher, Markus, et al.
Veröffentlicht: (2025)

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

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)

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

ApproxPilot: A GNN-based Accelerator Approximation Framework
von: Zhang, Qing, et al.
Veröffentlicht: (2024)

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)

Cplus2ASP: Computing Action Language C+ in Answer Set Programming
von: Babb, Joseph, et al.
Veröffentlicht: (2026)

ApproxDARTS: Differentiable Neural Architecture Search with Approximate Multipliers
von: Pinos, Michal, et al.
Veröffentlicht: (2024)

QuApprox: A Framework for Benchmarking the Approximability of Variational Quantum Circuit
von: Li, Jinyang, et al.
Veröffentlicht: (2024)

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)