Image de couverture de livre

Using deep learning to construct stochastic local search SAT solvers with performance bounds

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Kramer, Maximilian J., Boes, Paul, Eisert, Jens
Format:	Preprint
Publié:	2023
Sujets:	Artificial Intelligence Optimization and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A deep learning method for solving stochastic optimal control problems driven by fully-coupled FBSDEs
par: Ji, Shaolin, et autres
Publié: (2022)

Exact and heuristic methods for the discrete parallel machine scheduling location problem
par: Kramer, Raphael, et autres
Publié: (2020)

GLinSAT: The General Linear Satisfiability Neural Network Layer By Accelerated Gradient Descent
par: Zeng, Hongtai, et autres
Publié: (2024)

Learning a local trading strategy: deep reinforcement learning for grid-scale renewable energy integration
par: Ju, Caleb, et autres
Publié: (2024)

Adaptive Online Non-stochastic Control
par: Mhaisen, Naram, et autres
Publié: (2023)

Towards a constructive framework for control theory
par: Osinenko, Pavel
Publié: (2025)

Mixed variable structural optimization using mixed variable system Monte Carlo tree search formulation
par: Ko, Fu-Yao, et autres
Publié: (2023)

A second-order-like optimizer with adaptive gradient scaling for deep learning
par: Bolte, Jérôme, et autres
Publié: (2024)

Building Interval Type-2 Fuzzy Membership Function: A Deck of Cards based Co-constructive Approach
par: Dutta, Bapi, et autres
Publié: (2025)

A Discrete-Time Switching System Analysis of Q-learning
par: Lee, Donghwan, et autres
Publié: (2021)

Planning a Community Approach to Diabetes Care in Low- and Middle-Income Countries Using Optimization
par: Adams, Katherine B., et autres
Publié: (2023)

Sinkhorn doubly stochastic attention rank decay analysis
par: Lapenna, Michela, et autres
Publié: (2026)

Using Laplace Transform To Optimize the Hallucination of Generation Models
par: Kang, Cheng, et autres
Publié: (2026)

Safe Control and Learning Using Generalized Action Governor
par: Fang, Peiyuan, et autres
Publié: (2022)

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization
par: Zhang, Zhiwei, et autres
Publié: (2025)

A Context-Free Smart Grid Model Using Complex System Approach
par: Amor, Soufian Ben, et autres
Publié: (2025)

A Quantum Model for Constrained Markowitz Modern Portfolio Using Slack Variables to Process Mixed-Binary Optimization under QAOA
par: Thomassin, Pablo, et autres
Publié: (2025)

Branch-and-bound for integer D-Optimality with fast local search and variable-bound tightening
par: Ponte, Gabriel, et autres
Publié: (2023)

A multiobjective continuation method to compute the regularization path of deep neural networks
par: Amakor, Augustina C., et autres
Publié: (2023)

Preference-aware compensation policies for crowdsourced on-demand services
par: Nouli, Georgina, et autres
Publié: (2025)

Efficient and provably convergent end-to-end training of deep neural networks with linear constraints
par: Yang, Zonglin, et autres
Publié: (2026)

A space-decoupling framework for optimization on bounded-rank matrices with orthogonally invariant constraints
par: Yang, Yan, et autres
Publié: (2025)

Geometric Neural Operators (GNPs) for Data-Driven Deep Learning of Non-Euclidean Operators
par: Quackenbush, Blaine, et autres
Publié: (2024)

A Branch-and-Price Algorithm for Fast and Equitable Last-Mile Relief Aid Distribution
par: Mostajabdaveh, Mahdi, et autres
Publié: (2025)

A Constraint Programming Approach for n-Day Lookahead Playoff Clinching in the NHL
par: Rosenberg, Gili, et autres
Publié: (2026)

Predictability and Fairness in Load Aggregation with Deadband
par: Difonzo, F. V., et autres
Publié: (2023)

An improved column-generation-based matheuristic for learning classification trees
par: Patel, Krunal Kishor, et autres
Publié: (2023)

Teaching LLMs to Think Mathematically: A Critical Study of Decision-Making via Optimization
par: Abdel-Rahman, Mohammad J., et autres
Publié: (2025)

An Improved Last-Iterate Convergence Rate for Anchored Gradient Descent Ascent
par: Surina, Anja, et autres
Publié: (2026)

Stabilizing reinforcement learning control: A modular framework for optimizing over all stable behavior
par: Lawrence, Nathan P., et autres
Publié: (2023)

Deep learning enhanced mixed integer optimization: Learning to reduce model dimensionality
par: Triantafyllou, Niki, et autres
Publié: (2024)

Hereditary Geometric Meta-RL: Nonlocal Generalization via Task Symmetries
par: Nitschke, Paul, et autres
Publié: (2026)

Bilevel reinforcement learning via the development of hyper-gradient without lower-level convexity
par: Yang, Yan, et autres
Publié: (2024)

Deep learning-driven scheduling algorithm for a single machine problem minimizing the total tardiness
par: Bouška, Michal, et autres
Publié: (2024)

Physics-informed neural networks via stochastic Hamiltonian dynamics learning
par: Bajaj, Chandrajit, et autres
Publié: (2021)

Federated Dynamical Low-Rank Training with Global Loss Convergence Guarantees
par: Schotthöfer, Steffen, et autres
Publié: (2024)

PySCIPOpt-ML: Embedding Trained Machine Learning Models into Mixed-Integer Programs
par: Turner, Mark, et autres
Publié: (2023)

Large-scale Online Ridesharing: The Effect of Assignment Optimality on System Performance
par: Fiedler, David, et autres
Publié: (2023)

AI4OPT: AI Institute for Advances in Optimization
par: Van Hentenryck, Pascal, et autres
Publié: (2023)

Welfare Maximization Algorithm for Solving Budget-Constrained Multi-Component POMDPs
par: Vora, Manav, et autres
Publié: (2023)