Similarity-Based Constraint Solving Modulo Commutativity: A Unified Framework. - Besik Dundua; Demetre Labadze; Tornike Tsereteli (FUZZ, 2025)