A CAT algorithm for the exhaustive generation of ice piles Paolo Massazza and Roberto Radicioni RAIRO-Theor. Inf. Appl., 44 4 (2010) 525-543 Published online: 28 February 2011 DOI: 10.1051/ita/2011004