Buchumschlag

Generalized Optimization Modulo Theories

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Tsiskaridze, Nestan, Barrett, Clark, Tinelli, Cesare
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Verifying SQL Queries using Theories of Tables and Relations
von: Mohamed, Mudathir, et al.
Veröffentlicht: (2024)

Solving Set Constraints with Comprehensions and Bounded Quantifiers
von: Mohamed, Mudathir, et al.
Veröffentlicht: (2025)

Towards SMT Solver Stability via Input Normalization
von: Amrollahi, Daneshvar, et al.
Veröffentlicht: (2024)

Satisfiability Modulo Extensional Constant Arrays (Extended Version)
von: Preiner, Mathias, et al.
Veröffentlicht: (2026)

Lean-SMT: An SMT tactic for discharging proof goals in Lean
von: Mohamed, Abdalrhman, et al.
Veröffentlicht: (2025)

Integer Reasoning Modulo Different Constants in SMT
von: Pertseva, Elizaveta, et al.
Veröffentlicht: (2025)

Satisfiability Modulo Theories for Verifying MILP Certificates
von: Wood, Kenan, et al.
Veröffentlicht: (2023)

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

DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories
von: Feng, Nick, et al.
Veröffentlicht: (2024)

Proofs for Free in the $λΠ$-Calculus Modulo Theory
von: Traversié, Thomas
Veröffentlicht: (2024)

Optimization Modulo Integer Linear-Exponential Programs
von: Hitarth, S, et al.
Veröffentlicht: (2025)

Exploiting Partial-Assignment Enumeration in Optimization Modulo Theories
von: Masina, Gabriele, et al.
Veröffentlicht: (2025)

Kuroda's Translation for the $λΠ$-Calculus Modulo Theory and Dedukti
von: Traversié, Thomas
Veröffentlicht: (2024)

Neuro-Symbolic Constrained Optimization for Cloud Application Deployment via Graph Neural Networks and Satisfiability Modulo Theory
von: Erascu, Madalina
Veröffentlicht: (2025)

From Rewrite Rules to Axioms in the $λ$$Π$-Calculus Modulo Theory
von: Blot, Valentin, et al.
Veröffentlicht: (2024)

Canonical Decision Diagrams Modulo Theories
von: Michelutti, Massimo, et al.
Veröffentlicht: (2024)

Cubing for Tuning
von: Wu, Haoze, et al.
Veröffentlicht: (2025)

A Unified Automata-Theoretic Approach to LTLf Modulo Theories (Extended Version)
von: Faella, Marco, et al.
Veröffentlicht: (2024)

Heterogeneous Dynamic Logic: Provability Modulo Program Theories
von: Teuber, Samuel, et al.
Veröffentlicht: (2025)

MCSAT Modulo Transcendental Arithmetics
von: Gallego-Hernández, Jorge, et al.
Veröffentlicht: (2026)

Congruence Closure Modulo Groups
von: Kim, Dohan
Veröffentlicht: (2023)

Automating Bitvector and Finite Field Equivalence Proofs in Lean
von: Pertseva, Elizaveta, et al.
Veröffentlicht: (2026)

Lean-auto: An Interface between Lean 4 and Automated Theorem Provers
von: Qian, Yicheng, et al.
Veröffentlicht: (2025)

Satisfiability Modulo Exponential Integer Arithmetic
von: Frohn, Florian, et al.
Veröffentlicht: (2024)

Modulo quantifiers over functional vocabularies extending addition
von: Baskar, A., et al.
Veröffentlicht: (2017)

An Effective Orchestral Approach to Satisfiability Modulo Prime Fields
von: Isabel, Miguel, et al.
Veröffentlicht: (2026)

The termination of Nielsen transformations applied to word equations with length constraints
von: Przybocki, Benjamin, et al.
Veröffentlicht: (2025)

Shield Synthesis for LTL Modulo Theories
von: Rodriguez, Andoni, et al.
Veröffentlicht: (2024)

Equational Reasoning Modulo Commutativity in Languages with Binders (Extended Version)
von: Caires-Santos, Ali K., et al.
Veröffentlicht: (2025)

Boosting MCSat Modulo Nonlinear Integer Arithmetic via Local Search
von: Lipparini, Enrico, et al.
Veröffentlicht: (2025)

ocLTL: LTL Realizability and Synthesis Modulo ω-Categorical Structures
von: Asor, Ohad
Veröffentlicht: (2026)

Case Study: Verified Vampire Proofs in the LambdaPi-calculus Modulo
von: Komel, Anja Petković, et al.
Veröffentlicht: (2025)

The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract)
von: Aceto, Luca, et al.
Veröffentlicht: (2025)

Satisfiability.jl: Satisfiability Modulo Theories in Julia
von: Soroka, Emiko, et al.
Veröffentlicht: (2023)

A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity
von: Grabmayer, Clemens
Veröffentlicht: (2022)

Learning Quantitative Automata Modulo Theories
von: Hsiung, Eric, et al.
Veröffentlicht: (2024)

Nazrin: Atomic Tactics for Graph Neural Networks for Theorem Proving in Lean 4
von: Aniva, Leni, et al.
Veröffentlicht: (2026)

Relational Hoare Logic for Realistically Modelled Machine Code
von: Mazzucato, Denis, et al.
Veröffentlicht: (2025)

Rewriting Modulo Traced Comonoid Structure
von: Ghica, Dan R., et al.
Veröffentlicht: (2023)

Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis
von: Rodríguez, Andoni, et al.
Veröffentlicht: (2024)