Abstract: Quantum circuit synthesis is a key technique in quantum computing. Traditional methods often generate circuits with high cost, making it crucial to produce correct and low-cost circuits ...

Abstract: Boolean matching is an important problem in logic synthesis and verification. Despite being well-studied for conventional Boolean circuits, its treatment for reversible logic circuits ...