HyQSAT: A Hybrid Approach for 3-SAT Problems by Integrating Quantum Annealer with CDCL. - Siwei Tan; Mingqian Yu; Andre Python; Yongheng Shang; Tingting Li 004; Liqiang Lu; Jianwei Yin (HPCA, 2023)