Enumeration algorithms