Copertina

Optimization Modulo Integer Linear-Exponential Programs

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Hitarth, S, Mansutti, Alessio, Shabadi, Guruprerana
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Integer Linear-Exponential Programming in NP by Quantifier Elimination
di: Chistikov, Dmitry, et al.
Pubblicazione: (2024)

Programmatic Reinforcement Learning: Navigating Gridworlds
di: Shabadi, Guruprerana, et al.
Pubblicazione: (2024)

Satisfiability Modulo Exponential Integer Arithmetic
di: Frohn, Florian, et al.
Pubblicazione: (2024)

MCSAT Modulo Transcendental Arithmetics
di: Gallego-Hernández, Jorge, et al.
Pubblicazione: (2026)

On the Existential Theory of the Reals Enriched with Integer Powers of a Computable Number
di: Gallego-Hernández, Jorge, et al.
Pubblicazione: (2025)

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

How (and when) can you fit examples to logic-based hypothesis classes over infinite structures?
di: Benedikt, Michael, et al.
Pubblicazione: (2026)

Linear Loop Synthesis for Quadratic Invariants
di: Hitarth, S., et al.
Pubblicazione: (2023)

Boosting MCSat Modulo Nonlinear Integer Arithmetic via Local Search
di: Lipparini, Enrico, et al.
Pubblicazione: (2025)

Solving Fuzzy Satisfiability via Mixed-Integer Non-Linear Programming
di: Castro, Pablo F.
Pubblicazione: (2026)

On Polynomial-Time Decidability of k-Negations Fragments of First-Order Theories
di: Haase, Christoph, et al.
Pubblicazione: (2024)

The complexity of Presburger arithmetic with power or powers
di: Benedikt, Michael, et al.
Pubblicazione: (2023)

Generalized Optimization Modulo Theories
di: Tsiskaridze, Nestan, et al.
Pubblicazione: (2024)

One-Parametric Presburger Arithmetic has Quantifier Elimination
di: Mansutti, Alessio, et al.
Pubblicazione: (2025)

Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops
di: Lommen, Nils, et al.
Pubblicazione: (2022)

Modular Automatic Complexity Analysis of Recursive Integer Programs
di: Lommen, Nils, et al.
Pubblicazione: (2025)

Targeting Completeness: Automated Complexity Analysis of Integer Programs
di: Lommen, Nils, et al.
Pubblicazione: (2024)

Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification
di: Hozzová, Petra, et al.
Pubblicazione: (2024)

Constructive Ordinal Exponentiation
di: de Jong, Tom, et al.
Pubblicazione: (2025)

Heterogeneous Dynamic Logic: Provability Modulo Program Theories
di: Teuber, Samuel, et al.
Pubblicazione: (2025)

Congruence Closure Modulo Groups
di: Kim, Dohan
Pubblicazione: (2023)

Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs
di: Lommen, Nils, et al.
Pubblicazione: (2023)

Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic (Technical Report)
di: Habermehl, Peter, et al.
Pubblicazione: (2024)

Satisfiability Modulo Theories for Verifying MILP Certificates
di: Wood, Kenan, et al.
Pubblicazione: (2023)

FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
di: Fandinno, Jorge, et al.
Pubblicazione: (2026)

Linear Programming in Isabelle/HOL
di: Parsert, Julian
Pubblicazione: (2024)

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

Modulo quantifiers over functional vocabularies extending addition
di: Baskar, A., et al.
Pubblicazione: (2017)

Satisfiability Modulo Extensional Constant Arrays (Extended Version)
di: Preiner, Mathias, et al.
Pubblicazione: (2026)

DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories
di: Feng, Nick, et al.
Pubblicazione: (2024)

An Effective Orchestral Approach to Satisfiability Modulo Prime Fields
di: Isabel, Miguel, et al.
Pubblicazione: (2026)

Proofs for Free in the $λΠ$-Calculus Modulo Theory
di: Traversié, Thomas
Pubblicazione: (2024)

Exploiting Partial-Assignment Enumeration in Optimization Modulo Theories
di: Masina, Gabriele, et al.
Pubblicazione: (2025)

Equational Reasoning Modulo Commutativity in Languages with Binders (Extended Version)
di: Caires-Santos, Ali K., et al.
Pubblicazione: (2025)

Kuroda's Translation for the $λΠ$-Calculus Modulo Theory and Dedukti
di: Traversié, Thomas
Pubblicazione: (2024)

Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
di: Accattoli, Beniamino
Pubblicazione: (2022)

Case Study: Verified Vampire Proofs in the LambdaPi-calculus Modulo
di: Komel, Anja Petković, et al.
Pubblicazione: (2025)

The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract)
di: Aceto, Luca, et al.
Pubblicazione: (2025)

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

ocLTL: LTL Realizability and Synthesis Modulo ω-Categorical Structures
di: Asor, Ohad
Pubblicazione: (2026)