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. In IEEE International Symposium on High-Performance Computer Architecture, HPCA 2023, Montreal, QC, Canada, February 25 - March 1, 2023. pages 731-744, IEEE, 2023. [doi]
@inproceedings{TanYPSLLY23,
title = {HyQSAT: A Hybrid Approach for 3-SAT Problems by Integrating Quantum Annealer with CDCL},
author = {Siwei Tan and Mingqian Yu and Andre Python and Yongheng Shang and Tingting Li and Liqiang Lu and Jianwei Yin},
year = {2023},
doi = {10.1109/HPCA56546.2023.10071022},
url = {https://doi.org/10.1109/HPCA56546.2023.10071022},
researchr = {https://researchr.org/publication/TanYPSLLY23},
cites = {0},
citedby = {0},
pages = {731-744},
booktitle = {IEEE International Symposium on High-Performance Computer Architecture, HPCA 2023, Montreal, QC, Canada, February 25 - March 1, 2023},
publisher = {IEEE},
isbn = {978-1-6654-7652-2},
}