Solving E-Squaro through SAT-Coding. - Éric Grégoire; Atef Hasni; Bertrand Mazure; Cédric Piette (ICTAI, 2013)