proposing new methods of reduction, transformation, and enumeration, this work