@misc{indiciaec42ebbb19360,
  title = {qSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking},
  author = {Abhoy Kole and Mohammed E. Djeridane and Lennart Weingarten and Kamalika Datta and Rolf Drechsler},
  year = {2024},
  doi = {10.1145/3729229},
  url = {https://arxiv.org/abs/2409.03917},
  note = {Source identifier: 2409.03917}
}