Solving equations on words through boolean satisfiability.

Michal Larouche, Alexandre Blondin Mass, Sbastien Gaboury, Sylvain Hall

Browse the full SAC paper archive.