Reverse-search algorithm for vertex enumeration problems
