Make Puzzles Great Again. - Nicolás Aristizabal; Carlos Pinzón; Camilo Rueda; Frank Valencia (The Art of Modelling Computational Systems, 2019)