TY  - RPRT
TI  - qSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking
AU  - Abhoy Kole
AU  - Mohammed E. Djeridane
AU  - Lennart Weingarten
AU  - Kamalika Datta
AU  - Rolf Drechsler
PY  - 2024
DO  - 10.1145/3729229
UR  - https://arxiv.org/abs/2409.03917
ID  - 2409.03917
ER  -