A CAT algorithm for the exhaustive generation of ice pilesPaolo Massazza and Roberto RadicioniRAIRO-Theor. Inf. Appl., 44 4 (2010) 525-543DOI: https://doi.org/10.1051/ita/2011004
