Treffer: HyQSAT: A Hybrid Approach for 3-SAT Problems by Integrating Quantum Annealer with CDCL
Title:
HyQSAT: A Hybrid Approach for 3-SAT Problems by Integrating Quantum Annealer with CDCL
Authors:
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