2 citations · 2 across the 6 of their papers we have counts for
5 papers · 1 filter
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…
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…
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…
Massively Parallel Continuous Local Search for Hybrid SAT Solving on GPUs
Yunuo Cen, Zhiwei Zhang, Xuanyao Fong
Although state-of-the-art (SOTA) SAT solvers based on conflict-driven clause learning (CDCL) have achieved remarkable engineering success, their sequential nature limits the parall…
CITS: Coherent Ising Tree Search Algorithm Towards Solving Combinatorial Optimization Problems
Yunuo Cen, Debasis Das, Xuanyao Fong
Simulated annealing (SA) attracts more attention among classical heuristic algorithms because the solution of the combinatorial optimization problem can be naturally mapped to the…