Vitalsource Technologies, Inc. Reversible Logic Synthesis Methodologies With Application To Quantum Co