Performance Gains in Quantum SAT Solvers Using ESOP Encoding. - Majd Assaad; Abhoy Kole; Rolf Drechsler (CoRR, 2026)

Adaptive Clifford+T Decomposition of Large Toffoli Gates with One Clean Ancilla. - Abhoy Kole; Majd Assaad; Till Schnittka; Rolf Drechsler (CoRR, 2026)