Showing cs.AIShow all
3 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…
cs.AI2026
FourierCSP: Differentiable Constraint Satisfaction Problem Solving by Walsh-Fourier Expansion
Yunuo Cen, Zixuan Wang, Jintao Zhang +2
The Constraint-satisfaction problem (CSP) is fundamental in mathematics, physics, and theoretical computer science. Continuous local search (CLS) solvers, as recent advancements, c…
cs.AI2024
Analysis of Higher-Order Ising Hamiltonians
Yunuo Cen, Zhiwei Zhang, Zixuan Wang +2
It is challenging to scale Ising machines for industrial-level problems due to algorithm or hardware limitations. Although higher-order Ising models provide a more compact encoding…