Quantum Circuit Simplification and Level Compaction
Transformation rules for designing CNOT-based quantum circuits