Cover Image

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhang, Zhiwei, Fung, Samy Wu, Kyrillidis, Anastasios, Osher, Stanley, Vardi, Moshe Y.
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Artificial Intelligence Machine Learning Optimization and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

BoxLitE: A Faithful Knowledge Base Embedding Based on Convex Optimization
by: Lourenço, Bruno F., et al.
Published: (2026)

One Model, Two Roles: Emergent Specialization in a Shared Recurrent Transformer
by: Shen, Jucheng, et al.
Published: (2026)

SGD at the Edge of Stability: The Stochastic Sharpness Gap
by: Liao, Fangshuo, et al.
Published: (2026)

One Rank at a Time: Cascading Error Dynamics in Sequential Learning
by: Vandchali, Mahtab Alizadeh, et al.
Published: (2025)

Unveiling Hidden Pivotal Players with GoalNet: A GNN-Based Soccer Player Evaluation System
by: Jiang, Jacky Hao, et al.
Published: (2025)

Laplace Meets Moreau: Smooth Approximation to Infimal Convolutions Using Laplace's Method
by: Tibshirani, Ryan J., et al.
Published: (2024)

Kernel Expansions for High-Dimensional Mean-Field Control with Non-local Interactions
by: Vidal, Alexander, et al.
Published: (2024)

Deep Learning as the Disciplined Construction of Tame Objects
by: Bareilles, Gilles, et al.
Published: (2025)

LTLf Synthesis Under Unreliable Input
by: Hagemeier, Christian, et al.
Published: (2024)

End-to-End Training of High-Dimensional Optimal Control with Implicit Hamiltonians via Jacobian-Free Backpropagation
by: Gelphman, Eric, et al.
Published: (2025)

Orthologic for SAT Solving
by: de Haldat, Vladislas, et al.
Published: (2026)

Convergence Analysis of Two-Layer Neural Networks under Gaussian Input Masking
by: Kolomvaki, Afroditi, et al.
Published: (2026)

Towards Automatic Linearization via SMT Solving
by: Cao, Jian, et al.
Published: (2024)

Fixed-Point Neural Optimal Transport without Implicit Differentiation
by: Park, Yesom, et al.
Published: (2026)

Value Functions for Temporal Logic: Optimal Policies and Safety Filters
by: So, Oswin, et al.
Published: (2026)

Optimal Control for Transformer Architectures: Enhancing Generalization, Robustness and Efficiency
by: Kan, Kelvin, et al.
Published: (2025)

Guided by the Experts: Provable Feature Learning Dynamic of Soft-Routed Mixture-of-Experts
by: Liao, Fangshuo, et al.
Published: (2025)

Provable Accelerated Convergence of Nesterov's Momentum for Deep ReLU Neural Networks
by: Liao, Fangshuo, et al.
Published: (2023)

Efficient Digital Quadratic Unconstrained Binary Optimization Solvers for SAT Problems
by: Fong, Robert Simon, et al.
Published: (2024)

Optimization Problem Solving Can Transition to Evolutionary Agentic Workflows
by: Li, Wenhao, et al.
Published: (2025)

Computing Short SAT Implicants via Ising/QUBO Encodings
by: Spallitta, Giuseppe, et al.
Published: (2026)

A Natural Primal-Dual Hybrid Gradient Method for Adversarial Neural Network Training on Solving Partial Differential Equations
by: Liu, Shu, et al.
Published: (2024)

Stability of Transformers under Layer Normalization
by: Kan, Kelvin, et al.
Published: (2025)

Using deep learning to construct stochastic local search SAT solvers with performance bounds
by: Kramer, Maximilian J., et al.
Published: (2023)

Solving the Two-dimensional single stock size Cutting Stock Problem with SAT and MaxSAT
by: Van Kieu, Tuyen, et al.
Published: (2026)

Select-then-differentiate: Solving Bilevel Optimization with Manifold Lower-level Solution Sets
by: Masiha, Saeed, et al.
Published: (2026)

Solving Stochastic Constraints by Oracle-based Gradient Descent and Interval Arithmetic
by: Li, Xiakun, et al.
Published: (2026)

Teaching LLMs to Think Mathematically: A Critical Study of Decision-Making via Optimization
by: Abdel-Rahman, Mohammad J., et al.
Published: (2025)

SMLP: Symbolic Machine Learning Prover (User Manual)
by: Brauße, Franz, et al.
Published: (2024)

SMLP: Symbolic Machine Learning Prover
by: Brauße, Franz, et al.
Published: (2024)

Ensuring Logic in the Fog: Sound POMDP Synthesis with LTL Objectives
by: Zhou, Can, et al.
Published: (2026)

GLinSAT: The General Linear Satisfiability Neural Network Layer By Accelerated Gradient Descent
by: Zeng, Hongtai, et al.
Published: (2024)

OR-LLM-Agent: Automating Modeling and Solving of Operations Research Optimization Problems with Reasoning LLM
by: Zhang, Bowen, et al.
Published: (2025)

Using non-convex optimization in quantum process tomography: Factored gradient descent is tough to beat
by: Quiroga, David A., et al.
Published: (2023)

Multi-Property Synthesis
by: Weinhuber, Christoph, et al.
Published: (2026)

Learning to Specialize: Joint Gating-Expert Training for Adaptive MoEs in Decentralized Settings
by: Farhat, Yehya, et al.
Published: (2023)

Policy Optimization in Hybrid Discrete-Continuous Action Spaces via Mixed Gradients
by: Alvo, Matias, et al.
Published: (2026)

OR-R1: Automating Modeling and Solving of Operations Research Optimization Problem via Test-Time Reinforcement Learning
by: Ding, Zezhen, et al.
Published: (2025)

On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts
by: Xiao, Shengping, et al.
Published: (2024)

GHOST: Unmasking Phantom States in Mamba2 via Grouped Hidden-state Output-aware Selection & Truncation
by: Menezes, Michael, et al.
Published: (2026)