Special Issue on Aut algorithms