Solving E-Squaro through SAT-Coding.

ric Grgoire, Atef Hasni, Bertrand Mazure, Cdric Piette

Browse the full ICTAI paper archive.