Performance Gains in Quantum SAT Solvers Using ESOP Encoding

@inproceedings{pub16065,
    author = {

Kole, Abhoy
 and 

Drechsler, Rolf
},
    title = {Performance Gains in Quantum SAT Solvers Using ESOP Encoding},
    booktitle = {Proceedings of the Workshop on Formal Methods in Quantum Computing (FMQC 2025). Workshop on Formal Methods in Quantum Computing (FMQC-2025), befindet sich CONFEST 2025, August 25-25, Aarhus, Denmark
},
    year = {2025}
}