5 papers
Mutation-Guided Differentiable Quadratic Combinatorial Optimization
Yongliang Sun, Ismail Alkhouri, Cheng-Han Huang +3
Recent studies suggest that gradient-based methods applied to relaxed box-constrained Quadratic Unconstrained Binary Optimization (QUBO) formulations can outperform classical heuri…
GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra
Curie Kim, Carsten Portner, Mingju Liu +6
Boolean satisfiability (SAT) problem, the first problem proven to be NP-complete, has become a fundamental challenge in computational complexity, with widespread applications in op…
A Scalable Lift-and-Project Differentiable Approach For the Maximum Cut Problem
Ismail Alkhouri, Mian Wu, Cunxi Yu +3
We propose a scalable framework for solving the Maximum Cut (MaxCut) problem in large graphs using projected gradient ascent on quadratic objectives. Our approach is differentiable…
On the Dataless Training of Neural Networks
Alvaro Velasquez, Susmit Jha, Ismail R. Alkhouri
This paper surveys studies on the use of neural networks for optimization in the training-data-free setting. Specifically, we examine the dataless application of neural network arc…
Differentiable Quadratic Optimization For The Maximum Independent Set Problem
Ismail Alkhouri, Cedric Le Denmat, Yingjie Li +4
Combinatorial Optimization (CO) addresses many important problems, including the challenging Maximum Independent Set (MIS) problem. Alongside exact and heuristic solvers, different…