Copertina

An Approximate Skolem Function Counter

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Shaw, Arijit, Juba, Brendan, Meel, Kuldeep S.
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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)

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

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

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

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

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

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

Skolemization In Intermediate Logics
di: Baaz, Matthias, et al.
Pubblicazione: (2025)

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

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

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

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

The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems
di: Przybocki, Benjamin, et al.
Pubblicazione: (2024)

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

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

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

Skolem and Positivity Completeness of Ergodic Markov Chains
di: Vahanwala, Mihir
Pubblicazione: (2023)

On Robustness for the Skolem, Positivity and Ultimate Positivity Problems
di: Akshay, S., et al.
Pubblicazione: (2022)

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

On the Complexity of the Skolem Problem at Low Orders
di: Bacik, Piotr, et al.
Pubblicazione: (2025)

Skolemization and Decidability of the Bernays-Schoenfinkel Class in Goedel Logics
di: Gamsakhurdia, Mariami, et al.
Pubblicazione: (2025)

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

The Skolem Problem in rings of positive characteristic
di: Dong, Ruiwen, et al.
Pubblicazione: (2025)

On the Subspace Orbit Problem and the Simultaneous Skolem Problem
di: Bacik, Piotr, et al.
Pubblicazione: (2026)

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

Blurred Drinker Paradoxes and Blurred Choice Axioms: Constructive Reverse Mathematics of the Downward Löwenheim-Skolem Theorem
di: Kirst, Dominik, et al.
Pubblicazione: (2026)

Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2024)

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

On the Counting Complexity of the Skolem Problem
di: Jindal, Gorav, et al.
Pubblicazione: (2024)

Filling in the semantics for intuitionistic conditional logic
di: Dufty, Brendan, et al.
Pubblicazione: (2025)

On the $p$-adic Skolem Problem
di: Bacik, Piotr, et al.
Pubblicazione: (2025)

Approximating Fixpoints of Approximated Functions
di: Baldan, Paolo, et al.
Pubblicazione: (2025)

Loop-Checking and Counter-Model Extraction for Intuitionistic Tense Logics via Nested Sequents
di: Lyon, Tim S.
Pubblicazione: (2026)

Towards Verifying Exact Conditions for Implementations of Density Functional Approximations
di: Helal, Sameerah, et al.
Pubblicazione: (2024)

Proof-Theoretic Functional Completeness for the Connexive Logic C
di: Ayhan, Sara, et al.
Pubblicazione: (2025)

Quantitative and Approximate Monitoring
di: Henzinger, Thomas A., et al.
Pubblicazione: (2021)

Definable sets in Skolem arithmetic
di: Kamiński, Łukasz
Pubblicazione: (2025)

Approximation theory for distant Bang calculus
di: Chardonnet, Kostia, et al.
Pubblicazione: (2026)

A Spectrum of Approximate Probabilistic Bisimulations
di: Spork, Timm, et al.
Pubblicazione: (2024)