New Research Paper Accepted for Publication

A research paper written by CS undergrad student Michaël Larouche, along with LIF professors Alexandre Blondin Massé, Sébastien Gaboury and Sylvain Hallé has recently been accepted for publication. The paper, entitled Solving Equations on Words through Boolean Satisfiability, will be presented at the 28th Symposium On Applied Computing in Coimbra, Portugal, next March, and appear in a volume of proceedings published by the Association for Computing Machinery (ACM).