Showing 2026Show all
2 papers · 1 filter
cs.AI2026
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…
cond-mat.dis-nn2026
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…