Efficient solving of the group technology problem