| Title: |
HyQSAT: A Hybrid Approach for 3-SAT Problems by Integrating Quantum Annealer with CDCL |
| Authors: |
Tan, Siwei; Yu, Mingqian; Python, Andre; Shang, Yongheng; Li, Tingting; Lu, Liqiang; Yin, Jianwei |
| Source: |
2023 IEEE International Symposium on High-Performance Computer Architecture (HPCA) High-Performance Computer Architecture (HPCA), 2023 IEEE International Symposium on. :731-744 Feb, 2023 |
| Relation: |
2023 IEEE International Symposium on High-Performance Computer Architecture (HPCA) |
| Database: |
IEEE Xplore Digital Library |