New publication: Efficient equivalence checking of Clifford-U circuits with shared single-qubit unitaries

A new paper “Efficient equivalence checking of Clifford-U circuits with shared single-qubit unitaries” is now published here.