2 papers
quant-ph2026
Adaptive Clifford+T Decomposition of Large Toffoli Gates with One Clean Ancilla
Abhoy Kole, Majd Assaad, Till Schnittka +1
Multi-controlled Toffoli gates are fundamental building blocks in quantum computation, with applications in quantum arithmetic, simulation, and search algorithms. In fault-tolerant…
quant-ph2026
Performance Gains in Quantum SAT Solvers Using ESOP Encoding
Majd Assaad, Abhoy Kole, Rolf Drechsler
The Boolean Satisfiability (SAT) problem is a canonical NP-complete problem and a natural candidate for quantum acceleration via search-based algorithms. In Grover-based quantum SA…