Buchumschlag

Continuous Optimization for Satisfiability Modulo Theories on Linear Real Arithmetic

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Cen, Yunuo, Ebler, Daniel, Fong, Xuanyao
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

FourierCSP: Differentiable Constraint Satisfaction Problem Solving by Walsh-Fourier Expansion
von: Cen, Yunuo, et al.
Veröffentlicht: (2025)

Analysis of Higher-Order Ising Hamiltonians
von: Cen, Yunuo, et al.
Veröffentlicht: (2024)

Neurosymbolic Language Reasoning as Satisfiability Modulo Theory
von: Oh, Hyunseok, et al.
Veröffentlicht: (2026)

Satisfiability Modulo Theory Meets Inductive Logic Programming
von: Upreti, Nijesh, et al.
Veröffentlicht: (2025)

Traffic-Rule-Compliant Trajectory Repair via Satisfiability Modulo Theories and Reachability Analysis
von: Lin, Yuanfei, et al.
Veröffentlicht: (2024)

Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2024)

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

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

DART-ing Through the Drift: Dynamic Tracing of Knowledge Neurons for Adaptive Inference-Time Pruning
von: Tyagi, Abhishek, et al.
Veröffentlicht: (2026)

Answer Set Programming Modulo Theories and Reasoning about Continuous Changes
von: Lee, Joohyung, et al.
Veröffentlicht: (2025)

Integer Linear Programming Preprocessing for Maximum Satisfiability
von: Zhang, Jialu, 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 Exponential Integer Arithmetic
von: Frohn, Florian, et al.
Veröffentlicht: (2024)

LinSATNet: The Positive Linear Satisfiability Neural Networks
von: Wang, Runzhong, et al.
Veröffentlicht: (2024)

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

Scalable Floating-Point Satisfiability via Staged Optimization
von: Zhang, Yuanzhuo, et al.
Veröffentlicht: (2026)

Functional Stable Model Semantics and Answer Set Programming Modulo Theories
von: Bartholomew, Michael, et al.
Veröffentlicht: (2026)

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

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

Distilling Linearized Behavior into Non-Linear Fine-Tuning for Effective Task Arithmetic
von: Sommariva, Thomas, et al.
Veröffentlicht: (2026)

Deciding the Satisfiability of Combined Qualitative Constraint Networks
von: Cohen-Solal, Quentin, et al.
Veröffentlicht: (2026)

Using Multi-modal Large Language Model to Boost Fireworks Algorithm's Ability in Settling Challenging Optimization Tasks
von: Cen, Shipeng, et al.
Veröffentlicht: (2025)

GLinSAT: The General Linear Satisfiability Neural Network Layer By Accelerated Gradient Descent
von: Zeng, Hongtai, et al.
Veröffentlicht: (2024)

Certifying Pareto-Optimality in Multi-Objective Maximum Satisfiability
von: Jabs, Christoph, et al.
Veröffentlicht: (2025)

Shrinking POMCP: A Framework for Real-Time UAV Search and Rescue
von: Zhang, Yunuo, et al.
Veröffentlicht: (2024)

On the Expressive Power of GNNs for Boolean Satisfiability
von: Peltonen, Saku, et al.
Veröffentlicht: (2026)

Boolean Satisfiability via Imitation Learning
von: Zhang, Zewei, et al.
Veröffentlicht: (2025)

Error-Driven Prompt Optimization for Arithmetic Reasoning
von: Pándy, Árpád, et al.
Veröffentlicht: (2025)

ESCORT: Efficient Stein-variational and Sliced Consistency-Optimized Temporal Belief Representation for POMDPs
von: Zhang, Yunuo, et al.
Veröffentlicht: (2025)

Gateways to Tractability for Satisfiability in Pearl's Causal Hierarchy
von: Ganian, Robert, et al.
Veröffentlicht: (2025)

From Subsumption to Satisfiability: LLM-Assisted Active Learning for OWL Ontologies
von: Zhao, Haoruo, et al.
Veröffentlicht: (2026)

IB-Net: Initial Branch Network for Variable Decision in Boolean Satisfiability
von: Chan, Tsz Ho, et al.
Veröffentlicht: (2024)

torchmSAT: A GPU-Accelerated Approximation To The Maximum Satisfiability Problem
von: Hosny, Abdelrahman, et al.
Veröffentlicht: (2024)

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

The AI Definition and a Program Which Satisfies this Definition
von: Dobrev, Dimiter
Veröffentlicht: (2022)

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

Analysis of Overparameterization in Continual Learning under a Linear Model
von: Goldfarb, Daniel, et al.
Veröffentlicht: (2025)

Act as You Learn: Adaptive Decision-Making in Non-Stationary Markov Decision Processes
von: Luo, Baiting, et al.
Veröffentlicht: (2024)

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

Entailment vs. Verification for Partial-assignment Satisfiability and Enumeration
von: Sebastiani, Roberto
Veröffentlicht: (2025)