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