%0 Journal Article %A Massazza, Paolo %A Radicioni, Roberto %T A CAT algorithm for the exhaustive generation of ice piles %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 2010 %P 525-543 %V 44 %N 4 %I EDP-Sciences %U http://www.numdam.org/articles/10.1051/ita/2011004/ %R 10.1051/ita/2011004 %G en %F ITA_2010__44_4_525_0