TY  - RPRT
TI  - Performance Gains in Quantum SAT Solvers Using ESOP Encoding
AU  - Majd Assaad
AU  - Abhoy Kole
AU  - Rolf Drechsler
PY  - 2026
UR  - https://arxiv.org/abs/2605.16202
ID  - 2605.16202
ER  -