4 papers
Continuous Optimization for Satisfiability Modulo Theories on Linear Real Arithmetic
Yunuo Cen, Daniel Ebler, Xuanyao Fong
Efficient solutions for satisfiability modulo theories (SMT) are integral in industrial applications such as hardware verification and design automation. Existing approaches are pr…
Optimality and annealing path planning of dynamical analog solvers
Shu Zhou, K. Y. Michael Wong, Juntao Wang +3
Recently proposed analog solvers based on dynamical systems, such as Ising machines, are promising platforms for large-scale combinatorial optimization. Yet, given the heuristic na…
Phase analysis of Ising machines and their implications on optimization
Shu Zhou, K. Y. Michael Wong, Juntao Wang +3
Ising machines, which are dynamical systems designed to operate in a parallel and iterative manner, have emerged as a new paradigm for solving combinatorial optimization problems.…
Quantum Homogenization as a Quantum Steady State Protocol on NISQ Hardware
Alexander Yosifov, Aditya Iyer, Daniel Ebler +1
Quantum homogenization is a reservoir-based quantum state approximation protocol, which has been successfully implemented in state transformation on quantum hardware. In this work…