Image de couverture de livre

Efficient Volume Computation for SMT Formulas

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Shaw, Arijit, Sarkar, Uddalok, Meel, Kuldeep S.
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Approximate SMT Counting Beyond Discrete Domains
par: Shaw, Arijit, et autres
Publié: (2025)

Assessing the Quality of Binomial Samplers: A Statistical Distance Framework
par: Sarkar, Uddalok, et autres
Publié: (2025)

Model Counting in the Wild
par: Shaw, Arijit, et autres
Publié: (2024)

An Approximate Skolem Function Counter
par: Shaw, Arijit, et autres
Publié: (2023)

A Simple and Effective ASP-Based Tool for Enumerating Minimal Hitting Sets
par: Kabir, Mohimenul, et autres
Publié: (2025)

The Limitations and Power of NP-Oracle-Based Functional Synthesis Techniques
par: Juba, Brendan, et autres
Publié: (2025)

On Lower Bounding Minimal Model Count
par: Kabir, Mohimenul, et autres
Publié: (2024)

An ASP-Based Framework for MUSes
par: Kabir, Mohimenul, et autres
Publié: (2025)

Towards Projected and Incremental Pseudo-Boolean Model Counting
par: Yang, Suwei, et autres
Publié: (2024)

On Top-Down Pseudo-Boolean Model Counting
par: Yang, Suwei, et autres
Publié: (2025)

Counting Answer Sets of Disjunctive Answer Set Programs
par: Kabir, Mohimenul, et autres
Publié: (2025)

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks
par: Kabir, Mohimenul, et autres
Publié: (2025)

CNFs and DNFs with Exactly $k$ Solutions
par: Chandran, L. Sunil, et autres
Publié: (2025)

System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers
par: Bartholomew, Michael, et autres
Publié: (2025)

Towards Practical Zero-Knowledge Proof for PSPACE
par: Karthikeyan, Ashwin, et autres
Publié: (2025)

Lean-SMT: An SMT tactic for discharging proof goals in Lean
par: Mohamed, Abdalrhman, et autres
Publié: (2025)

Towards Practical First-Order Model Counting
par: Kidambi, Ananth K., et autres
Publié: (2025)

LLM2SMT: Building an SMT Solver with Zero Human-Written Code
par: Janota, Mikoláš, et autres
Publié: (2026)

A faster FPRAS for #NFA
par: Meel, Kuldeep S., et autres
Publié: (2023)

Efficient Certified Reasoning for Binarized Neural Networks
par: Yang, Jiong, et autres
Publié: (2025)

An SMT Theory for n-Indexed Sequences
par: Hara, Hichem Rami Ait El, et autres
Publié: (2024)

An SMT-LIB Theory of Finite Fields
par: Hader, Thomas, et autres
Publié: (2024)

Hint-Based SMT Proof Reconstruction
par: Clune, Joshua, et autres
Publié: (2026)

On SMT Theory Design: The Case of Sequences
par: Hara, Hichem Rami Ait El, et autres
Publié: (2024)

Number theory combination: natural density and SMT
par: Toledo, Guilherme V., et autres
Publié: (2025)

Integer Reasoning Modulo Different Constants in SMT
par: Pertseva, Elizaveta, et autres
Publié: (2025)

Invariant Checking for SMT-based Systems with Quantifiers
par: Redondi, Gianluca, et autres
Publié: (2024)

Counting and Sampling Traces in Regular Languages
par: de Colnet, Alexis, et autres
Publié: (2025)

Formally Certified Approximate Model Counting
par: Tan, Yong Kiam, et autres
Publié: (2024)

Towards Learning Infinite SMT Models (Work in Progress)
par: Janota, Mikoláš, et autres
Publié: (2025)

SMT with Uninterpreted Functions and Monotonicity Constraints in Systems Biology
par: Huvar, Ondřej, et autres
Publié: (2026)

Towards SMT Solver Stability via Input Normalization
par: Amrollahi, Daneshvar, et autres
Publié: (2024)

Synthesiz3 This: an SMT-Based Approach for Synthesis with Uncomputable Symbols
par: Hozzová, Petra, et autres
Publié: (2025)

Disjoint Projected Enumeration for SAT and SMT without Blocking Clauses
par: Spallitta, Giuseppe, et autres
Publié: (2024)

A Relational Theory of Grounding and a new Grounder for SMT
par: Carbonnelle, Pierre
Publié: (2026)

SMT and Functional Equation Solving over the Reals: Challenges from the IMO
par: Brown, Chad E., et autres
Publié: (2025)

MCSat-based Finite Field Reasoning in the Yices2 SMT Solver
par: Hader, Thomas, et autres
Publié: (2024)

SMT(LIA) Sampling with High Diversity
par: Lai, Yong, et autres
Publié: (2025)

An Encoding for CLP Problems in SMT-LIB
par: Amrollahi, Daneshvar, et autres
Publié: (2024)

A Local Search Algorithm for MaxSMT(LIA)
par: He, Xiang, et autres
Publié: (2024)