A CAT Algorithm for the Exhaustive Generation of Ice Piles