Login / Signup
Mingqian Yu
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Davis Putnam
Sat Problem
Boolean Satisfiability
Stochastic Local Search
Top Venues
HPCA
</>
Publications
</>
Siwei Tan
,
Mingqian Yu
,
Andre Python
,
Yongheng Shang
,
Tingting Li
,
Liqiang Lu
,
Jianwei Yin
HyQSAT: A Hybrid Approach for 3-SAT Problems by Integrating Quantum Annealer with CDCL.
HPCA
(2023)