:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteur principal:	Erascu, Madalina
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science
Accès en ligne:	https://arxiv.org/abs/2511.23109
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Automatic Generation of Polynomial Symmetry Breaking Constraints
par: Erascu, Madalina, et autres
Publié: (2026)

Satisfiability Modulo Theories for Verifying MILP Certificates
par: Wood, Kenan, et autres
Publié: (2023)

Satisfiability.jl: Satisfiability Modulo Theories in Julia
par: Soroka, Emiko, et autres
Publié: (2023)

Satisfiability Modulo Exponential Integer Arithmetic
par: Frohn, Florian, et autres
Publié: (2024)

Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking
par: Heck, Linus, et autres
Publié: (2025)

Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees
par: Li, Jinzhao, et autres
Publié: (2023)

Satisfiability Modulo Extensional Constant Arrays (Extended Version)
par: Preiner, Mathias, et autres
Publié: (2026)

An Effective Orchestral Approach to Satisfiability Modulo Prime Fields
par: Isabel, Miguel, et autres
Publié: (2026)

Generalized Optimization Modulo Theories
par: Tsiskaridze, Nestan, et autres
Publié: (2024)

Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits
par: Li, Jinzhao, et autres
Publié: (2025)

Inductive Satisfiability Certification for Universal Quantifiers and Uninterpreted Function Symbols
par: Ratschan, Stefan, et autres
Publié: (2026)

Probabilistic and Causal Satisfiability: Constraining the Model
par: Bläser, Markus, et autres
Publié: (2025)

Catamorphic Abstractions for Constrained Horn Clause Satisfiability
par: De Angelis, Emanuele, et autres
Publié: (2024)

Exploiting Partial-Assignment Enumeration in Optimization Modulo Theories
par: Masina, Gabriele, et autres
Publié: (2025)

DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories
par: Feng, Nick, et autres
Publié: (2024)

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

Finding Connections via Satisfiability Solving
par: Eisenhofer, Clemens, et autres
Publié: (2026)

Spanning Matrices via Satisfiability Solving
par: Eisenhofer, Clemens, et autres
Publié: (2024)

Optimization Modulo Integer Linear-Exponential Programs
par: Hitarth, S, et autres
Publié: (2025)

Canonical Decision Diagrams Modulo Theories
par: Michelutti, Massimo, et autres
Publié: (2024)

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

Lemmanaid: Neuro-Symbolic Lemma Conjecturing
par: Alhessi, Yousef, et autres
Publié: (2025)

From Rewrite Rules to Axioms in the $λ$$Π$-Calculus Modulo Theory
par: Blot, Valentin, et autres
Publié: (2024)

A Unified Automata-Theoretic Approach to LTLf Modulo Theories (Extended Version)
par: Faella, Marco, et autres
Publié: (2024)

Satisfiability of Quantified Boolean Announcements
par: van Ditmarsch, Hans, et autres
Publié: (2022)

Hyperproperty Verification as CHC Satisfiability
par: Itzhaky, Shachar, et autres
Publié: (2023)

Heterogeneous Dynamic Logic: Provability Modulo Program Theories
par: Teuber, Samuel, et autres
Publié: (2025)

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
par: Flinkow, Thomas, et autres
Publié: (2026)

Satisfiability in Łukasiewicz logic and its unbounded relative
par: Haniková, Zuzana, et autres
Publié: (2025)

MCSAT Modulo Transcendental Arithmetics
par: Gallego-Hernández, Jorge, et autres
Publié: (2026)

Congruence Closure Modulo Groups
par: Kim, Dohan
Publié: (2023)

Formal Explanations for Neuro-Symbolic AI
par: Paul, Sushmita, et autres
Publié: (2024)

Solving Fuzzy Satisfiability via Mixed-Integer Non-Linear Programming
par: Castro, Pablo F.
Publié: (2026)

Boosting MCSat Modulo Nonlinear Integer Arithmetic via Local Search
par: Lipparini, Enrico, et autres
Publié: (2025)

Eidoku: A Neuro-Symbolic Verification Gate for LLM Reasoning via Structural Constraint Satisfaction
par: Miya, Shinobu
Publié: (2025)

Correct-by-Construction G-Code Generation: A Neuro-Symbolic Approach via Separation Logic
par: Lee, Yeonseok
Publié: (2026)

Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis
par: Rodríguez, Andoni, et autres
Publié: (2024)

Decidability of Graph Neural Networks via Logical Characterizations
par: Benedikt, Michael, et autres
Publié: (2024)

On the Satisfiability of Local First-Order Logics with Data
par: Bollig, Benedikt, et autres
Publié: (2023)

Shield Synthesis for LTL Modulo Theories
par: Rodriguez, Andoni, et autres
Publié: (2024)