Satisfiability of Systems of Equations over Finite Monoids.

Cristopher Moore, Pascal Tesson, Denis Thrien

Browse the full MFCS paper archive.