Solving equations on words through boolean satisfiability. - Michaël Larouche; Alexandre Blondin Massé; Sébastien Gaboury; Sylvain Hallé (SAC, 2013)

Solving Equations on Words with Morphisms and Antimorphisms. - Alexandre Blondin Massé; Sébastien Gaboury; Sylvain Hallé; Michaël Larouche (LATA, 2014)

Efficient Generation of Test Data with Extended Cardinality Constraints. - Michaël Larouche; Sylvain Hallé (QRS, 2019)