Text this: Efficient Algorithms for Optimal 4-Bit Reversible Logic System Synthesis