论文信息 - HyQSAT: A Hybrid Approach for 3-SAT Problems by Integrating Quantum Annealer with CDCL - 字舞流文

HyQSAT: A Hybrid Approach for 3-SAT Problems by Integrating Quantum Annealer with CDCL

Yongheng Shang | Jianwei Yin | Siwei Tan | Tingting Li | Mingqian Yu | Andre Python | Liqiang Lu