Efficient implementations of enumeration algorithms