4 citations · 8 across the 8 of their papers we have counts for
Showing math.OCShow all
2 papers · 1 filter
math.OC2024
Efficient Digital Quadratic Unconstrained Binary Optimization Solvers for SAT Problems
Robert Simon Fong, Yanming Song, Alexander Yosifov
Boolean satisfiability (SAT) is a propositional logic problem of determining whether an assignment of variables satisfies a Boolean formula. Many combinatorial optimization problem…
math.OC2019★ 3 cited
A Framework for Population-Based Stochastic Optimization on Abstract Riemannian Manifolds
Robert Simon Fong, Peter Tino
We present Extended Riemannian Stochastic Derivative-Free Optimization (Extended RSDFO), a novel population-based stochastic optimization algorithm on Riemannian manifolds that add…