HyQSAT: A Hybrid Approach for 3-SAT Problems by Integrating Quantum Annealer with CDCL.
Siwei TanMingqian YuAndre PythonYongheng ShangTingting LiLiqiang LuJianwei YinPublished in: HPCA (2023)
Keyphrases
- sat solvers
- sat problem
- clause learning
- sat solving
- orders of magnitude
- sat instances
- boolean satisfiability
- propositional satisfiability
- max sat
- search strategies
- search tree
- davis putnam
- search space
- constraint satisfaction
- sat encodings
- unit propagation
- stochastic local search
- boolean formula
- satisfiability problem
- constraint satisfaction problems
- answer sets
- phase transition
- np complete
- propositional formulas
- search algorithm
- information retrieval