Cover Image

Efficient Digital Quadratic Unconstrained Binary Optimization Solvers for SAT Problems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Fong, Robert Simon, Song, Yanming, Yosifov, Alexander
Format:	Preprint
Published:	2024
Subjects:	Optimization and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Hybrid Quantum Branch-and-Bound Method for Quadratic Unconstrained Binary Optimization
by: Peng, Zedong, et al.
Published: (2025)

Five Starter Problems: Solving Quadratic Unconstrained Binary Optimization Models on Quantum Computers
by: Mazumder, Arul, et al.
Published: (2024)

Nonlinear Programming Solvers for Unconstrained and Constrained Optimization Problems: a Benchmark Analysis
by: Lavezzi, Giovanni, et al.
Published: (2022)

Local SGD for Near-Quadratic Problems: Improving Convergence under Unconstrained Noise Conditions
by: Sadchikov, Andrey, et al.
Published: (2024)

Quadratic versus Polynomial Unconstrained Binary Models for Quantum Optimization illustrated on Railway Timetabling
by: Grange, Camille, et al.
Published: (2024)

Annealed Mean Field Descent Is Highly Effective for Quadratic Unconstrained Binary Optimization
by: Kuroki, Kyo, et al.
Published: (2025)

QOCO: A Quadratic Objective Conic Optimizer with Custom Solver Generation
by: Chari, Govind M, et al.
Published: (2025)

RiNNAL+: a Riemannian ALM Solver for SDP-RLT Relaxations of Mixed-Binary Quadratic Programs
by: Hou, Di, et al.
Published: (2025)

Enhancing Quadratic Programming Solvers via Quadratic Nonconvex Reformulation
by: Lu, Cheng, et al.
Published: (2025)

An Efficient Solution Method for Solving Convex Separable Quadratic Optimization Problems
by: Li, Shaoze, et al.
Published: (2025)

Quadratic Unconstrained Binary Optimisation for Training and Regularisation of Binary Neural Networks
by: Villumsen, Jonas Christoffer, et al.
Published: (2026)

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization
by: Zhang, Zhiwei, et al.
Published: (2025)

Automatic Generation of Explicit Quadratic Programming Solvers
by: Schaller, Maximilian, et al.
Published: (2025)

Efficient Gradient-Enhanced Bayesian Optimizer with Comparisons to Conjugate-Gradient and Quasi-Newton Optimizers for Unconstrained Local Optimization
by: Marchildon, André L., et al.
Published: (2025)

Full Convergence of Regularized Methods for Unconstrained Optimization
by: Cristofari, Andrea
Published: (2025)

LCQPow -- A Solver for Linear Complementarity Quadratic Programs
by: Hall, Jonas, et al.
Published: (2022)

A High-Performant Multi-Parametric Quadratic Programming Solver
by: Arnström, Daniel, et al.
Published: (2024)

Nonlinear Splitting for Gradient-Based Unconstrained and Adjoint Optimization
by: Tran, Brian K., et al.
Published: (2025)

Optimization Models for the Quadratic Traveling Salesperson Problem
by: Chen, Yuxiao, et al.
Published: (2024)

Polyhedral Analysis of Quadratic Optimization Problems with Stieltjes Matrices and Indicators
by: Liu, Peijing, et al.
Published: (2024)

Parallel KKT Solver in PIQP for Multistage Optimization
by: Song, Fenglong, et al.
Published: (2025)

Sequential Quadratic Optimization for Solving Expectation Equality Constrained Stochastic Optimization Problems
by: Shen, Haoming, et al.
Published: (2025)

Efficient Primal Heuristics for Mixed Binary Quadratic Programs Using Suboptimal Rounding Guidance
by: Huang, Weimin, et al.
Published: (2025)

A Vectorized Positive Semidefinite Penalty Method for Unconstrained Binary Quadratic Programming
by: Huo, Xinyue, et al.
Published: (2024)

Solving Convex Smooth Function Constrained Optimization Is Almost As Easy As Unconstrained Optimization
by: Zhang, Zhe, et al.
Published: (2022)

Unconstrained Robust Online Convex Optimization
by: Zhang, Jiujia, et al.
Published: (2025)

Accelerated Proximal Dogleg Majorization for Sparse Regularized Quadratic Optimization Problem
by: Zhao, Feifei, et al.
Published: (2025)

OFF (Proximal) Newton-type Methods with Inexact Derivatives for Unconstrained Optimization
by: Zhu, Hong
Published: (2025)

Policy Optimization in the Linear Quadratic Gaussian Problem: A Frequency Domain Perspective
by: Li, Haoran, et al.
Published: (2025)

Differentiation Through Black-Box Quadratic Programming Solvers
by: Magoon, Connor W., et al.
Published: (2024)

An Unconstrained Optimization Approach to Moment Fitting with Phase Type Distributions
by: Sherzer, Eliran, et al.
Published: (2025)

A Class of Multi-Objective Control Problems for Quasi-linear Parabolic Equations
by: Dong, Yanming, et al.
Published: (2024)

Towards Efficient Constraint Handling in Neural Solvers for Routing Problems
by: Bi, Jieyi, et al.
Published: (2026)

Instance Space Analysis for the Quadratic Assignment Problem
by: Christiansen, Jeffrey, et al.
Published: (2025)

Exploiting Multistage Optimization Structure in Proximal Solvers
by: Schwan, Roland, et al.
Published: (2025)

Exactness Conditions for Semidefinite Relaxations of the Quadratic Assignment Problem
by: Chen, Junyu, et al.
Published: (2024)

Exact Quadratic Penalty Function for Symplectic Eigenvalue Problem
by: Wang, Jiaqi, et al.
Published: (2026)

Solving Linear-Quadratic Stochastic Control Problems with Signatures
by: Aqsha, Alif, et al.
Published: (2026)

A Trust Region Method with Regularized Barzilai-Borwein Step-Size for Large-Scale Unconstrained Optimization
by: Xu, Xin, et al.
Published: (2024)

Distributed Least-Squares Optimization Solvers with Differential Privacy
by: Liu, Weijia, et al.
Published: (2024)