Imagen de Portada

SMT(LIA) Sampling with High Diversity

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Lai, Yong, Li, Junjie, Luo, Chuan
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers
por: Bartholomew, Michael, et al.
Publicado: (2025)

A Local Search Algorithm for MaxSMT(LIA)
por: He, Xiang, et al.
Publicado: (2024)

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

Evaluating SAT and SMT Solvers on Large-Scale Sudoku Puzzles
por: Davis, Liam, et al.
Publicado: (2025)

Automated Process Planning Based on a Semantic Capability Model and SMT
por: Köcher, Aljosha, et al.
Publicado: (2023)

Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis
por: Lu, Zhengyang, et al.
Publicado: (2024)

A Hybrid SMT-NRA Solver: Integrating 2D Cell-Jump-Based Local Search, MCSAT and OpenCAD
por: Ding, Tianyi, et al.
Publicado: (2025)

3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes
por: Lamont, Sean, et al.
Publicado: (2024)

Lean-SMT: An SMT tactic for discharging proof goals in Lean
por: Mohamed, Abdalrhman, et al.
Publicado: (2025)

Defining implication relation for classical logic
por: Fu, Li
Publicado: (2013)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
por: Bloch, Isabelle, et al.
Publicado: (2025)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
por: Joyce, Johnny
Publicado: (2025)

Dynamic Logic of Trust-Based Beliefs
por: Jiang, Junli, et al.
Publicado: (2025)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
por: Xu, Yang, et al.
Publicado: (2025)

Abductive Reasoning in a Paraconsistent Framework
por: Bienvenu, Meghyn, et al.
Publicado: (2024)

The logic of KM belief update is contained in the logic of AGM belief revision
por: Bonanno, Giacomo
Publicado: (2026)

Similarity-based analogical proportions
por: Antić, Christian
Publicado: (2024)

LLM2SMT: Building an SMT Solver with Zero Human-Written Code
por: Janota, Mikoláš, et al.
Publicado: (2026)

Differentiable Inductive Logic Programming in High-Dimensional Space
por: Purgał, Stanisław J., et al.
Publicado: (2022)

Neuro-Symbolic Compliance: Integrating LLMs and SMT Solvers for Automated Financial Legal Analysis
por: Hsia, Yung-Shen, et al.
Publicado: (2026)

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

Queries With Exact Truth Values in Paraconsistent Description Logics
por: Bienvenu, Meghyn, et al.
Publicado: (2024)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
por: Lyon, Tim S., et al.
Publicado: (2024)

On Probabilistic and Causal Reasoning with Summation Operators
por: Ibeling, Duligur, et al.
Publicado: (2024)

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

An SMT Theory for n-Indexed Sequences
por: Hara, Hichem Rami Ait El, et al.
Publicado: (2024)

An SMT-LIB Theory of Finite Fields
por: Hader, Thomas, et al.
Publicado: (2024)

Hint-Based SMT Proof Reconstruction
por: Clune, Joshua, et al.
Publicado: (2026)

On SMT Theory Design: The Case of Sequences
por: Hara, Hichem Rami Ait El, et al.
Publicado: (2024)

Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables
por: Anders, Markus, et al.
Publicado: (2025)

A Compositional Framework for On-the-Fly LTLf Synthesis
por: Li, Yongkang, et al.
Publicado: (2025)

Repairing Networks of $\mathcal{EL_\perp}$ Ontologies using Weakening and Completing -- Extended version
por: Li, Ying, et al.
Publicado: (2024)

A minimal coalition logic
por: Li, Yinfeng, et al.
Publicado: (2024)

Logic Synthesis with Generative Deep Neural Networks
por: Li, Xihan, et al.
Publicado: (2024)

Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits
por: Li, Jinzhao, et al.
Publicado: (2025)

On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts
por: Xiao, Shengping, et al.
Publicado: (2024)

Number theory combination: natural density and SMT
por: Toledo, Guilherme V., et al.
Publicado: (2025)

Integer Reasoning Modulo Different Constants in SMT
por: Pertseva, Elizaveta, et al.
Publicado: (2025)

Invariant Checking for SMT-based Systems with Quantifiers
por: Redondi, Gianluca, et al.
Publicado: (2024)

Deeply Optimizing the SAT Solver for the IC3 Algorithm
por: Su, Yuheng, et al.
Publicado: (2025)