APA (7th ed.) Citation

Kole, A., Djeridane, M. E., Weingarten, L., Datta, K., & Drechsler, R. (2024). qSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking.

Chicago Style (17th ed.) Citation

Kole, Abhoy, Mohammed E. Djeridane, Lennart Weingarten, Kamalika Datta, and Rolf Drechsler. QSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking. 2024.

MLA (9th ed.) Citation

Kole, Abhoy, et al. QSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking. 2024.