37 citations · 41 across the 9 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.AI2023★ 2 cited
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…
cs.ET2023★ 2 cited
Energy-efficient superparamagnetic Ising machine and its application to traveling salesman problems
Jia Si, Shuhan Yang, Yunuo Cen +7
The growth of artificial intelligence and IoT has created a significant computational load for solving non-deterministic polynomial-time (NP)-hard problems, which are difficult to…