Controllability-Based Circuit Similarity Estimation. - Michal Zácek; Petr Fiser (DDECS, 2025)