qSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking

@article{pub15851,
    author = {

Kole, Abhoy
 and 

Djeridane, Mohammed E.
 and 

Weingarten, Lennart
 and 

Datta, Kamalika
 and 

Drechsler, Rolf
},
    title = {qSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking},
    year = {2025},
    journal = {ACM Journal on Emerging Technologies in Computing Systems},
    publisher = {ACM}
}