Project
MDU-1
Word Equations with Constraints and String Solvers
Project Heads
Laura Ciobanu Radomirovic
Project Members
Sobhi Massalha
Project Duration
23.10.2025 – 30.09.2027
Located at
TU Berlin
Description
Deciding whether a group or monoid equation has solutions is a problem studied for decades in algebra and computer science. In this project we will study equations in free groups and monoids when additional constraints are imposed on the solutions, a question with both theoretical and practical implications.
External Website
Related Publications
Related Pictures