Lima, Raphael, Luis Antonio B. Kowada, and Fábio G. dos Santos. " Improving Qiskit strategies for circuit synthesis using the Reed-Muller spectrum." Anais do LII Seminário Integrado de Software e Hardware, Maceió/AL, 2025. SBC, 2025, pp.573-584.