ByNobleID
    Quadratic Word Equations with Length Constraints, Counter Systems, and\n Presburger Arithmetic with Divisibility | NobleID