Buchumschlag

Neuro-Symbolic Constrained Optimization for Cloud Application Deployment via Graph Neural Networks and Satisfiability Modulo Theory

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Erascu, Madalina
Format:	Preprint
Veröffentlicht:	2025
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

Automatic Generation of Polynomial Symmetry Breaking Constraints
von: Erascu, Madalina, et al.
Veröffentlicht: (2026)

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

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

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

Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking
von: Heck, Linus, et al.
Veröffentlicht: (2025)

Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees
von: Li, Jinzhao, et al.
Veröffentlicht: (2023)

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

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

Generalized Optimization Modulo Theories
von: Tsiskaridze, Nestan, et al.
Veröffentlicht: (2024)

Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits
von: Li, Jinzhao, et al.
Veröffentlicht: (2025)

Inductive Satisfiability Certification for Universal Quantifiers and Uninterpreted Function Symbols
von: Ratschan, Stefan, et al.
Veröffentlicht: (2026)

Catamorphic Abstractions for Constrained Horn Clause Satisfiability
von: De Angelis, Emanuele, et al.
Veröffentlicht: (2024)

Probabilistic and Causal Satisfiability: Constraining the Model
von: Bläser, Markus, et al.
Veröffentlicht: (2025)

Finding Connections via Satisfiability Solving
von: Eisenhofer, Clemens, et al.
Veröffentlicht: (2026)

Spanning Matrices via Satisfiability Solving
von: Eisenhofer, Clemens, 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)

Lemmanaid: Neuro-Symbolic Lemma Conjecturing
von: Alhessi, Yousef, et al.
Veröffentlicht: (2025)

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

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)

Satisfiability of Quantified Boolean Announcements
von: van Ditmarsch, Hans, et al.
Veröffentlicht: (2022)

Hyperproperty Verification as CHC Satisfiability
von: Itzhaky, Shachar, et al.
Veröffentlicht: (2023)

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

Solving Fuzzy Satisfiability via Mixed-Integer Non-Linear Programming
von: Castro, Pablo F.
Veröffentlicht: (2026)

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
von: Flinkow, Thomas, et al.
Veröffentlicht: (2026)

Decidability of Graph Neural Networks via Logical Characterizations
von: Benedikt, Michael, et al.
Veröffentlicht: (2024)

Satisfiability in Łukasiewicz logic and its unbounded relative
von: Haniková, Zuzana, et al.
Veröffentlicht: (2025)

On the Satisfiability of Local First-Order Logics with Data
von: Bollig, Benedikt, et al.
Veröffentlicht: (2023)

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)

Eidoku: A Neuro-Symbolic Verification Gate for LLM Reasoning via Structural Constraint Satisfaction
von: Miya, Shinobu
Veröffentlicht: (2025)

Correct-by-Construction G-Code Generation: A Neuro-Symbolic Approach via Separation Logic
von: Lee, Yeonseok
Veröffentlicht: (2026)

Formal Explanations for Neuro-Symbolic AI
von: Paul, Sushmita, et al.
Veröffentlicht: (2024)

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

On Symbol Elimination and Uniform Interpolation in Theory Extensions
von: Sofronie-Stokkermans, Viorica
Veröffentlicht: (2025)

Checking Satisfiability of Hyperproperties using First-Order Logic
von: Beutner, Raven, et al.
Veröffentlicht: (2025)